Also active on Twitter, often with the category theory gang