Nix is cool. My next daily driver is probably going to be Qubes, which goes in a whole other direction. I bet you can run Nix within Qubes, though.

Guix and it’s accompanying system are interesting to me for basically being Nix with Portage-style user compilation. The system is also GNU Hurd compatible and has a different approach to organising files, among other things.