Bye bye #popl2024 #cpp #padl #pepm it was fun but I must return to my home planet.

Whilst I didn’t get to say hello to everyone, sorry internet compadres, I saw a fair few good talks and had some pleasant chats.

Quiet night after today, & after a nice Southern Indian Dosa. (An acquaintance suggested early dinner)

Was tempted to pop to the hotel bar, but quiet is good.

The hallway track at #popl2024 #cpp #padl #pepm can be quite claustrophobic in the Maxwell library. The upstairs ’riverside cafe’ has more space, & shorter lines.

Main take-away from #POPL #CPP #PADL #PEPM hallway tracks are:

> I know nothing.

Perhaps I am in the wrong hallways...there are so many here...