? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Mar. 18th, 2009|09:59 pm]
[Tags|, ]

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)