Technical notes and research writeups.
What I learned building the evaluation pipeline behind BODE-GEN, where executable tests turn code prompting into an optimization problem.