The Changelog: Software Development, Open Source cover image

Werner Vogels predicts the future (Interview)

The Changelog: Software Development, Open Source

00:00

Automatic reasoning and formal methods

Werner highlights automatic reasoning, verification tools, and spec-driven IDEs like Cairo to increase system correctness.

Play episode from 42:10
Transcript

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