wen @cyrridven@computerfairi.es
(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"'
@lambdagrrl this is golden
@lambdagrrl well you see he resigned but argued actually vacating his position of power would be too dangerous 'cuz of COVID'19 and then got re-elected a month later so 🤷
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? 😂
@lambdagrrl I mean, Haskell was fine. It's just that we're trying to turn a cute little Hindley-Milner type system into EVERY. TYPE. SYSTEM.
@lambdagrrl See section 6.1 of the closed type families paper:
https://core.ac.uk/download/pdf/303069778.pdf
@lambdagrrl I've been wanting to actually try and construct one, 'cuz I think it should be possible if GHC can be persuaded not to unroll 'type family Inf where Inf = S Inf' too much.
They're conservatives, so obviously they want to end collective society, but it's uncomfortably on the nose, isn't it?
