Get the latest tech news
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
We appreciate comments from Christopher Henson, Zeke Medley, Ankit Kumar, and Pete Manolios. This post was initialized by Max’s twitter thread.
None
Or read this on Hacker News
