npub | npub17aut2lujywfdr82p2yl8nnj7dkj7fsgqyuhrqj6sn743q2wc3rtqqrgcqv |
---|---|
name | gaytalogger |
about | 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. #nobot #noindex more gay: https://catcatnya.com/@bananas pronouns: he/they location: netherlands support me: https://ko-fi.com/dysfun |
nip05 | dysfun_at_social.treehouse.systems@momostr.pink |
picture | https://cache.treehouse.systems/accounts/avatars/108/083/770/920/537/255/original/24e994506c9e1372.jpg |
website | https://social.treehouse.systems/@dysfun |