Fallthrough cover image

Artisanal Software Engineering

Fallthrough

00:00

Software Blueprints, Simulation, and TLA+

Kris asks why we lack CAD-like tools for software, advocating for design verification tools like TLA+ to validate system designs before implementation.

Play episode from 52:02
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