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.