Episode Details

Please support this podcast by checking out our sponsors:
- Discover the Future of AI Audio with ElevenLabs - https://try.elevenlabs.io/tad
- Build Any Form, Without Code with Fillout. 50% extra signup credits - https://try.fillout.com/the_automated_daily
- Consensus: AI for Research. Get a free month - https://get.consensus.app/automated_daily


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

Today's topics:

Meta and age verification lobbying - A researcher alleges over $2B in Meta-linked funding flowed through nonprofits to push state age-verification bills, raising concerns about influence, transparency, and competition.

OS-level identity APIs and privacy - Proposed laws would pressure Apple and Google to add OS-level age or age-category APIs, potentially normalizing device-wide verification, tracking surfaces, and new compliance burdens.

Reverse-engineering an AI coworker - A security-minded teardown of Zeta Labs’ Viktor found workspace backups exposed prompts, logs, and schemas—enough to recreate architecture docs fast and build a compatible open-source clone.

AI meets formal verification in Lean - Mistral released Leanstral for Lean 4, highlighting a future where AI-generated code is paired with formal proofs to reduce human review overhead in high-stakes software.

Scaling CI when tests get flaky - At very large monorepo scale, flaky tests become ‘physics’; teams are turning to automation and AI-style log triage to stop CI from becoming the delivery bottleneck.

Copy-paste loophole for corporate fonts - Font Smuggler demonstrates a Google Workspace copy-paste loophole that preserves locked brand fonts, spotlighting how fragile digital licensing controls can be in everyday editors.

Portable sparse HPC with MLIR - Sandia-led LAPIS uses MLIR to optimize sparse linear algebra across diverse hardware, aiming for portable performance in HPC, scientific ML, and graph workloads.

How Teardown finally shipped multiplayer - Teardown’s developers explain a pragmatic ‘semi-deterministic’ networking approach that made multiplayer workable in a destructible physics-heavy voxel world—without perfect determinism.

Building a toy Unix shell in C - A hands-on tutorial builds a small Unix-like shell in C, showing how processes, builtins, pipes, and interactive input fit together—useful context for systems programming.

-Investigation Alleges Meta Bankrolled Nonprofits to Push OS-Level Age Verification Laws
-Andrew Healey Builds a Minimal C Shell with Builtins, Pipes, and Tab Completion
-‘Font Smuggler’ Exploits Copy-Paste Loophole for Locked Google Workspace Fonts
-Sandia Report Introduces LAPIS MLIR Compiler for Portable Sparse and Distributed Linear Algebra
-Mistral Open-Sources Leanstral, a Lean 4 Proof-Oriented Coding Agent
-

Listen Now