wen @cyrridven@computerfairi.es
"Oh, I need a different version of Agda for this project!"
*hits compile, walks away, forgets about project, and never comes back*
Right now I've got burns on my knee from cooking. ON MY KNEE!
Listen, I would love a really fancy knife for cooking, but I'm a clumsy bitch and I WOULD gut myself.
Woo, I got endorsed! I'm a real research now! *proud baby pose*
(Turns out ArXiv gets really sad and confused if you submit your lhs2TeX input files along with the generated TeX files.)
ArXiv is ✨magical✨You give them your source, they work their magic, turn to you and say "Is this the paper you were thinking of? " except it's just your abstract and bibliography repeated four times.
Anyone endorsed to post to http://cs.PL on arXiv? It needs proof that I'm a PL researcher:
https://arxiv.org/auth/endorse?x=IKXUSK
I wish there were a journal for "These people did a shit job of writing up their results, here's a better version of their paper."
'Actually, Haskell is the name of the language conforming to the Haskell 98 Report. The name of the language compiled by GHC is "Haskell's Monster"'
Best merge conflict ever:
<<<<<<< HEAD
=======
>>>>>>> main
Totally see why git couldn't work this one out!
It's a little bit of a pain every time I open a long forgotten Haskell project and my editor just hangs forever 'cuz it's waiting for some ancient version of GHC to download and install.
Hey, just a thought, but maybe stack should ASK before installing Yet Another GHC?
Heya @mr_konn@twitter.com! How should I cite ghc-typelits-presburger? Is there a publication attached, or should I just link to the repository or Hackage page?
Dutch PM: I did a racism so bad I'm gonna have to resign! 🤷🏻♂️
White Dutch people: Well done, lad, have your job back! 👏🏻👏🏻👏🏻
Has Science gone too far? I just wrote a typeclass called SortedTrifunctor for mapping over all three leaf types in my data family.
re: pain, ADHD
anyway, she still very stubbornly refuses to try and get a diagnosis for the EDS that we both so very clearly have
pain, ADHD
Reviewing ADHD symptoms with my mom:
"Yeah, of course you get up a lot and change your position every few minutes! I taught you that! Otherwise your body starts hurting!"
So uh, that's a thing most people experience, right? 😂
They're conservatives, so obviously they want to end collective society, but it's uncomfortably on the nose, isn't it?
