Got some discussion about the complexity theory homework done, though, and some progress on Type Theory.
cdinwood is reading the copy of The Eight I checked out from Hillman. I need to actually get around to reading that at some point. Finished "The search for the perfect language", though. Not really as exciting as I had hoped. Just kind of a laundry list of kooky projects over the centuries. Realizing the futility of trying to eternally categorize the universe of human experience into a finite number of fixed concepts is kind of dull for the seventeenth time. It is deciding to be cold out at night, finally. Went to JM with a slight variation on the usual crowd. Came back home immediately thereafter and wumped into bed.