Southern California
Types, parentheses, ideology.
guix, xmonad, emacs, tmux
An sbt that uses only one sbt/scala pair from nix
Presentation on some of the technical values of the Nix ecosystem
a toy type checker and parser for a small lambda calculus
home-manager module for remote clipboard access
Fork of Guix on savannah (https://savannah.gnu.org/projects/guix) for incubating patches to upstream
Personal website.