I’m about to be deactivated, so I’ve moved my Ph.D. related content over to grumet.net and set up permanent redirects from mit.edu. If want to read about what I was doing ten years ago, check it out here.