Program Synthesis
3 essays on this topic.
What the Research Says: Mapping RIAI Against the Field
RIAI Lab Notes #6: I read four research fields against my own results. What others built, where RIAI stands, and the experiments I'll run next.
Watching JEPA Write Code Live: What It Got Right, and the Check It Fooled
RIAI Lab Notes #5: a live test of the JEPA code writer. Fast, readable, no LLM, and correct for its examples. But the examples didn't say what was meant.
Writing Its Own Code: From a Teacher Model to Code Built by Search
RIAI Lab Notes #3: moving the 'write the code' step from Claude Haiku into the agent, with program search, execution traces and honest gaps.
