macOS to NixOS the Purely Functional Linux Distribution by Daniel Britten

February 16, 2022

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.

Daniel Britten
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.

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.