Queer leftie anticapitalist sort currently in the netherlands; computers fear it.
I talk lots of wank about the stuff I'm working on, which at the minute is mostly rust green threading. Sorry about that.
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 write a wasm backend for it. I am also attempting to learn type and category theory.
Dieses Profil is von einem föderierten Server und möglicherweise unvollständig. Auf der Original-Instanz anzeigen