&gt;From my limited view, Nix has a very strong theoretical base. Do you expect any developments at that level, and do you think these hypothetical developments will be integrated by the developers of Guix, or might it at some point start ignoring improvements in the theory?<p>I don&#x27;t anticipate any major changes in the theory, but if there were improvements made, Guix would surely want to implement them.  In general, we take things like build reproducibility further than Nix does.  There are many packages in nixpkgs that use pre-built binaries rather than building from source.  Guix also has tools to allow users to publish their own binaries for others, and also provides a tool to compare locally built binaries to remote binaries to detect non-determinism or security compromise.