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.
blackle mori @suricrasia@lethargic.talkative.fish
I do lots of random stuff because my brain has too many chemicals inside of it. 1994 ⚧ it/its