Why Nostr? What is Njump?
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
Public Key
npub17aut2lujywfdr82p2yl8nnj7dkj7fsgqyuhrqj6sn743q2wc3rtqqrgcqv
NIP-05 Address
dysfun_at_social.treehouse.systems@momostr.pink
Profile Code
nprofile1qqs0w79407fz8yk3n4q4z0neee0xmf0ycyqzwt3sfdgfl2cs98vg34s6u8np8
Author Public Key
npub17aut2lujywfdr82p2yl8nnj7dkj7fsgqyuhrqj6sn743q2wc3rtqqrgcqv