person who likes compilers, type theory, computer graphics, and emacs -- more stuff on https://sr.ht/~jojo/