Formal methods with Hillel Wayne
Summary
The Pragmatic Engineer podcast episode with Hillel Wayne explores formal methods like TLA+ and their value for building reliable software, including how AI could influence verification. It covers practical examples such as AWS using formal methods to uncover a complex bug and discusses when formal verification is practical versus niche.