NixOS, the “Purely Functional Linux Distribution”, is an interesting choice to switch to from macOS (or any OS). It has some unique advantages as well as some annoying quirks. I’ll discuss my experience of switching from a MacBook Pro to a Dell running NixOS for everyday usage as a Computer Science PhD student.
PhD student at the University of Waikato, New Zealand with a research focus on using theorem-proving (Coq) to help guarantee correctness and security properties of blockchain smart contracts. Interested in functional languages especially with rich type systems, such as dependently typed languages.