HN
New
Show
Ask
Jobs
Built with Astro + Solid
Formal Verification Is Not Verifiable: Bouba and Kiki Software
(alperenkeles.com)
2 points | by
matt_d
10 hours ago ago
2 comments
$hongyong
5 hours ago
[flagged]
$classified
10 hours ago
Yep, that title should be Gödel 101.
[flagged]
Yep, that title should be Gödel 101.