May 7th, 2004

beartato phd

(no subject)

The theorem proving debriefing lunch was ordered-out mad mex. I had a tasty chicken burrito. Frank seemed to think that all of our projects seemed to contain enough novelty for publication if we really got to polishing them, which kind of surprised me: I knew the group doing bunched logic proving was going out on the frontier quite a bit, but I thought our project was just a matter of doing what had already been done a zillion times. Apparently inverse method with focusing isn't quite as old-hat as I thought.

Tried playing a bit of piano, but my sense of rhythm is really weak today. Read a few articles by Harmon Leon, they're pretty funny.
beartato phd

(no subject)

Got some food at sam's and putzed around the library for a few hours. Sadly I stayed until about ten minutes after closing, which meant that I couldn't actually check out anything. They let me put the two I had picked out on 24-hour reserve, though, so I can pick 'em up tomorrow.

...how I love the after-rain smell here in pittsburgh.