Seedling··13 min read
Every Coding Agent Trend Is Program Synthesis
Prompt engineering, context engineering, loop engineering, harness design, evals. If you know the source material you can predict which one gets named next.
Tag: program-synthesis
6 posts with this tag
Seedling··22 min read
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
Seedling··22 min read
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
Seedling··10 min read
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
Seedling··15 min read
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
Seedling··12 min read
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