Jason (jcreed) wrote,
Jason
jcreed

My advisor Frank Pfenning invited a bunch of his students, including me, over to his family's thanksgiving (early) dinner today. There was Deepak, Sungwoo, Jonathan, Sean, and also Frank's colleague Tobias Nipkow, Nancy, Nils, Andreas, and Andreas's girlfriend Mary. I ate some tasty food and delicious multi-berry homemade pie, played on their dusty and rarely used (but still in-tune) piano, and Nancy foisted a copy of Chris O'Reilly's Radiohead covers on me. It is awesome.
Tags: food, music, social, thanksgiving
Subscribe

  • (no subject)

    Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

  • (no subject)

    Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

  • (no subject)

    Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 12 comments

  • (no subject)

    Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

  • (no subject)

    Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

  • (no subject)

    Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram: