Will the future of code be formal or informal? - Stanislas Polu - Dust - dotAI 2026

Why watch

Stanislas Polu explores the future of software development, examining whether code will become more formal (with formal methods and verification) or remain informal (natural language, prose). He argues that neither extreme is desirable, proposing instead a middle ground where code is augmented with local, structured natural-language contracts that humans can review and AI agents can audit. This talk is for software engineers, technical leads, and anyone interested in the evolving relationship between human developers and AI code generation.