It's that time of the month again! Classes end on Friday, but my crunch is for tomorrow -- I'm up all night grading 150 assignments for 15-212 (totalling about 1000 pages!) and preparing a talk for the last day of a seminar class. It's no fun, but unlike previous semesters I really am done after this evening. No other projects or deadlines are hanging over my head except for my regular research, and that's actually fun.
Today I saw Dana Scott's last ever lecture at CMU. Crazy! He is retiring next year and "Applied Logic" was his last class.
(Constructive Logic Joke follows.) Remember: There are three kinds of people in this world: Those who believe in excluded middle, those who don't believe in excluded middle, and those who don't not believe in excluded middle.
I was just in Connecticut for thanksgiving. I brought back to Pittsburgh a load of Genesis games. Heather the biologist tells me that there's a protein called Sonic Hedgehog named after our favorite blue critter.