Jason (jcreed) wrote,
Jason
jcreed

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

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/

  • 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