1. What's this?
3. Nix/NixOS
4. 1. NixOS on Raspberry Pi
5. 2. Firefox + Nix
6. 3. Adhoc development environments with Nix