Type Theorist, Software Engineer, Sysadmin.

Living in my EXWM, Building it with Guix.

He/Him, Probably Cis, Proud Pan.

Figuring things out as I go!

[bridged from https://parens.social/@djeis on the fediverse by https://fed.brid.gy/ ]