I posted some thoughts about why Coding agents are a special computational unit that unify not just programs and ML models, but also the programmer. and we should perhaps try to unify Type Theory, Testing and ML Evals into a single framework: https://nilesh.trivedi.link/thoughts/we-need-a-formal-theory-of-agent-evals