The Daily Index — Monday, June 29, 2026 · TLDR Index

GENERAL

TLDR AI

TLDR AI

Read the story behind the two-day modernization

Summary unavailable

ibm.com

TLDR AI

MUSK SAYS GROK 4.5 ENTERED PRIVATE BETA

Elon Musk said Grok 4.5 was in private beta at SpaceX and Tesla. The model is based on a 1.5T V9 foundation model with Cursor data added during supplemental training. Early evaluations were near or above Opus, with reinforcement learning still improving the model.

links.tldrnewsletter.com · 1 min

TLDR AI

GOOGLE LIMITING META'S GEMINI USE

Google reportedly limited Meta's access to Gemini capacity after Meta requested more compute than Google could provide. The shortfall was said to have delayed some internal Meta AI projects and pushed staff to use AI tokens more efficiently.

cnbc.com · 2 min

TLDR AI

LEAN SOFTWARE SCALING LAWS

Codebases and programming languages will eventually become easier for AI models to understand, fix, and write. The Lean programming language has a worse baseline constant and total loss on existing code bases compared to other languages, but better scaling components. This implies that implementations in Lean could eventually win and deliver large benefits in program correctness at global scale. This may justify large-scale investments in rewriting existing codebases in Lean or paying for new Lean code.

gwern.net · 17 min

TLDR AI

MEMORY PRICES REPORT FROM STANFORD

Stanford published an interactive report on historic and current memory and storage prices. The dataset follows the spirit of John C. McCallum's classic memory-price work, with downloadable raw data and chart export tools.

dam.stanford.edu · 4 min

TLDR AI

THE NEXT PARADIGM

AI labs are betting that scaling reinforcement learning from verifiable rewards (RLVR) across millions of diverse tasks will achieve artificial general intelligence, but this paradigm hits a wall in domains that lack deterministic simulators. True continual learning requires moving past temporary in-context memory and shifting back into the model's weights themselves.

dwarkesh.com · 7 min

TLDR AI

MONEYBALL FOR PHYSICAL AI

Data engineering pipelines should deprecate cumulative operational hours as a primary metric. Engineering efficiency and model scaling should be evaluated using quantifiable parameters. An optimal capital allocation strategy balances data types against their specific utility metrics. Capital efficiency scales by accurately pricing data novelty.

praxiscurrents.substack.com · 26 min

TLDR AI

ACCELERATING GEMINI NANO MODELS ON PIXEL WITH FROZEN MULTI-TOKEN PREDICTION

Models like Gemini Nano and Gemma make it possible to have powerful large language models right in your pocket. Delivering these models on mobile was a significant challenge. Google built a new architecture that retrofits Multi-Token Prediction onto existing 'frozen' Gemini Nano v3 models to overcome the bottleneck. The new architectural components were designed to maximize efficiency gains specifically for mobile environments. This article shows how Google's research team tackled the unique, extreme constraints of edge computing.

research.google · 10 min