Saw "Robots" with madmadammim. Fucking awesome movie! Go see it right now. It and "The Incredibles" both stand out in recent memory as really clever and imaginative, not to mention technically amazing pieces of animation.
A neat paper related to the issue of formalizing "rigidity" in such puzzle games as escape: http://www.phil.uu.nl/~oostrom/cki20/02-03/japansepuzzles/ASP.pdf
Interesting article about Gödel I haven't finished reading:
Had some quality time with the drill deck piano again this evening. Something satisfying about a Bm7-A-G-D progression. I thought I had stumbled on the chords to "The Weight", but now that I look it up I realize I'm wrong. It'd have to be like D-F#m-G-D in D. Anyway, can't beat that IV-I resolution. Mmm.