Super HN
New
Show
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
(lesswrong.com)
4 points by OgsyedIE 2 hours ago