Actually, my personal belief is that people, humans like you and I, are all awful at writing software. We're even worse at enumerating and writing tests. Miser

Actually, my personal belief is that people, humans like you and I, are all awful at writing software. We're even worse at enumerating and writing tests. Miserably bad. Unforgivably bad. Slowly refining and testing systematizations of correct software building processes is perhaps the most important thing we can do in the first 2 centuries of "software" as a thing. Because otherwise, all we'll do is continue to wallow in pride and failure, claiming it can't be helped. All the while using language like "case by case," that I have taken to mean: "I will never do that unless you force me to." Fortunately, I think the scope of failure and fraud in the software industry has grown so late that folks are starting to take correctness as a requirement and not a nice to have. Another Equifax or two and maybe a nice DAO hack or something and folks are going to start saying, "Maybe it's just too bad we all learn to make bad software," turning to new techniques and practices. Far-fetched? Maybe. But it is happening with AI...