Friday 6th May 2022, 1.25pm (day 3,907)

Treated myself, and my PhD student Steve (well, we split the bill) to a rarity for me, a working lunch, courtesy of the huge Tai Wu restaurant that sits just next door to the campus. And the dim sum were very fine. I’m still glad it’s Friday, though.