这篇文章深入探讨了 Guix 操作系统声称的“全源码构建”是否属实。作者以机器学习框架 PyTorch 为例，分析了其依赖链，并解释了 Guix 如何通过构建所有依赖项来确保软件的可信度。文章详细介绍了 Guix 的引导过程，从最初的二进制种子 bootstrap-seeds 到构建 stage0-posix 软件包，再到最终构建出 PyTorch。作者还指出了当前引导过程中需要信任的二进制文件，并探讨了如何进一步减少对这些二进制文件的依赖，以及解决 Haskell 和 OCaml 等语言引导问题的方案。