Sign inOpen the app
The Quanta Podcast

Hacker-Proof Code Confirmed

Oct 20, 2016 · 15 min · 19.0 MB
0:00-15:50

Streams straight from the publisher. podnod never proxies or re-hosts episode audio.

Open in podnod
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