Jason (jcreed) wrote,

Got a bunch of thesis hacking done.

Dan Licata went through some more agda material continuing a similar talk he gave monday that I unfortunately missed. I think I still got most of it. Can't seem to successfully use Agda on Windows, though... the installer finished (after an hour!) but NTEmacs just hangs when I run it. I am sort of weary of these giant software systems that really don't feel like they should have to be so giant.

Saw "Cronocrimenes" ("Timecrimes") down at the Harris with a bunch of people. A well constructed low-budget time-travel thriller. Like a very, very dark version of Bill and Ted, or someone's idea of remaking Primer so that you actually understand what happened when you walk out of the theater. (8/10)
Tags: movies, 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