#67 – Guive Assadi on Whether Humanity Will Choose Its Future
Hear This Idea
00:00
The Evolution of C Programming Languages
In a 2015 contest, the task was to take sort of data reflecting an object being dismantled and say, is this or is it not a nuclear weapon? And people found various ways of writing code that looked legit, but had this property. This allows them to keep a larger stockpile of nuclear weapons than they've said they will. It's true there has been a gradual trend in the direction of doing more things in a firmly verifiable way.
Transcript
Play full episode
