The BugBash Podcast cover image

From Scale to Rigor: An Engineering Journey at Meta and Oxide

The BugBash Podcast

00:00

Where Formal Methods Fit and Struggle

Rain discusses TLA+, model checking successes, and limits when applied to complex update systems.

Play episode from 32:53
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