Episode Details

Please support this podcast by checking out our sponsors:
- Discover the Future of AI Audio with ElevenLabs - https://try.elevenlabs.io/tad
- KrispCall: Agentic Cloud Telephony - https://try.krispcall.com/tad
- Effortless AI design for presentations, websites, and more with Gamma - https://try.gamma.app/tad


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

Today's topics:

AI cracks an Erdős conjecture - OpenAI says a reasoning model generated a verifiable proof overturning Erdős’s planar unit distance conjecture, with mathematicians publishing checks and context. Keywords: AI reasoning, discrete geometry, unit distance, proof verification, algebraic number theory.

GitHub breach via VS Code - GitHub reports an attacker accessed about 3,800 internal repositories after a trojanized Visual Studio Code extension was installed, highlighting IDE extension supply-chain risk. Keywords: GitHub incident, VS Code extension, supply chain, repository exfiltration, malware.

Python 3.15 quality-of-life upgrades - Python 3.15 hits beta feature freeze with practical fixes like cleaner asyncio cancellation, safer context-decorator behavior for async code, and new thread-safe iterator tools. Keywords: Python 3.15, asyncio, TaskGroup.cancel, thread safety, JSON hooks.

Flipper One open Linux cyberdeck - Flipper Devices unveiled Flipper One, a Linux-based, community-built cyberdeck effort aiming for upstream-first ARM support and fewer blobs, with Collabora helping upstream Rockchip work. Keywords: Flipper One, mainline Linux, RK3576, upstream drivers, open hardware.

Programmable tmux-style terminal sessions - RMUX is a Rust terminal multiplexer aiming for tmux compatibility plus a typed SDK so tools and agents can manage persistent sessions programmatically across Linux, macOS, and Windows. Keywords: rmux, tmux, Rust, terminal automation, persistent sessions.

macOS video wallpapers via private APIs - Phosphene is an open-source macOS Tahoe video wallpaper engine that integrates with Apple’s wallpaper picker by leaning on a private framework—powerful, but potentially brittle after OS updates. Keywords: macOS Tahoe, video wallpaper, private API, WallpaperExtensionKit, open source.

Fender targets Strat-style builders - Fender sent a cease-and-desist to boutique builder LsL over Stratocaster-style bodies, citing a German ruling and raising stakes for compatible-design guitar makers. Keywords: Fender, Stratocaster shape, cease and desist, copyright, boutique builders.

Haskell Foundation governance reshuffle - The Haskell Foundation is restructuring after its executive director steps down, aiming to shift resources toward visible technical work and strengthen member-driven governance. Keywords: Haskell Foundation, governance, technical vision, membership, ecosystem funding.

Google tests AI-driven Search ads - Google is piloting Gemini-powered conversational ad formats in Search, pushing ads toward interactive recommendations and reshaping how purchase intent may be captured. Keywords: Google Search, Gemini, AI ads, conversational discovery, sponsored results.

-Flipper Devices Opens Development of Flipper One, an Upstream