🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Typed into Google "Lisbon airport to cas" and it autocompleted "to Casablanca", and no, Google, other way around.

Post a picture of yourself and the character you are in your head

AHA!!!

Hey, PL folks! Are you coming to SPLASH Conference? Are you there on Monday? If so, you should come mentor at PLMW! There will be a mentoring session at 4:30pm on Monday, and if you want to come hang out with the PLMW mentees, you can sign up here: forms.gle/ZG8zkdqwDDcrg5…

Gotta be either when Judy Dench sat in front of me during Company 2019 and I was too polite to say anything until the guys next to us did during the traffic jam for the exit, or two weeks later when Patty LuPone looked me in the eyes for about a third of Ladies Who Lunch.

Shel Silverstein on ChatGPT.

Waiting for the last person on the text chain to graduate so we can finally do the scene from Spies Like Us.

Due to an advertising mishap I'm arriving at VL/HCC a day early and will be hanging out around DC on Monday. Anyone already there in time for lunch or an early dinner?

My PhD thesis is officially approved! To celebrate, here is the annotated version of its best parts, starting with what is unequivocally my greatest contribution to the genre:

(Which reminds me that after one talk, I said in response to a question that I can show a bit more of the technical details if people want, eliciting the response "Please no, I confess!")

Wait, coffee, lemonade AND seltzer?? Really?

Excuse me, sir, I'm here to see Mulder and Scully

Now that the POPL decisions are out I'm just going to save everyone time and dedicate this to myself spotify.link/g8g3UxgmBDb

Benjamin, describing Luca Cardelli's switch from PL to Computational biology: "He's putting the code in the bugs now, instead of the other way around"