wen @cyrridven@computerfairi.es

ah, the tweet to toot to tweet to toot cycle!

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.

anyway, she still very stubbornly refuses to try and get a diagnosis for the EDS that we both so very clearly have

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?

The Dutch conservatives are running with "Together to the finish line" and... anyone else find the concept of a "societal finish line" a bit worrying?

This doesn't work because 'm' and 'S m' aren't equal, but they're also not NOT equal, so Haskell never gets past the first clause of IsConstPlus:
https://twitter.com/fancytypes/status/1369834087226216448?s=20

Both Stephanie and Richard actually responded! In short, it's because Haskell let's you shoot yourself in the foot by writing non-terminating type families, but they didn't want to let that translate into letting you shoot yourself in the foot by writing segfaulting programs.

Y'all, does "SumCnt" as a type name read as "summation client" or as "some cunt"? Asking for a friend.

I wanted to toot a thing but then I forgot.

Beats speaker gag is my favourite product placement.

My favourite bit is actually that the paper starts with a HUGE disclaimer saying they're aware that inferring gender from first names is inaccurate and causes harm especially to marginalised groups, AND THEN THEY DO IT ANYWAY.

Shockingly, the software doesn't gender "Cyrridven" or "Kerewin" correctly. Can you IMAGINE?