Jason (jcreed) wrote,

Lately I've been working seriously again on trying to finish up the Old Old Research Project (formulating an LF variant that takes advantage of bidirectional typechecking to eliminate many redundant arguments) and I'm starting to remember why my motivation to work on it slacked off so much over the months: it is a fucking tangled mess of hard proofs. Oh well, gotta keep attacking it; ain't gonna get done any other way.

Got to see pete briefly before he left again for Madison. I'll probably get to hang out with him some over Christmas break. Hung out with neal, tom, mike, and (I think?) lauren at PDC for unorthodox-day Nachos. Watched episode 15 of Alias, which delightfully fucked with my head as usual.
Tags: social, television, work

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • (no subject)

    Sean's in town at work, good times.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded