wen @cyrridven@computerfairi.es

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 😅

why do they make caffeinated drinks yummy? it should be disgusting like medicine. now i wanna drink more of my yummy drink, but i also know that if i do, I. WILL. DIE.

love seeing my papers flip back and forth between "reviewers assigned" and "under review" for months on end

Cop shit has no place in the classroom and fucks over poor, Black, and disabled students.

RT @MathProfPeter@twitter.com

In my in-person sessions with students today (for m hybrid courses), they were telling me about their experience using proctoring software and lockdown browsers for OTHER courses (I could never...). Here are some of the things that they just said casually:

🐦🔗: https://twitter.com/MathProfPeter/status/1364072924550991873

Heya @kosmikus@twitter.com! I wrote some lhs2TeX directives to format Linear Haskell's arrow as %1 ⊸ based on lambda.fmt. Unfortunately, I think the linear arrow syntax is too complex to conditionally hide the %1 using JUST lhs2TeX. Any suggestions? :)
https://gist.github.com/wenkokke/97b9055aae4c05842a16713a722839ff

The TOPLAS submission system does not seem to be the best in its area.

女バトルコップ (1990)

FWIW they voted for this in 2018 – I've been very disconnected from Dutch politics – but they're sticking to it to this day.

"If we force people not to wear a burqa, they can't be forced to wear a burqa! Therefore, no undue force!"

My babies, your cultural biases are showing.

TIL @PartijvdDieren@twitter.com voted for a burqa ban in the Netherlands, and I'm just so disappointed and tired.

Does anyone even manage Hackage anymore? It's been literal YEARS since I've asked to have my account permissions fixed.