Hear This Idea cover image

#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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app