News for hackers. Stuff that matters.

A comment on The Case Against Formal Verification, 50 Years Later. Parent comment

Re:The Case Against Formal Verification, 50 Years Later by jm4rc05 on Sunday August 16, 2026 @05:52PM (#49324077)
I’ll add that all the glorious specs we wrote last week is can and will be useless tomorrow. No spec survive real life vanity
[ Parent | on HN ]

There are no comments on this comment yet.