Building Chimera: A Coding Agent Framework, Built by Coding Agents
How building the same agent three times led me to decompose coding agents into composable primitives, and why I didn't write most of the code
Tag: program-synthesis
5 posts with this tag
58 Schmidhuber Papers in Pure NumPy with Claude Code
58 Jürgen Schmidhuber paper stubs implemented in pure numpy via the same SPEC-driven agent-team workflow, with the build internals now grounded in raw session data
Sutro Yaro: Agent-Driven Research on Energy-Efficient Learning
How a study group in San Francisco turned coding agents into research agents by going back to 1960s AI problems with modern tools
Building Bourbaki: A Math Agent That Can Check Its Own Work
How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way
Building Erdős Navigator: Claude Code as a Theorem Proving Assistant
How program synthesis led me down a rabbit hole through HoTT and algebraic topology, and back out through LLMs and a toolkit for 1,179 unsolved math problems