@charlotte @f0x imo what made me really steer away from nixos is it adds activation energy requirements to Everything. every language you use needs a new special nixos wrapper. all your dotfiles dont work without some nixos magic. your editor cant use language servers without nixos magic. just so much

@charlotte @iitalics yeah I got into it as a server OS too, with shared config + orchestration through morph. after about a year on multiple servers im now starting to use it on my Framework too

@charlotte @iitalics https://git.pixie.town/f0x/nixos is all my config for those

@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

@f0x @charlotte i still want to get into nixos, so could I also take you up on that offer please?

i'd love to trade it for some explanation/documentation if you're interested: my expertise is interactive theorem proving, I know a lot of maths (especially logic and abstract algebra) and CS (especially programming languages) and did a few linguistics courses.

@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:
https://nixos.org/~eelco/pubs/iscsd-scm11-final.pdf
https://nixos.org/~eelco/pubs/phd-thesis.pdf

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