re: nix-darwin — can be thought of emulation of nixOs for the mac. Pros of nixOs (reproducible, declarative etc.) for development on macOS