D
dysfun@social.treehouse.systems
@dysfun@social.treehouse.systems
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
Reputation
0
Profile views
1
Joined
Last Online