← Sunday, October 11, 2026Performance & OSDeep dive

Nix supplies half the pieces for a deterministic debugger

fzakaria.com 8 min read Editor score 8/10

A deterministic VM for Nix builds has grown debugger features including stack frames, thread lanes and a way to pinpoint where a race begins. Its use of derivations to provide program inputs, symbols and sources shows how reproducible builds can aid concurrency debugging.

What: Rewind VM makes Nix builds reproducible by treating each run as a pure function of its inputs, including thread schedule.
How: `rewind check` reruns a build under perturbed schedules and narrows the first race failure to a specific step.
Why it matters: Reproducible inputs and schedule control help engineers trigger and localize concurrency bugs that ordinary runs may miss.

A Nix derivation’s inputs are packed into an image that boots the Rewind VM. Sketched from the article's own text.

Read on fzakaria.com → Hacker News · 38 comments

Discussion

Discussion is not switched on yet. Use Note above to keep your own thoughts on this story.

Headline, summary, brief and diagram are written by a model from the source's own text; the link, byline and numbers come from the source. Read the original before relying on a claim.