November 27th, 2009

beartato phd

(no subject)

Yesterday had thanksgiving dinner at Ross's place (delicious) and watched "The Last Unicorn" (inexplicably bizarre). Had a dream about a dude making Rubik's Cube Art.

I think I worked how how to translate the more general Pfenning-Davies multimodal logic setup down into linear logic token-passing, but it's weirding me out how hard it seems to get the lax and possibility modalities to work right in the same translation.
beartato phd

(no subject)

Walked by the Slanty Shanty (a small apartment/retail building on the western border of current CMU campus, which CMU bought up to build more stuff on its land, from what I understand) just as it was being demolished. I would have stuck around longer, because (no offense to those who might have sentimental attachments to it as a house) watching shit get knocked down is kind of cool, but it was kicking up clouds of foul-smelling dust and I was downwind.