![@dysfun@treehouse.systems avatar](https://kbin.zerstoererbande.de/media/cache/resolve/avatar_thumb/b1/48/b148e4e7e20b6c2f85372166a368e3fd8e91ceefaca13e3e92ec276f314001b9.jpg)
![@dysfun@treehouse.systems avatar](https://kbin.zerstoererbande.de/media/cache/resolve/avatar_thumb/b1/48/b148e4e7e20b6c2f85372166a368e3fd8e91ceefaca13e3e92ec276f314001b9.jpg)
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