wen @cyrridven@computerfairi.es

女バトルコップ (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.

I've reached the "I cannot tell all these blue app logos apart" threshold. Can we have some non-blue logos now?

Yaay!

It seems that the only difference between Send and Recv is S versus S::Dual in the struct definition!

I've attached a more complete example below. Is there anything I'm missing on why this happens?
https://gist.github.com/wenkokke/ad8a7299c305d212473b9b5a4ad804da

This works just fine...

type Foo = Recv<Bar, End>;
enum Bar {Baz(Recv<i64, Send<i64, Foo>>)}

This fails with "overflow evaluating the requirement"!

type Foo = Recv<Bar, End>;
enum Bar {Baz(Send<i64, Recv<i64, Foo>>)}

But the requirements on Send and Recv are identical!

I have a small Rust library for session-typed channels, called sesh, and while using it, I noticed something really weird. Maybe you can help me figure out what's going on?

Love universities being run by people who don't understand how research works:
https://www.ipetitions.com/petition/foco-is-not-redundant/

Pretty sure there's someone in Edinburgh wakes up every Tuesday morning when Jordan Valley restocks their delicious spinach lentil rolls and immediately buys all of them. Wish it was me.

Every time I leave my office, my air quality monitor sends me a message like "Oh, wow, geez, CO2 levels sure are down in your office! What did you do?! Can you make this a permanent change?!"

At least 45% of programming is finding ways to say things that have same number of characters as other things.

After waiting for 3 years to be assessed for ADD, I hear that the clinician I've been waiting to see no longer does ADD assessments, and so I'll have to be re-referred and probably start my wait again...

What the fuck is this, a gender identity clinic?!

GitLab made pull mirrors a paid feature, and disabled all my pull mirrors without informing me, so I guess my move to @GitLab@twitter.com stops here :(

I think an end to capitalism would work best for me. Doctor, could you prescribe that?

I've only been back in Edinburgh just over two weeks, but every morning I wake up with the dreadful feeling that I'll have to fly out again soon.

Vice wrote this article about Uganda, but let's be real, this is exactly the situation in the UK as well:
https://www.vice.com/en/article/y3gqpg/trans-women-are-taking-hormones-without-medical-supervision-in-uganda