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.

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded