←back to thread

Nix Derivation Madness

(fzakaria.com)
184 points birdculture | 1 comments | 31 Oct 25 14:28 UTC | HN request time: 0.334s | source
Show context
beardsciences ◴[31 Oct 25 15:16 UTC] No.45772979[source]▶
If I understand this correctly, upcoming Ca-derivations will fix this by making these situations expected, properly-handled cases rather than a weird bug? https://nixos.wiki/wiki/Ca-derivations
replies(3): >>45773374 #>>45773430 #>>45773561 #
1. Ericson2314 ◴[31 Oct 25 15:49 UTC] No.45773430[source]▶
Yes, a hope of mine is that we can stop using "hash derivation modulo" entirely.

I've recently started some fancy formal spec-level documentation here https://github.com/NixOS/nix/pull/14408 The "resolution" equivalence class is both simpler and better than the "hash derivation modulo ..." one.

(The fact that it is a mouthful to say what the derivations are modulo kinda gives the game away! I put "hash quotient derivation" in the docs to side-step the issue.)