Stack layer / Threat pattern
LeanScreen Catches Lean 4 Theorems That Compile Cleanly but Say the Wrong Thing, in 0.1 Seconds
Millennium Research / Hacker News
Stack layer / Threat pattern
a16z Puts Numbers on Computer-Use Agents: OSWorld-Verified Went 42% → 85% in a Year, Past the ~72% Human Baseline, at $6–8/Hour of Inference
Andreessen Horowitz
Policy dependency / Stack layer
CROSS-CATEGORY: MCP Governance Shipped Simultaneously in DevTools, Infrastructure and Security in a Single Week
Multiple Sources (digitalapplied on GitHub's Aug 6–7 releases; GlobeNewswire/Virtualization Review on Nutanix Aug 10; Forkast on Black Hat USA 2026)
Policy dependency / Stack layer
Spotify Opened Xirp to Public Beta — an Incumbent Shipping the Meta-Harness Layer Above Claude Code, Codex and Gemini CLI
Spotify Portal Engineering Blog (corroborated by Product Hunt Aug 11 and Spotify Engineering on X)
Policy dependency / Stack layer
CrewAI 1.15.15 reports flow outcome, duration and human-in-the-loop signals, and forces a torch 2.13.0 security bump
GitHub (crewAIInc/crewAI)
Policy dependency / Stack layer
Linux 7.2-rc7 Lands With 400+ Fixes From 230+ Contributors and Torvalds Says AI Code Review Is 'the New Normal'
The Register (corroborated by Neowin; surfaced via r/singularity, 167up/44c)
Policy dependency / Stack layer
llama.cpp Gets a Consumer Front Door at llama.app, With a Plugin Hook Into the Pi Coding Agent
ggml-org / Hacker News
Stack layer / Threat pattern
NVIDIA ships Nemotron 3.5 Lightning, a 30B MoE built for agent loops, plus NeMo Switchyard routing that cuts task cost to a third of Opus 4.8
NVIDIA Blog