In other news: summer school teaching is over. Posting this video at the end of a term has become a bit of a tradition. Now I just have the, well, not entirely small mountain of grading to due, and my own work completely unrelated to teaching.
I actually really enjoyed this session – good people doing good work. But tradition is tradition, and I’m not really one to break it.