Home
FAQs
Pricing
Blog

Home
FAQs
Pricing
Blog

‌

‌

‌

Episode description

‌

Metacast: podcast app with transcripts

© 2025 Metacast Inc

PRODUCT

Metacast Premium FAQs Support Change Log Podcast Directory Terms of Service Privacy Policy

COMPANY

About us Blog Our podcasts Newsletter Join subreddit

PODCASTERS

Hacker-Proof Code Confirmed - podcast episode cover

Hacker-Proof Code Confirmed

Quanta Science Podcast

Oct 20, 2016•16 min•Transcript available on Metacast

--:--

--:--

Listen in podcast apps:

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

Hacker-Proof Code Confirmed | Quanta Science Podcast - Listen or read transcript on Metacast