News
News & notes
Updates, research notes, and announcements from the team building GIDE.
- By Michael Harris
Invisible to grep: a portable check for the silent-softmax bug
The third of a short series. The bug from the first two posts is invisible to grep — a missing rescale has no keyword. So we turned the invariant into a check you can run on code you didn't write, and ran it across fifty-two public repos — an honest read on what one-in-fifty-two proves.
Read article → - By Michael Harris
How we found them: an adversarial agent swarm for silent attention bugs
A companion to our last post — not the bug, but the method that surfaced it: a scripted swarm of LLM reviewers split into refuters and reproducers, pointed at our own attention code. What it's good for, and what it doesn't prove.
Read article → - By Michael Harris
One softmax, many pieces: the silent bug we kept re-making in long-context attention
A class of long-context attention bug that returns plausible numbers, survives grep and code review, and passes short-sequence tests. Here's why it hides — and why the fix is one place that combines partial softmaxes.
Read article → - By Michael Harris
Hello from DarcStar Technologies
Welcome to the DarcStar Technologies blog — announcements, research, and notes from engineering.
Read article →