John Wickerson
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Tfw you forget whether you're playing Tetris or Wordle...
March 24, 2025 at 8:50 AM
Tfw you forget whether you're playing Tetris or Wordle...
Three parking signs in close proximity in Cambridge.
Pic 1: clearly non-electric vehicles are not allowed.
Pic 2: clearly non-electric vehicles are allowed.
Pic 3: ???
Pic 1: clearly non-electric vehicles are not allowed.
Pic 2: clearly non-electric vehicles are allowed.
Pic 3: ???
December 20, 2024 at 9:40 AM
Three parking signs in close proximity in Cambridge.
Pic 1: clearly non-electric vehicles are not allowed.
Pic 2: clearly non-electric vehicles are allowed.
Pic 3: ???
Pic 1: clearly non-electric vehicles are not allowed.
Pic 2: clearly non-electric vehicles are allowed.
Pic 3: ???
Big thanks to Prof Danilo Mandic for an inspiring “Meet the Profs” seminar today. He explained how he has applied his expertise in signal processing to such varied domains as financial trading, heart monitoring, and sleep apnoea.
November 18, 2024 at 2:36 PM
Big thanks to Prof Danilo Mandic for an inspiring “Meet the Profs” seminar today. He explained how he has applied his expertise in signal processing to such varied domains as financial trading, heart monitoring, and sleep apnoea.
Beautiful talk by Justin Hsu, visiting from Cornell, on how to deploy a linear type system to keep track of the rounding errors introduced by floating-point arithmetic!
November 11, 2024 at 1:58 PM
Beautiful talk by Justin Hsu, visiting from Cornell, on how to deploy a linear type system to keep track of the rounding errors introduced by floating-point arithmetic!
Big thank you to Eleonora Giunchiglia @e_giunchiglia for a fascinating “Meet the Profs” talk at @imperialeee about her research into compliant-by-construction ML models!
November 16, 2024 at 8:54 AM
Big thank you to Eleonora Giunchiglia @e_giunchiglia for a fascinating “Meet the Profs” talk at @imperialeee about her research into compliant-by-construction ML models!
A good day for folks who like runs of numbers!
November 16, 2024 at 8:54 AM
A good day for folks who like runs of numbers!
Delighted to have our first “Meet the Profs” seminar of the term, featuring Ayush Bhandari (@AB2World) who showed us how to extract a useful signal just from the noise of quantisation! Simultaneously mind-blowing and beautifully explained. @imperialeee
November 16, 2024 at 9:02 AM
Delighted to have our first “Meet the Profs” seminar of the term, featuring Ayush Bhandari (@AB2World) who showed us how to extract a useful signal just from the noise of quantisation! Simultaneously mind-blowing and beautifully explained. @imperialeee
Did I just wake up after a 400-year nap?
November 16, 2024 at 9:02 AM
Did I just wake up after a 400-year nap?
Huge congrats to Yann Herklotz (@ymherklotz) 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.
November 16, 2024 at 9:57 AM
Huge congrats to Yann Herklotz (@ymherklotz) 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?
November 16, 2024 at 9:57 AM
Which compiler optimisation is this one again?
“Hello, I’d like to return this bicycle please. The axles aren’t in the centre of the wheels.”
November 16, 2024 at 10:06 AM
“Hello, I’d like to return this bicycle please. The axles aren’t in the centre of the wheels.”
“23-19! We have a 23-19 over here!”
November 16, 2024 at 10:14 AM
“23-19! We have a 23-19 over here!”
GitHub advice from my local leisure centre
November 16, 2024 at 10:22 AM
GitHub advice from my local leisure centre
Sulphur hexafluoride is not to be smoked in this taxi.
November 16, 2024 at 10:30 AM
Sulphur hexafluoride is not to be smoked in this taxi.
… I’m still getting notifications in the form of badges on the Teams app icon, which presumably indicate messages colleagues have sent me while I’m away.
November 16, 2024 at 11:33 AM
… I’m still getting notifications in the form of badges on the Teams app icon, which presumably indicate messages colleagues have sent me while I’m away.
Found a mild security bug in MS Teams today: having signed out of my account several days ago (screenshot shows the sign-in screen that I’m currently presented with)…
November 16, 2024 at 11:26 AM
Found a mild security bug in MS Teams today: having signed out of my account several days ago (screenshot shows the sign-in screen that I’m currently presented with)…
What’s the most interesting song that can be played in just one octave of white notes, like you get on one of these kiddie keyboards?
November 16, 2024 at 11:41 AM
What’s the most interesting song that can be played in just one octave of white notes, like you get on one of these kiddie keyboards?
If Georg Cantor made lifts…
November 16, 2024 at 11:49 AM
If Georg Cantor made lifts…
Delighted to welcome @irisa_lab’s Steven Derrien to @imperialcas today to tell us about how he implements speculative, dynamic loop pipelining as a source-to-source transformation in high-level synthesis.
November 16, 2024 at 11:57 AM
Delighted to welcome @irisa_lab’s Steven Derrien to @imperialcas today to tell us about how he implements speculative, dynamic loop pipelining as a source-to-source transformation in high-level synthesis.
It was great to have Andrés Goens and Vijay Nagarajan visit from @EdinburghUni on Friday, to tell us about their fascinating #PLDI2023 work to build memory models for heterogenous systems out of the memory models of their component processors.
November 16, 2024 at 11:57 AM
It was great to have Andrés Goens and Vijay Nagarajan visit from @EdinburghUni on Friday, to tell us about their fascinating #PLDI2023 work to build memory models for heterogenous systems out of the memory models of their component processors.
@VisitPeterboro @PeterboroughCC We had a lovely time in your city yesterday but got quite confused by one of the signposts near the railway station pointing the wrong way to the cathedral. In the attached pic from Google Streetview it’s correct. Suggest you go check it.
November 16, 2024 at 12:14 PM
@VisitPeterboro @PeterboroughCC We had a lovely time in your city yesterday but got quite confused by one of the signposts near the railway station pointing the wrong way to the cathedral. In the attached pic from Google Streetview it’s correct. Suggest you go check it.
Where I've seen them on UK trains, the operation sequence tends to be:
(1) enter the toilet,
(2) press the "close" button,
and then, once the door is closed,
(3) press the "lock" button.
(1) enter the toilet,
(2) press the "close" button,
and then, once the door is closed,
(3) press the "lock" button.
November 16, 2024 at 12:32 PM
Where I've seen them on UK trains, the operation sequence tends to be:
(1) enter the toilet,
(2) press the "close" button,
and then, once the door is closed,
(3) press the "lock" button.
(1) enter the toilet,
(2) press the "close" button,
and then, once the door is closed,
(3) press the "lock" button.
Many thanks to @SandrineBlazy for delivering an excellent guest lecture at @imperialeee today for the Hardware and Software Verification module, all about the industrial adoption of the CompCert verified C compiler
November 16, 2024 at 1:04 PM
Many thanks to @SandrineBlazy for delivering an excellent guest lecture at @imperialeee today for the Hardware and Software Verification module, all about the industrial adoption of the CompCert verified C compiler