The Case Against Formal Verification, 50 Years Later
By ghuntley · 2026-08-16 · 37 points · 22 comments
https://ivan-gavran.github.io/0-social-processes-paper
By ghuntley · 37 points · 22 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews