Hacker-Proof Code Confirmed
Oct 20, 2016•16 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
The post Hacker-Proof Code Confirmed first appeared on Quanta Magazine
For the best experience, listen in Metacast app for iOS or Android