What Every Verification Student Must Understand Beyond Coding?
No longer confined to repetitive testing, hardware verification is entering an era…
Experiences with local models for coding
This is the second memo where I describe my recent experiences on…
Viability of local models for coding
Until recently I hadn't tried running models locally for quite a while,…
Maintainability sensors for coding agents
There are multiple dimensions we usually want to achieve and monitor in…
Maintainability sensors for coding agents
There are multiple dimensions we usually want to achieve and monitor in…
Maintainability sensors for coding agents
There are multiple dimensions we usually want to achieve and monitor in…
Harness engineering for coding agent users
The term harness has emerged as a shorthand to mean everything in…
Context Engineering for Coding Agents
The number of options we have to configure and enrich a coding…
Assessing internal quality while coding with an agent
There’s no shortage of reports on how AI coding assistants, agents, and…
Autonomous coding agents: A Codex example
In the past few weeks, multiple “autonomous background coding agents” have been…
