Tag
blast radius
3 posts carrying this tag.
We Measured Grep on Real Codebases. Here's What Actually Breaks.
We measured how coding agents search with grep on Home Assistant and Saleor: about 150 model runs and 13 million tokens. Grep finds the files, then buries them in noise, and it can't follow inheritance or code that never says the name. A bigger model doesn't fix it.
Round-Trip Is a Signal, Not a Promise: How a Verifiable IR Checks Code Against Intent
A technical note on what 'verifiable' actually means in a verifiable code IR. Not a machine that rebuilds your code from a document, but a derived contract that every change gets checked against. Here is what a single verification check consists of, why round-trip is a signal and never a promise, and the honest boundary of what it can and cannot catch.