[ChrisLomont]

>You’re castigating the whole practice of code review, computer-aided proofs, automated theorem proving, etc.

No I'm not. Those are but one avenue of reducing the probability of error during computation. All of those only ensure that the code part is solid - there is an entire other world on the physical part that needs incredible engineering, noise reduction, error correction, defect mitigation, thermal issues, quantum issues, physical data decay, memory leakage, and so on.

I think by focusing only on aspects for code, you miss a large part of ensuring modern computing is accurate.