Queer leftie anticapitalist sort currently in the netherlands; computers fear it.

I tend to infodump about the stuff I'm working on, which at the minute is mostly a database i'm working on.

I really like a language you've probably never heard of called idris that's quite different from most. I'm currently trying to teach it to people and use it to learn type and category theory. I also write a lot of rust

#nobot #noindex