wen @cyrridven@computerfairi.es

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 🎉😭

Every time my mom tells me some shit like "The Netherlands is under full lockdown, which means that you can only have three people visit you in your house every day... it's really hard on the dutch people!" a small part of me dies.

Tried desparately to find a print shop in Roskilde today: called the only open one, a woman picks up. I say "Hello", she says "No, thank you" and hangs up.

@scolobb Dooo it!

Hey Agda peeps! Do you know an implementation of directed graphs and checking for cycles in Agda? If not, I'm maybe going to have to build it.

spoilers: I did not keep it under 10K words
https://twitter.com/wenkokke/status/1333736201447239682?s=20

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

Hey CS Twitter, what's the goto text on implementing basic concurrency constructs using various primitives? (Specifically, the language I'm working with only has mutexes and conditional variables.)

Is there a way for me to tell Scheme to inline all non-recursive definitions in a source file?

I have since found System.Concurrency.Raw and Data.Ref so I'm gonna try and build something higher-level on top of this!🎉