gaytalogger
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
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
Public Key
npub17aut2lujywfdr82p2yl8nnj7dkj7fsgqyuhrqj6sn743q2wc3rtqqrgcqvNIP-05 Address
dysfun_at_social.treehouse.systems@momostr.pinkProfile Code
nprofile1qqs0w79407fz8yk3n4q4z0neee0xmf0ycyqzwt3sfdgfl2cs98vg34spz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsl530ztAuthor Public Key
npub17aut2lujywfdr82p2yl8nnj7dkj7fsgqyuhrqj6sn743q2wc3rtqqrgcqv