Introduction to NixOS and the Nix expression language using Python concepts
A system for recording changes to source code