16:05 I love the surprising connections; The Curry-Howard isomorphisms, Koszul duality for operads, et.c. #favoritetheorem # 16:23 Arrived in Ypsilanti, MI. Missing the bustling large city feel already. # 16:34 Actually... more surp.conn.: inclusion-exclusion is really about Euler characteristics; Euler characteristics invariant. #favoritetheorem # 18:35 @k8nowak Can you do something with World of ...