March 31st, 2011

beartato phd

(no subject)

Much work; had a nice conversation with gwillen while walking to thursdee's. Had thursdee's at Harris, heard about homotopy type theory from licata, saw tom7 briefly but sadly didn't get to interact with him much. Hung out at thingplacehouse for a little while following that, chatted with wjl during a walk back in the direction of oakland; he generously gave me a surprise ride home from his house, as I had kind of thought for no apparent reason that his car had disappeared or broke down or something.