Southern California


Types, parentheses, ideology.


guix, xmonad, emacs, tmux


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.