
#67 – Guive Assadi on Whether Humanity Will Choose Its Future
Hear This Idea
00:00
AI and the Future of Engineering
There was a time before there were any formally verifiable languages. And now there's a time when they're used for some purposes. How is that an argument that we're trending towards more formally verifiable software? I might have suspected the opposite actually. There's just this increasingly complicated hierarchy of like higher level languages becomes increasingly inscrutable.
Transcript
Play full episode