Jason (jcreed) wrote,

Picked up a Ben Folds ticket this morning in the second-pass ticket handout. Got there about a half-hour early. The line got significantly longer afterwards. I've never been a big fan of this whole going-to-live-concerts thing, but, I mean... Ben Folds... I am a sucker for piano virtuosity, I suppose. Got the complexity theory midterm handed out. Looks challenging, but interesting and not insurmountable. Made some progress on it. Type systems mumbled more about recursive types. Thought more about researchy stuff. I think this whole eliminating-negative-! thing is on extremely shaky ground now. The proof-well-ordering idea just plain doesn't work. Maybe there's some other way around it, though. The basic intuition still seems to be plausible. D&D happened as usual, followed by JM.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded