Simon Cooksey @graymalkin@types.pl

@Proof_by This view of the Arm/POWER` memory model?

From https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf

I'm debugging panic handling in an implementation of Rust.

Panicked while panicking.

🤦‍♂️​

I've just started moving into my own office, which means finding all the textbooks I've stashed in cupboards and boxes to put on the shelves! 🥰​

Enjoying my first days off in a couple of weeks thanks to a couple of sequential deadline crunches.

The relief is real. I had a nice walk yesterday afternoon around the parks in Canterbury -- even in the inclement weather. I’m gonna do some gardening this weekend 🥰

My mistake.

✨Rubbish✨ collection techniques

@stephenrkell it’s mentally exhausting. I’m juggling finalising a paper resubmission, starting a new collaboration, exploring a new paper with an existing collaborator, helping with a large grant application, trying to sort out a talk, co-organising a workshop, and will soon need to start my new investigator award too. If I had teaching to boot I think I’d buckle under the pressure!

Beginning to feel overwhelmed by my workload. I have a research only role, so I cannot fathom how people manage to do this job _and_ teach as a lecturer.

@vollmerm there's not even a sensible way to make `[fragile]` the default either 😢.

And if it weren't for minted being great, I'd use Powerpoint just to avoid the horrible interface that LaTeX presents for slides.

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.

@m4rk1x hello!

Blep.

@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.

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