-
Two Substrates of Self-Evolving Agents
Thirty-odd papers, one entry each, with the architecture figure from the original. One school writes improvement into weights; the other writes it into text. What decides whether either works is neither — it is the gap between generating an answer and checking one.
-
Three Coding Agent Harnesses
Claude Code bets on the model, Codex bets on the kernel, DeepSeek Harness bets that a harness should not be an application at all. Read from source — the leaked TypeScript, 1.4M lines of Rust, and 227 Cordis plugins.
-
The Verifier Ladder
A landscape of coding intelligence for programmatic 3D — the research, the labs, and the products, split by the two downstreams that pull on it: content (games, interactive film-games) and embodied (simulation environments, policy brains). The thesis is that this domain ships its own verifier stack, which is the only thing that makes a self-evolving agent work here.
-
The Calculus of Unplugging
Notes on "A Programming Paradigm for Spatiotemporal Composability" — the paper that gives dynamic composition a formal foundation by lifting effects and coeffects from compile-time annotations to runtime mechanisms, and implements it as Cordis.
-
The NeoLabs of Self-Evolving Agents
Six labs have raised roughly $900M betting on AI that improves itself, and each picked a different, non-overlapping layer. One of them shipped three papers instead of a valuation. I read all three, mapped every lab onto the two-substrate framing, and checked the claims against GitHub and Hugging Face.
-
Everything Is a File, Including the Agent
PenguinHarness makes recursive self-improvement a product feature by reducing it to file editing under a contract. I read the kernel, the four skills that make up its RSI loop, and the benchmark underneath — and found one gap the research literature says matters.
-
Two Schools of World Models
Forty-seven papers, one entry each, with the original architecture figure — from ViT and DDPM through Genie, Cosmos, TRELLIS and pi-0. One school understands the world by generating it; the other by acting in it.
