News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.