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 lysace on Sunday August 16, 2026 @05:20PM (#49323794)
Yes. No Silver Bullet (1986) said that 40 years ago.
[ Parent | on HN ]
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 ]