Episode Details

Please support this podcast by checking out our sponsors:
- KrispCall: Agentic Cloud Telephony - https://try.krispcall.com/tad
- Lindy is your ultimate AI assistant that proactively manages your inbox - https://try.lindy.ai/tad
- Discover the Future of AI Audio with ElevenLabs - https://try.elevenlabs.io/tad


Support The Automated Daily directly:
Buy me a coffee: https://buymeacoffee.com/theautomateddaily

Today's topics:

AI nudges a math breakthrough - A 23-year-old used GPT-5.4 Pro to spark a novel approach to a classic Erdős conjecture on primitive sets, with experts verifying and rewriting the messy AI proof. Keywords: Erdős conjecture, primitive sets, GPT, proof verification, Terence Tao.

Statecharts tame complex software behavior - Statecharts.dev argues statecharts extend finite state machines to avoid state explosion, improve testability, and model exceptions more clearly, while noting adoption hurdles and the role of SCXML semantics. Keywords: statecharts, finite state machine, SCXML, executable diagrams, software modeling.

AI efficiency vs engineering know-how - A defense-manufacturing analogy warns that heavy AI reliance and reduced junior hiring could erode tacit software expertise, creating a future “Fogbank for code” where critical debugging skill disappears. Keywords: tacit knowledge, junior hiring, AI coding tools, resilience, skills pipeline.

Scan-to-playable browser FPS pipeline - PlayCanvas shows how Gaussian Splat scans can become a playable web FPS by generating collision, streaming-friendly assets, lighting coherence, navmesh pathing, and lightweight NPC AI—making scan-to-game more practical. Keywords: Gaussian splats, PlayCanvas, browser FPS, collision mesh, navmesh.

iOS apps reappearing after deletion - Hacker News users report the Headspace app reappearing on iPhones after deletion, raising questions about iOS restore/offload behavior, App Store logic, and transparency around installs. Keywords: iOS bug, unwanted reinstall, App Store, privacy, diagnostics.

USB naming chaos finally clarified - Fabien Sanglard’s USB cheat sheet cuts through confusing branding by mapping what cable/port labels typically mean in practice, helping developers avoid time-wasting configuration mistakes. Keywords: USB-C, cable compatibility, bandwidth reality, naming confusion, troubleshooting.

GnuPG update and 2.4 EOL - GnuPG 2.5.19 ships with fixes and small features, highlights post-quantum work in the 2.5 line, and warns that GnuPG 2.4 is nearing end-of-life—prompting upgrades. Keywords: GnuPG 2.5.19, security, OpenPGP, post-quantum, end-of-life.

Floating-point explained without myths - Bartosz Ciechanowski explains IEEE 754 floating-point as constrained base-2 scientific notation, showing why decimals like 0.2 don’t round-trip cleanly and why output formats matter for correctness. Keywords: IEEE 754, rounding, NaN, subnormal, numeric bugs.

-Statecharts.dev Introduces Statecharts and Their Case for Modeling Complex Software
-Amateur’s ChatGPT Prompt Leads to New Proof of 60-Year-Old Erdős Conjecture
-Defense Production Fa