Watch today's digest as a video summary (generated by NotebookLM)
By the Numbers
The Week in One Paragraph
TL;DR - This Week's Headlines
Stories That Developed
Surprising & Under-the-Radar
A Fields Medalist Resurrected 27-Year-Old Code He'd Given Up On
Terence Tao used coding agents to port ~24 of his 1999 Java applets to JavaScript — including a special-relativity tool he abandoned as too complex to build alone — with just one minor bug across the lot, declaring language choice "largely automated away." (Jul 12)
Someone Built Doom Inside SQL Queries
Peter Gostev's DOOMQL runs movement, collision, enemy AI, and a full ray tracer as recursive SQL inside SQLite, built with GPT-5.6 Sol — a playable first-person shooter where the game state is a standard .sqlite file you can inspect live. (Jul 13)
Scientists Found a Mouse-Like "GPS" Inside a Language Model
To judge whether a sentence fits on a line, a model grew features that mirror the "place cells" and "boundary cells" biologists find in navigating mice — and nobody designed them; it built the tools on its own during training. (Jul 15)
An Expert Calling AI Output "Stupid" Was the Signal It Was Working
Lila Sciences reports its model's catalyst suggestions went from boring, to what a 40-paper domain expert dismissed as "stupid," to the best performers — implying expert dismissal marks the point where a model leaves the training distribution and novel results begin. (Jul 16)
Adding More Instructions Made an AI Worse
One writer added 5,000 words of careful guidance and the model failed to finish two of three runs — the culprit was an 18,384-word instruction harness of stale, one-off fixes written for weaker models that now actively hurt a smarter one. Prune your prompts like a garden. (Jul 15)
Linus Torvalds Quietly Settled Linux's AI Question
In a mailing-list reply — where kernel policy has always actually been set — Torvalds declined to make Linux an anti-AI project: "AI is a tool, just like other tools we use. And it's clearly a useful one." His standard invitation to "fork it" signaled the question is closed. (Jul 16)
Top Repos This Week
📦 Total: ~122,800 · 📜 License: Apache-2.0
👤 By: Shubham Saboo (community-curated)
📦 Total: ~10,800 · 📜 License: MIT
👤 By: Hassan El Mghari (Nutlope)
📦 Total: ~24,000 · 📜 License: MIT
👤 By: HKU Data Intelligence Lab
📦 Total: ~4,800 · 📜 License: MIT
👤 By: Jeffrey Emanuel (individual)
rm -rf, git reset --hard, database drops) before an AI agent can run them. Why you'd want it: As agents run more commands unattended, one bad command can wipe your work — cheap insurance against exactly the Codex-style accidents that made news this week.📦 Total: ~89,000 · 📜 License: MIT
👤 By: Graphify Labs
Top Models This Week
📥 Downloads (30d): ~513K · 📜 License: MIT
📐 Size: 753B

📥 Downloads (30d): ~1.85M · 📜 License: MIT
📐 Size: 3B

📥 Downloads (30d): ~11.8K · 📜 License: Apache-2.0
📐 Size: 295B (21B active)

📥 Downloads (30d): ~33K · 📜 License: Apache-2.0
📐 Size: 35B

📥 Downloads (30d): ~4 (brand new) · 📜 License: Apache-2.0
📐 Size: 975B total / 41B active

AI Launches This Week
👤 By: Framer · 💰 Pricing: Freemium
🏷 Category: No-code / Website builder

Osaurus
👤 By: Terence Pae, Jared Goodman, Chris Messina · 💰 Pricing: Free (MIT)
🏷 Category: AI Agents / Privacy

AgentKey
👤 By: Unverified · 💰 Pricing: Freemium
🏷 Category: AI Agents / Data

Paradigm
👤 By: Not listed · 💰 Pricing: Not listed
🏷 Category: AI / Education

Zro
👤 By: Not listed · 💰 Pricing: Not listed
🏷 Category: AI / Developer Tools

👤 By: Y Combinator-backed · 💰 Pricing: Paid (intro $500/mo)
🏷 Category: Agent infrastructure

Snapshot
| Provider | Model | Input $/1M | Output $/1M | Context |
|---|---|---|---|---|
| Anthropic | Claude Fable 5 | $10.00 | $50.00 | 1M |
| Anthropic | Claude Opus 4.8 | $5.00 | $25.00 | 1M |
| Anthropic | Claude Sonnet 5 | $2.00 (intro, $3.00 from Sep 1) | $10.00 (intro, $15.00 from Sep 1) | 1M |
| OpenAI | GPT-5.6 Sol | $5.00 | $30.00 | ~1M |
| OpenAI | GPT-5.6 Terra | $2.50 | $15.00 | ~1M |
| Gemini 3.1 Pro (preview) | $2.00 (≤200k) / $4.00 (>200k) | $12.00 / $18.00 | 1M | |
| Gemini 3.5 Flash | $1.50 | $9.00 | 1M | |
| Groq | GPT-OSS 120B | $0.15 | $0.60 | 128K |
| Groq | Llama 3.1 8B Instant | $0.05 | $0.08 | 128K |
Inference Economics of Enterprise Coding Agents: A Case Study of Cloud vs. On-Premise LLMs
What it claims: A longitudinal case study across two 28-day periods on a production codebase compares a cloud API setup (Claude Opus 4.7/4.8 via Claude Code) against a self-hosted one (GLM-5.1/5.2 via OpenCode) on NVIDIA Blackwell hardware, arguing that prompt caching upends the usual cloud-vs-on-premise cost intuition.
Key finding: Prompt caching at a 99.3% hit rate cut realized API cost by 88.6% to an effective $0.57 per million tokens — below the $2.83 amortized cost of the shared on-premise slice — while the local setup carried a 74.9% fix-commit ratio versus 45.9% for the API one, meaning the on-premise penalty arrived as debugging spirals rather than dollars.
Why practitioners should care: Anyone weighing a self-hosted open-weights coding agent against a frontier API now has measured production numbers showing caching can invert the per-token math. The honest caveat is that it's a single-developer, non-randomized study: on-premise still saved 40.1% under shared GPU allocation but cost 43.8% more than the cached API under dedicated reservation, so the answer depends on your utilization model.
What to Watch Next Week
Kimi K3 Weights Land July 27
If a genuinely frontier-adjacent open model becomes freely downloadable, expect a rapid wave of fine-tunes, quantizations, and self-hosted deployments — and renewed pressure on closed-model pricing. Watch whether Western labs respond with their own open releases or lean harder into managed-service moats. Simon Willison: Kimi K3
The Coding-Tool Race Becomes a Sandboxing Race
With Codex past 8M users and Claude Code raising limits in response, the differentiator is shifting from model quality to safe-by-default execution. Watch for sandboxing-on-by-default becoming a marketed feature rather than a power-user afterthought. Simon Willison: the Codex $HOME bug
Contamination-Resistant Benchmarks Go Mainstream
Expect the industry to migrate toward continuously-refreshed, post-cutoff benchmarks and long-horizon tool-use evaluations, and to treat static-leaderboard bragging with open skepticism. arXiv: SWE-MERA
Agent-Speed Attacks Meet Agent-Speed Defense
With attackers now operating faster than human defenders, watch for automated red-teaming and LLM-driven anomaly detection to become standard product features — Hugging Face itself used LLM analysis agents to reconstruct the intrusion. Hugging Face: security incident disclosure
Corrections & Updates
- Samsung Health (reported Jul 13) was walked back. The daily reported that declining AI-training consent would delete years of health records. Samsung subsequently clarified that only the data separately collected for AI training is deleted on withdrawal; existing Samsung Health records and cloud sync are unaffected, and independent testing confirmed syncing continued normally. Samsung says it is revising the notice. The underlying concern — bundling AI consent with core features — was real, but the "your data will be erased" framing did not hold up. - Cursor 0day release count. The daily cited "197+ releases" shipped while the vulnerability went unpatched; Mindgard's own writeup and secondary coverage describe "more than 70 versions." The seven-month timeline (reported Dec 15, 2025; disclosed Jul 14, 2026) and the "runs on project-open, still unpatched, no advisory" core are confirmed. - Together AI funding timing. The $800M round at an $8.3B valuation is confirmed, but it formally closed July 1 — just before this week — and was led by Aramco Ventures. It appears here as market context rather than as news that broke during the week.
Everything else — Kimi K3's parameters and release date, Codex's user milestone, the Grok CLI overshare, the Hugging Face breach, the SWE-bench audit figures, Apple's SpeechAnalyzer benchmark, the Fed AI task force composition, and Hassabis's oversight-body proposal — was independently confirmed and, where the situation had moved on (Codex reaching 8M; Anthropic's competitive response), updated to the current state.

Member discussion