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 hackable web-based diagram editor, though you might see me talking about databases or datalog too..
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.
Reputation
0
Profile views
1
Joined
Last Online