The Case Against Formal Verification, 50 Years Later

ghuntley·Hacker News·Community·

Writings on software correctness, AI, formal verification, and other technical topics.

Read full article →

Related Articles

Private German rocket makes history, reaches orbit from European soil
bookmtn · Hacker News · 21h ago
Asahi Linux Now Officially Supports Apple M3 Macs – With Caveats
mdp2021 · Hacker News · 3h ago
LLMs as a Cognitive Virus
canjobear · Hacker News · 21h ago
Actively exploited sandbox RCE in all Chromium versions
negura · Hacker News · 1d ago
Formalizing Fermat's Last Theorem
jlebar · Hacker News · 1d ago