Building a Lab for the Model
A performance-optimization case study showing how prompt contracts, multi-agent research, trace tooling, experimental memory, and validation turn an agent harness into a working environment for capable models.
AI Coding
AI-assisted coding, code review, debugging, and engineering validation.
4 articles
Featured
Latest writing
2026
Why Did .text Change When the Branch Name Changed?
A CI/CD infrastructure case study on why raw PE .text changes can be caused by relocation-covered address values rather than code logic changes, and why AI analysis still needs engineering validation.
Formal Methods × AI Coding
Why AI coding's prompt-level specs organize work but do not verify complex system design, and where system-level formal methods like TLA+, P, and runtime conformance checking fit.
The Real Bottleneck in AI Code Review
Why AI code review succeeds or fails less on comment generation and more on context supply, trust, and the shared intelligence layer between developers and agents.