[{"id":"108083770920537255","username":"dysfun","acct":"dysfun","display_name":"gaytabase","locked":true,"bot":false,"discoverable":false,"indexable":false,"group":false,"created_at":"2022-04-06T00:00:00.000Z","note":"\u003cp\u003eQueer leftie anticapitalist sort currently in the netherlands; computers fear it.\u003c/p\u003e\u003cp\u003eI tend to infodump about the stuff I\u0026#39;m working on, which at the minute is mostly somewhere between a database engine and a web-based diagram editor.\u003c/p\u003e\u003cp\u003eI really like a language you\u0026#39;ve probably never heard of called idris that\u0026#39;s quite different from most. I\u0026#39;m currently trying to teach it to people and use it to learn type and category theory. I also write a lot of rust and i used to write fedi software.\u003c/p\u003e\u003cp\u003e\u003ca href=\"https://social.treehouse.systems/tags/nobot\" class=\"mention hashtag\" rel=\"tag\"\u003e#\u003cspan\u003enobot\u003c/span\u003e\u003c/a\u003e \u003ca href=\"https://social.treehouse.systems/tags/noindex\" class=\"mention hashtag\" rel=\"tag\"\u003e#\u003cspan\u003enoindex\u003c/span\u003e\u003c/a\u003e\u003c/p\u003e","url":"https://social.treehouse.systems/@dysfun","uri":"https://social.treehouse.systems/users/dysfun","avatar":"https://cache.treehouse.systems/accounts/avatars/108/083/770/920/537/255/original/24e994506c9e1372.jpg","avatar_static":"https://cache.treehouse.systems/accounts/avatars/108/083/770/920/537/255/original/24e994506c9e1372.jpg","header":"https://social.treehouse.systems/headers/original/missing.png","header_static":"https://social.treehouse.systems/headers/original/missing.png","followers_count":1307,"following_count":364,"statuses_count":2093,"last_status_at":"2026-04-19","hide_collections":true,"noindex":false,"emojis":[],"roles":[],"fields":[{"name":"more gay","value":"\u003ca href=\"https://catcatnya.com/@bananas\" target=\"_blank\" rel=\"nofollow noopener me\" translate=\"no\"\u003e\u003cspan class=\"invisible\"\u003ehttps://\u003c/span\u003e\u003cspan class=\"\"\u003ecatcatnya.com/@bananas\u003c/span\u003e\u003cspan class=\"invisible\"\u003e\u003c/span\u003e\u003c/a\u003e","verified_at":null},{"name":"pronouns","value":"he/they","verified_at":null},{"name":"location","value":"netherlands","verified_at":null},{"name":"support me","value":"\u003ca href=\"https://ko-fi.com/dysfun\" target=\"_blank\" rel=\"nofollow noopener me\" translate=\"no\"\u003e\u003cspan class=\"invisible\"\u003ehttps://\u003c/span\u003e\u003cspan class=\"\"\u003eko-fi.com/dysfun\u003c/span\u003e\u003cspan class=\"invisible\"\u003e\u003c/span\u003e\u003c/a\u003e","verified_at":null}]}]