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
4 posts with this tag
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
How a study group in San Francisco turned coding agents into research agents by going back to 1960s AI problems with modern tools
How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way
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