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
4 posts with this tag
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