Formal methods with Hillel Wayne

T2Covered by 1 source · first reported by The Pragmatic Engineer / ByteByteGo / Architecture Weekly at 29 Jul, 16:22 UTC

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.

Sources

• T2Formal methods with Hillel WayneThe Pragmatic Engineer / ByteByteGo / Architecture Weekly29 Jul, 16:22