wen @cyrridven@computerfairi.es

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

RT @debcha@twitter.com

On this day in 1989, a gunman walked into an engineering school in Montreal and began to systematically shoot the female students. Fourteen women died.

I was a junior at the University of Toronto at the time.

I wrote about it on its 25th anniversary. https://tinyletter.com/metafoundry/letters/metafoundry-17-twenty-five-years-later

🐦🔗: https://twitter.com/debcha/status/1335689516393361409

okay and to watch this very gay romance play out

Listen, Hyrule Battle isn’t my game, but it taught me one thing: all I want is a main series Zelda game where you play exclusively as Impa