“Programs and proofs are both subject to bugs, but they’re not likely to have the same bugs. And because programs made details explicit by necessity, a program might fill in gaps that aren’t sufficiently spelled out in a proof.” –@JohnDCook https://t.co/5nCpuTPk0p

“Programs and proofs are both subject to bugs, but they’re not likely to have the same bugs. And because programs made details explicit by necessity, a program might fill in gaps that aren’t sufficiently spelled out in a proof.” –@JohnDCook

https://t.co/5nCpuTPk0p

— Mɐɹɹǝu Wʎǝɹs (@warrenmyers)
Nov 19, 2025

from Twitter https://twitter.com/warrenmyers

November 19, 2025 at 03:25PM
via IFTTT