Jason (jcreed) wrote,
Jason
jcreed

Went to "PLClub" lunch, Penn's rough analogue of ConcertRG. It was great fun. Daniel Wagner talked about graph rewriting (which led straight to pushouts, woo category theory) and the π-calculus. To this day I still find the way ν works in π-calculus to be kind of gross and weird.
Tags: penn, plclub, talks
Subscribe

  • (no subject)

    Well I am certainly glad I saw Arrival so that I get the wug joke in http://languagelog.ldc.upenn.edu/nll/?p=29480#more-29480

  • (no subject)

    Saw "Arrival". It did have some nontrivial linguistics content, but it still felt kind of wrapped up in a discernible layer of Hollywood Woo. The…

  • (no subject)

    Had some dinner at Aliada with akiva and sasha and K, and afterwards saw Herzog's "Aguirre, the Wrath of God" in Socrates park. Enjoyably bleak.

  • 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 

  • 1 comment