wen @cyrridven@computerfairi.es

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.

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

Heya @edwinbrady@twitter.com! If I wanted thread spawning and read-once, write-once memory cells in Idris2, where am I on a scale of "it's already there" to "lol nope"?

if you're wondering, this is my coping mechanism for having my umpteenth paper rejected with "this is a really well-written paper but I now think the result is trivial"

anyway can we have a workshop where you can only submit tutorials for other people's work and it's reviewed exclusively by non-experts?

hey i think that science communication and teaching resources should probably be considered academic outputs