macOS to NixOS the Purely Functional Linux Distribution by Daniel Britten
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.
/ daniel-britten-3178b5102
https://links.danielb.space/macos2nixos
If you want to get featured on the channel and have something to present, please head over to MeetUp and contact the organizers: https://www.meetup.com/Func-Prog-Sweden
Video sponsor – Ada Beat
https://adabeat.com/
If you want to spread functional programming and support the channel, buy something from the shop: https://funcprogsweden.myspreadshop.net/
#funcprogsweden