Almost recovering from being sick today. Hung out a bit with iole200 over lunch. Thought about a shallower encoding of wlovas's LFR stuff into LF+proof irrelevance. Chatted with the very sleepy trio of hvincent and and ian and trevor. Saw a preview of a movie "In the Shadow of the Moon", which was a pretty sweet documentary on the Apollo program. Very nice Sagan-esque sentiments at the end about the unity of, well, the universe, and the fragility of life on our precious little oasis in the blackness of space, and all that stuff.