teo :heart_nb:​ teo@cathode.church

Hi I'm teo.

I spend a lot of my time working with computers. I'm interested in functional programming (haskell, nix, rust, agda mostly), formal methods, wikis, public transport and being critical of tech.

I am queer and oppose hierarchy in all its forms.