Re:AlphaProof Code
by win311fwg on Tuesday November 10, 2026 @01:36PM
(#50444307)
I don't remember a time when it wasn't considered mad to produce software that wasn't verified. Probably when programs were inputted using mechanical switches, but not since we moved to code on screen.
Verification isn't a panacea though. The hard lesson everyone learns when they first start taking an interest in verification is that perfect verification is fundamentally impossible.
Verification isn't a panacea though. The hard lesson everyone learns when they first start taking an interest in verification is that perfect verification is fundamentally impossible.