Microsoft breaks free from OpenAI, using your harness to add drag instead of velocity, and the Linux built-ins you're sleeping on

About this episode

Ben and Andrew discuss the implications of Microsoft's new independent foundation models and the challenges posed by AI in development.

This week on the Friday Deploy, Ben and Andrew unpack the AI build-versus-buy debate, Microsoft's new independent foundation models, and the growing revolt of mathematicians against unsubstantiated AI-generated proofs. The hosts also explore Stanford’s Socratic rulebook for AI coding assistants and discuss Kent Beck's warning that engineering teams need to build "trust factories" to counter the rapid chaos of AI-assisted development. Finally, they close with a defense of Linux primitives and ...

People in this episode

Hosts: Ben, Andrew

Topics covered

• AI build-versus-buy debate
• Microsoft foundation models
• AI-generated proofs
• AI coding assistants
• trust factories
• Linux primitives

Keywords

• Microsoft
• OpenAI
• AI
• Linux
• trust factories
• Kent Beck
• AI coding assistants
• mathematicians
• proofs

Mentioned in this episode

Organizations: Microsoft, OpenAI, Stanford, Linux

More episodes of Dev Interrupted

• How to turn your 1000x engineer into a 10x everyone | LinkedIn’s Karthik Ramgopal · June 2, 2026 · 53 min
• The cost of intelligence will never be this cheap again, the failure of intensive specs, and how bots disguise inefficient workflows · May 29, 2026 · 39 min
• Observability is your profit center now | Honeycomb’s Christine Yen · May 26, 2026 · 48 min
• What Google didn’t announce at I/O, defining “dark flow” and ignoring your first brain to build your second one · May 22, 2026 · 30 min
• Android is the frontier for agents and other lessons from Google I/O | Matthew McCullough · May 19, 2026 · 27 min
• Agents get their own AOL, Andrew gets published, and vibe coding is actually good? · May 15, 2026 · 41 min