Jason (jcreed) wrote,

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.
Tags: food, social, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment