wen @cyrridven@computerfairi.es

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 😅

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.