Hacker-Proof Code Confirmed
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
October 20, 201615m 50s
Audio is streamed directly from the publisher (tracking.swap.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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