Formal methods with Hillel Wayne
29 Jul 2026
"Formal verification methods, like TLA+ in AWS's DynamoDB, ensure AI-generated code correctness, with property-based testing offering a practical middle ground; the discussion affirms software engineering as a legitimate discipline, balancing traditional principles with rapid iteration and open-source culture, while exploring AI's future impact on development and job markets."
Open episode








