Nix 与 NixOS 专题：声明式系统管理的函数式革命
Nix 是革命性的纯函数式包管理器，以声明式配置和可复现构建著称；NixOS 是围绕其构建的声明式操作系统。本专题系统覆盖 Nix 表达式语言与惰性求值语义、nixpkgs 与 derivation 包构建、nix-shell 开发环境与 direnv 集成、Flakes 现代化工作流（flake.nix / inputs/outputs / flake.lock）、NixOS 系统级声明式配置（configuration.nix / systemd 服务管理）、Home Manager 用户级配置（dotfiles 即代码）、以及 Nix 构建 Docker 镜像与远程部署工具链（deploy-rs / Colmena），为追求可复现基础设施的系统工程师和 DevOps 提供完整技能路径。进阶篇进一步覆盖 Nix 语言底层语义（柯里化/惰性求值/fix 定点组合）、Flakes 工程化最佳实践、CI 与 Cachix 二进制缓存、NixOS 模块系统、devenv 可复现开发环境，以及交叉编译与 overlay 异构构建。