wen @cyrridven@computerfairi.es

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?

@lambdagrrl honestly, if Haskell allows me two write infinite types like 'S (S (S ...))' then why not infinite pattern matches?

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

@douginamug This is both extremely cool and also just waiting for me to knock a bunch of glass jars to the ground with my clumsy ham hands.

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?

The fixed-point of anyone's gender is unknown.

I guess professionally my gender is andy, according to gender-guesser:

>>> import gender_guesser.detector as gender
>>> d = gender.Detector()
>>> d.get_gender("Wen")
andy

Love this new paper titled "Computer Science Communities: Who is Speaking, and Who is Listening to the Women? Not us. We're inferring gender from first names."

On a more serious note, this software doesn't work for pictures of me wearing anything more than swimwear, so I'm gonna continue to be more worried about the abuse of face-swapping networks rather than DeepNude networks.

Disappointed by DeepNude's inability to make my body look like a non-blurry cis woman's.

@RaeHaskell@twitter.com @fancytypes@twitter.com Could you explain why this happens? Is this expected, or an implementation bug?

There's something wonky about closed type families!

If both arguments to 'Min' contain type variables, only the first rule is ever tried. The family below gives 'Min n n ~ n' but if we move the first rule down, it no longer computes!

https://gist.github.com/wenkokke/7ffe68c9c2dc06679d9e6f63d2bcad17

I wrote this, but it doesn't quite seem to work:

How do I teach GHC that n < n + 1?

Oops, I started doing some watercolours, and now it's 2:45 am 😅