[BlackFly]

I too, don't understand why people think anyone could be a programmer if it wasn't for the existing programmers. What is considered a good grade in school? I think most parents would be happy with their children coming home with 90% grades. That's 1 error in 10 attempts. That is a pretty abysmal fault rate in an actual computer program. Even most experienced programmers fail to consider everything that can go wrong with a system, but that is what is required to make fault tolerant systems. There is no silver bullet[1], and I wish people that wrote articles like this would go out and read that essay and actually attempt to tackle the thesis of that essay instead of just asserting the opposite.

[1] https://en.wikipedia.org/wiki/No_Silver_Bullet

[AstralStorm]

You do this by involving mathematical proofs at every stage. That is expensive, but sometimes done.

Strict functional languages are a step in the right direction. As are verifiers as done in Rust.

[BlackFly]

Some use cases and bugs are not amenable to proof. For example, how do you mathematically prove that your rendering engine is cutting off the bottom of the g of your new font?

Not all requirements of a system can be expressed a priori. I think proofs will never be enough to make a bug free system. Working as intended is a very frustrating response to a perceived bug for a user.