Hacker News
- Formal Verification Creates Hacker-Proof Code (2016) https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/ 109 comments
- Hacker Proof Code Confirmed https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/ 4 comments
Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
Related searches:
Search whole site: site:www.quantamagazine.org
Search title: Quanta Magazine
See how to search.