reasons to use nix when you don't need it?

Stream: general

[Bulhwi Cha]

I've never used Nix until now. I'm curious about reasons to use it when you can build and run Lean programs just fine with Lake.

[Yury G. Kudryashov]

I use NixOS. Main reason: easy to rollback in case of a failed upgrade.

[Henrik Böving]

I use nix for a single thing: Reproducible LaTeX builds

[Bulhwi Cha]

Henrik Böving said:

I use nix for a single thing: Reproducible LaTeX builds

Maybe I can also use Nix for this job! Thanks for the answers.

[Alex J. Best]

One other thing is that it seems way faster to rebuild lean itself with changes using the nix based system. (I haven't experimented enough to say that its better than other approaches, but at least the nix based CI seems to finish in an order of magnitude less time than the others)

[Henrik Böving]

Thats because it has in essence a per file cache so often times it barely needs to recompile things yes