0911 | Proofs, Shards, and a Box of Cables

This episode tours the week in tech: OpenAI's new Agents API and its disputed math-proof claims, a wave of change in how software gets built and shipped, Postgres at planetary scale, and the human side of the craft. Then a look at streaming prices, ownership fine print, always-listening devices, and small delights from rock art to Windows XP trivia. Timeline: 00:00:04 Opening 00:00:30 OpenAI's big week: Agents API and a fast formal proof 00:03:12 The proof controversy: training on private chats? 00:05:19 Models and agents reshape how software is built 00:07:58 Rust goes tier-1 at Microsoft; a Forgejo hole gets patched 00:10:11 PlanetScale's Neki: sharded real Postgres 00:11:26 The maddening craft of software — and keeping your cables 00:13:42 You don't own what you buy: streaming prices and Sony's 'Buy Now' 00:15:38 Always listening: Siri Recaps 00:16:22 Delights and trivia to close 00:17:38 Closing View episode details → https://bri.so/show/episode/01a08e9f-9049-71c3-91a0-06739cabed3f This episode is produced by Bri. Bri uses advanced AI technology to turn the feeds you care about into podcasts made for listening. https://bri.so Contact us at [email protected].