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