Use flake.nix, not Dockerfile (An ad-hoc talk I gave at MCH2022)

  • I attended MCH2022, and thought I'd give a talk at the end before going home.