This is the same message the palantír used to corrupt Saruman
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.
No one can be free until we all are. ACAB
I've been on the fediverse on and off since about 2017
Follow requests welcome
| pronouns | they/them |
| gender | non-binary |
| age | mid 20s |
| location | Leeds, UK (sad trombone) |