Back to feedThe Pragmatic EngineerTechnologypodcastFormal methods with Hillel WayneWednesday, July 29, 2026Gergely OroszView original–––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.
