lol, if potential contributors are deterred by a ban on ai contributions, that's almost certainly a good thing, why the hell would you think otherwise?
gaytabase
@dysfun@social.treehouse.systems
mastodon
4.5.6+glitch-th
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 somewhere between a database engine and a web-based diagram editor.
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 and i used to write fedi software.
0
Followers
0
Following
Joined April 06, 2022
more gay:
pronouns:
he/they
location:
netherlands
support me:
Posts
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
2d ago
12
0
2
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
3d ago
@davidgerard i think you've tried quite hard and you'd be quite justified in e.g. cold emailing bbc news
View full thread on social.treehouse.systems
1
1
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
3d ago
@scalzi EVERYTHING MUST GO
View full thread on social.treehouse.systems
0
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
4d ago
@0xabad1dea priorities, y'know?
View full thread on social.treehouse.systems
0
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
4d ago
@davidgerard passive smoking had the decency to not ruin the internet
View full thread on social.treehouse.systems
1
2
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
5d ago
bifurcating in two
😬
7
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
6d ago
Ladies and gentlemen, this is your captain speaking. We have a small problem. All four engines have stopped. We're doing our damnedest to get them going again. I trust you are not in too much distress
well buddy, i wasn't til you said that over the tannoy 😂
27
0
10
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
6d ago
the wikipedia page for st elmo's fire is a bit disappointing considering what a wild plasma phenomenon it is https://en.wikipedia.org/wiki/St._Elmo%27s_fire
1
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
6d ago
watching more airline disasters. some of them are amazing, like everything goes wrong and then they pull off one of the best landings of their career.
1
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
6d ago
it takes like 30 seconds or so, but it feels like your whole life
1
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
6d ago
the socialist marxist communist woke rag known as the bbc has discovered pronouns that went extinct https://www.bbc.com/future/article/20260408-the-extinct-english-words-for-just-the-two-of-us
5
0
1
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
my latest C project is dangerous, so i hope you'll understand my decision not to release it.
24
0
8
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
@pdcawley that don't impress me much
View full thread on social.treehouse.systems
0
2
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
@pdcawley what the hell did they play?
View full thread on social.treehouse.systems
0
2
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
@pdcawley sweet dreams?
View full thread on social.treehouse.systems
0
2
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
@samir the bad bit that we do really badly.
View full thread on social.treehouse.systems
0
2
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 10, 2026
@zzt why won't the ai lovers admit fuzzing is good?
View full thread on social.treehouse.systems
0
0
1
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 04, 2026
petition to rebrand LLMs as 'mechanical bastards'
23
0
6
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 02, 2026
@0xabad1dea see, this is what happens when you post about not-odin
View full thread on social.treehouse.systems
1
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 02, 2026
the first shitposter is believed to be marie antoinette. this of course quickly led to the first shitpost-related death as it was in particularly poor taste.
6
0
2
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Apr 01, 2026
has anybody heard from @davidgerard@circumstances.run today? i'm really worried he might have laughed his ass off on the floor rolling to death.
39
0
7
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
i'm still in pain. send pleasing distractions.
0
1
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
okay apparently it's totally normal to feel like you've got a chest infection when you give up smoking.
3
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
oh yeah i have half a CI system from that time i was going to make a CI and then gave up because github actions happened and you can't compete with microsoft.
2
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
tfw your brain fills in the rest of the toot before you've stopped reading.
except your brain was wrong. your brain was funnier.
4
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
well i have been frightfully productive in terms of housework (displacement activity) while giving up smoking (~48h).
i have written 0 code though.
3
0
0
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 30, 2026
if you think safety's expensive, try having an accident
4
0
4
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Mar 18, 2026
Real or Slop PL papers quiz
This is hard. I just identified a logical inconsistency in a paper and used that as 'evidence' to guess it was slop.
So clearly it's difficult to detect slop papers with just a skim already. imagine you waste a few hours trying to review this shit...
I got 6/10
7
0
2
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
gaytabase
@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 somewhere between a database engine and a web-based diagram editor. 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 and i used to write fedi software. # nobot # noindex
social.treehouse.systems
@dysfun@social.treehouse.systems
·
Feb 06, 2026
own the libs by writing them yourself from scratch.
47
0
20