Hacker News
- Formal Verification Creates Hacker-Proof Code https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ 96 comments
- Hacker-Proof Code Confirmed https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ 97 comments
- DARPA found a way to make provable Hacker-Proof Code. It would be nice for smart contracts. https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ 6 comments ethereum
- Hacker Proof Code confirmed https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ 18 comments programming
Linking pages
- Computer Scientists Close In on Perfect, Hack-Proof Code | WIRED https://www.wired.com/2016/09/computer-scientists-close-perfect-hack-proof-code 39 comments
- Learned helplessness and the languages of DAO | TechCrunch https://techcrunch.com/2016/10/01/learned-helplessness-and-the-languages-of-dao/?ncid=rss 20 comments
Related searches:
Search whole site: site:quantamagazine.org
Search title: Quanta Magazine
See how to search.