@charlotte yeah that makes sense, and really the documentation isn't great (yet). You have to learn Nix (a functional programming language) and then all the NixOS stuff to apply that. I can gather some of the beginner stuff I used when I get home if you want
NixOS resources, kinda long
@Vierkantor there's definitely a lot of abstract/mathematical base to Nix/NixOS but I know nothing of those, instead using it more pragmatically myself. The original research papers it's based on might be interesting to you too:
To learn Nix there's this guide, https://nixos.org/guides/nix-pills/why-you-should-give-it-a-try.html (especially chapter 4 for the language basics)
Getting a simple running system into a vm is rather easy, it's just partitioning, generating a default config, then installing that.
Lastly there's various Matrix rooms by the project that can be quite helpful (and actually nice, techbros are kept in check) #nix:nixos.org is the main room for questions
Small server part of the pixie.town infrastructure. Registration is approval-based, and will probably only accept people I know elsewhere or with good motivation.