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.
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
Loading comments...