Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • 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 

  • 0 comments