Learning about Multiparty Session Types with some moral support.

@Mara what a tediously arrogant take from the authors. The rest of the paper is a little less aggravating but the passing jabs at Rust appear really ignorant.

@Mara This feature has been so helpful with compiler hacking in Rust!

So it turns out there’s an interactive process that _ends_ Dec 23 AoE — which is much more humane.

Show thread

Minor grumble about the ECOOP Artefact evaluation process this year: having the author response period start on 23rd at midnight AoE really interferes with Christmas.

I’m in! I can finally shitpost about Rust and Javascript! Thanks @hazel


A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.