1007 | Open Weights, Open Questions: A Week of AI, Math, and Machines

From AI-discovered math proofs and open hardware to geothermal power, streaming megamergers, and niche personal software, this episode tours the week's biggest stories in tech, science, and the systems that shape them. Timeline 00:00:04 Opening 00:00:25 AI pushes into mathematics and decisions 00:07:06 Open and efficient AI infrastructure 00:12:26 Security in the AI era 00:18:09 Open-source engineering wins 00:27:00 Vibe-coded personal software and how coding feels 00:34:51 Corporate power, law, and the state 00:40:40 Health, energy, and the physical world 00:47:45 Closing Related links Subquadratic 3SUM and Subcubic APSP Sharing AI progress in mathematics OpenTPU – An open-source AI accelerator, developed by AI EmbeddingGemma 2: An open, lightweight multimodal embedding model Mistral Large 4: "Le Chonk" Mistral Large 4 OpenSSH 10.6 Claude Code’s suggested message feature: I think the real customer is the model Meta's Muse Is an Adorable Privacy and Security Dumpster Fire AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped) Penguin Mail – open-source Rust email client for Linux with AI Gleam doesn't compile to Erlang source anymore Tapo (Rust/Python library) now speaks TP-Link's TPAP protocol The Early History of Smalltalk (1993) Berthd Show HN: I turned my iPhone and a $20 smart plug into an f-stop timer Vibecoding isn't as fun as writing code by hand Vibecoding Photoshop: Time and pressure Paramount Skydance has completed its $111B merger with Warner Bros. Discovery Toronto-Based VPN Provider Plans to Quit Canada over Lawful-Access Bill California closed the Montana license plate loophole Utah to let AI examine patients and prescribe medication without human oversight World's First enhanced geothermal power plant completed in just 23 months Nobel Prize in Physics 2026: Francis Halzen View episode details → This episode is produced by Bri. Bri uses advanced AI technology to turn the feeds you care about into podcasts made for listening. Contact us at [email protected].