Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • 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