Learning to use nix and nixos