Hillel Wayne explains why formal methods like TLA+ matter, how they help build reliable software, and whether AI will finally bring formal verification into the mainstream.

I enjoyed listening to this, I am planning to watch the video since Hillel Wayne shows some tool demos. I have not used formal methods in my career, but I did investigate them, and did play with TLA+.

Regular podcast and transcript/summary also available at The Pragmatic Engineer.