Start / The Quanta Podcast / Hacker proof code confirmed

The Quanta Podcast

Hacker-Proof Code Confirmed

16 min • 20 oktober 2016
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

Senaste avsnitt

Audio Edition: After 20 Years, Math Couple Solves Major Group Theory Problem

17 juli | 17 min

When Did Nature Burst Into Vivid Color?

15 juli | 21 min

Is Gravity Just Rising Entropy?

8 juli | 29 min

Audio Edition: How Noether’s Theorem Revolutionized Physics

3 juli | 8 min

How Amateurs Solved a Major Computer Science Puzzle

1 juli | 25 min
Vad är en podd?

En liten tjänst av I'm With Friends. Finns även på engelska.

Podcastbild

00:00 -00:00
00:00 -00:00