I've never seen an IDE "mandated", I've seen officially supported development setups where you're on your own if you do anything different. Is that not the standard?
> #2 Software projects that somehow are 100% human developed will not be competitive with AI assisted or written projects. The only room for debate on that is an apocalypse level scenario where humans fail to continue producing semiconductors or electricity.
??
"AI" code generators are still mostly overhyped nonsense that generate incorrect code all the time.
> If one just chooses a reasonable documentclass and if need be a few packages suited to the requirements of one's document, then it all "just works" with (mostly) sensible defaults and minimal configuration.
Ironically, very similar to the story with modern C++. If you use a limited subset it can "just work" but only if you are disciplined and don't have to mix in legacy code that's pre-C++11.
> Does an intern cost $20/month? Because that’s what Cursor.ai costs.
This stuck out to me. How long will it continue to be so cheap? I would assume some of the low cost is subsidized by VC money which will dry up eventually. Am I wrong here?
Assuming you're not being facetious, one of the best parts about PBT is it gets you a good percent of the value of formal proof with a lot less work. PBT at least lets you demonstrate that property is ~probably~ true, whereas traditional unit testing doesn't usually explicitly state properties.
On the flip side, when you have a manager who's genuinely on your side and wants to help you produce value (seems rare, I've been lucky enough to land one or two), "pleasing your manager" can accelerate career advancement and actually delivering working software you're proud of.
That's my experience with PMs (of all flavors of P; Product, Project, Program). A good one is invaluable and can really accelerate and unblock a project, especially one with a broad scope and many teams that depend on each other. A bad one is an active impediment and prevents actual work from getting done. I'd rather have no PM than a bad one, but a good PM is worth their weight in gold.