Tartan. Elurggh. Brain. Filled. With stuff. Cold. Sniffling. Slow to think. Guh.
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.
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.