No posts found.
Try a different search term or choose another tag.
Blog
Notes and Essays
Research notes, engineering write-ups, and reading reflections around code intelligence, agents, code verification, and building reliable software systems.
Latest Posts
3 posts
Software Engineering Research Is Dead
Why LLMs gave software engineering research a second life, and why the AI frontier may be moving beyond code.
Read postCode Verification May Be the Bottleneck for Scaling Coding-Agent RL
Why scalable, reliable code verification—not only larger models or longer trajectories—may be the binding constraint for coding-agent reinforcement learning.
Read postA Deep Dive into Agent Tool Calls
A practical look at how agent tool calls move from model intent to validated local execution, result messages, and the next reasoning step.
Read post