Vision: Zero Bugs — Johann Schleier-Smith, Temporal
This talk explores the history of high-assurance software, from the near-perfect code of the NASA Space Shuttle to the Airbus A320. It argues that while these rigorous engineering and formal verification practices were once too expensive for mainstream use, the economic shift brought by AI and agentic coding can make aerospace-level reliability a practical reality for a wide range of applications, solving the key quality limitations of current AI-generated code.
