Will the future of code be formal or informal?
summary
Human attention becomes the bottleneck so agents run faster than humans can review code, prompting a hybrid: keep code but attach small structured natural-language contracts next to files. Dust prototypes cut contracts that agents read and emit; a verifier runs across 10 days of PRs, finding 509 violations and 221 auto- or human-resolved, with violation rate trending down. Contracts include labels like owner and notify and enforce rules such as workspace isolation, letting agents audit diffs and humans quickly review meaningful intent.
AI-written summary · about
chapters (6)
- 0:00Human intention bottleneck
- 3:36Formal systems limits
- 11:35Code remains essential
- 15:49Verification vs informal
- 17:16Cut contracts for collaboration
- 21:10Closing call to action
related talks
51mFuture of Software Development
16mBeyond the IDE: The Future of Developing Software With Agents
25mBeyond the IDE: Toward Multi-Agent Orchestration
18mCoding Reinvented: How AI Agents Are Shaping the Future of Software Development
50mPanel: Beyond The Vibe: Code Quality First
01mAI Agents are the Future of Coding?
47mCode Is Cheap. Software Isn’t.
30mBuilding Tools with Tools: Modern AI-Driven Development