Amazing to think I’ve spent three quarters of my life on Twitter! #MyTwitterAnniversary

In case anybody else is interested in cycling from King’s Cross to the South Kensington campus of Imperial College London: johnwickerson.wordpress.com/2024/05/11/cyc…

In case anybody else is interested in cycling from King’s Cross to the South Kensington campus if Imperial College London: johnwickerson.wordpress.com/2024/05/11/cyc…

Fermat's Last Theorem is go!

leanprover-community.github.io/blog/posts/FLT…

Excited that Jack's work received a Best Paper Award at EuroSys 2024! Thanks to the committee for appreciating the work. dl.acm.org/doi/pdf/10.114…

After an exciting ICSE, I'm now looking forward to attending #EuroSys24 next week! Jack Clark will present his work on 'Validating Database System Isolation Level Implementations with Version Certificate Recovery.' Work with Alastair Donaldson and John Wickerson. dl.acm.org/doi/10.1145/36…

Huge congrats to Yann Herklotz (Yann Herklotz) for successfully defending his PhD thesis today, all about his proven-in-Coq high-level synthesis tool. And enormous thanks to George Constantinides (@gconstantinides) and Xavier Leroy for their thoughtful and thorough examining.

Which compiler optimisation is this one again?

This is a really well written academia.stackexchange response from Neel Krishnaswami (not on twitter?) for anyone who feels lost and overwhelmed during a PhD, i.e., anyone doing a PhD.
academia.stackexchange.com/a/209279

“Hello, I’d like to return this bicycle please. The axles aren’t in the centre of the wheels.”

Oh he does, does he?

Well this is a test-of-time paper right here. Wow.

The talks from the #POPL2024 workshop on the 'Future of Weak Memory' are now available as a YouTube playlist! youtube.com/playlist?list=…

I’m delighted that Yann Herklotz’s work to add hyperblock scheduling to his verified HLS tool will be presented at #PLDI2024 . Here’s a short preview of the paper… johnwickerson.wordpress.com/2024/03/01/ver…

“23-19! We have a 23-19 over here!”

GitHub advice from my local leisure centre

Sulphur hexafluoride is not to be smoked in this taxi.

['Girls in white dresses with blue satin sashes';
'Snowflakes that stay on my nose and eyelashes';
'Silver white winters that melt into springs']
-- These are a few of my favourite strings.