← The Index

Topic

Formal methods

A guide to the best B2B podcast coverage of Formal methods - the shows and 3 episodes that go deepest, ranked by substance, not downloads.

Best shows on Formal methods

Best episodes on Formal methods

  1. Formal methods with Hillel Wayne

    The Pragmatic Engineer · 2026-07-29

    95 / 100

    …In today's episode we'll get to the does it make sense to use formal methods to verify AI written code?…

  2. Can We Trust AI-Written Code? Why Executable Specs Are the Future of Software ft. Gabriela Moreira

    Colors of Web3 & Entrepreneurship · 2026-04-26

    69 / 100

    …And then over my university history, I fall in love also with formal methods.…

  3. 99% Correct Is Still Failure: The Last Mile for Mission-Critical AI

    Talking AI · 2026-06-09

    62 / 100

    …And we use this thing called formal methods, which is another word for math.…