Jason (jcreed) wrote,

Concert reading group on model-checking and the mu-calculus. Kevin Watkins mumbled insistently that there ought to be a proof theory. After looking at it, I'd be really surprised if it hasn't already been done.

Saw LOTR in McConomy with a bunch of people. I left a bit early and missed the crowd, and the rain, as it turned out. Found Pete "doing Safewalk" in the lounge next to the morewood DA office, for "slacking off because nobody was calling" values of "doing Safewalk". combinator and norm wandered over and we played spades until like 3am.

  • (no subject)

    noms is a project apparently influenced by camlistore and git. Has a bunch of juicy buzzwords attached to it (Content-addressable, monotonic,…

  • (no subject)

    Great list of computer books from days of yore, with pictures: http://tedfelix.com/books/ I remember "BASIC Fun: Computer Games, Puzzles, and…

  • (no subject)

    One of two large (~$X00) purchases arrived today: a new desktop, since my five-year-old one is starting to show signs of dying. I already pulled all…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded