NixOS is the evolution & natural outcome of Nix — where if you can build software reliably, reproducibly, & across different machines, but instead stopping at standalone software, a collection of software + a bootstraping process can build an operating system — with the same guarantees like rolling back from bad states.