AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
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.