wen @cyrridven@computerfairi.es

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

Wrote down some typing rules in PLT Redex, but judgment-holds runs out of memory for the identity function. How do I debug this?

so labour's rebranding to be openly fash now, eh?

let's see if I can get away with making this officially the introduction to my thesis

RT @wenkokke@twitter.com

I did a thing and wrote an introduction to session types
https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html

🐦🔗: https://twitter.com/wenkokke/status/1339646243480453122

The Netherlands is currently in "total" lockdown, which means only two people can visit your home each day. None of y'all need to wear masks, just wash your hands and cough and sneeze in your elbow.

RT @ReutersUK@twitter.com

COVID drives Dutch death rate up to highest level since WWII http://reut.rs/34QVrAp

🐦🔗: https://twitter.com/ReutersUK/status/1343868148756451329

I'm back in Edinburgh 🎉😭