Vision: Zero Bugs — Johann Schleier-Smith, Temporal
Nov 24, 2025 · 36:03
Johann Schleier-Smith, Technical Lead for AI at Temporal, argues that zero-bug software is achievable by applying aerospace-grade techniques like rigorous specification, modular design, and formal verification, now made practical by AI. He cites the Airbus A320's control software (no incidents from software in decades) and the Space Shuttle (1 error per 420,000 lines) as proof. Schleier-Smith demonstrates Dafne, a language that embeds proofs inline with code for automated verification, and shows how agentic coding can reduce high-assurance code costs by ~100× compared to traditional development. He concludes that agents generating verified code will overcome current quality limitations and trigger widespread adoption.
