tfw your brain fills in the rest of the toot before you've stopped reading.
except your brain was wrong. your brain was funnier.
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
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
tfw your brain fills in the rest of the toot before you've stopped reading.
except your brain was wrong. your brain was funnier.
Loading comments...