August 5th, 2003

beartato phd

(no subject)

Ran into frank while sitting in the grad CS lounge hacking on research. Chatted a bit, got a couple of good paper-pointers out of him, one a very recent paper on the subject of higher-order matching, which I seem to find myself obsessed with lately, and the other, in effect, a rebuttal to the logical conclusion of Andrew Appel's dismissal of the LFi-style redundancy elimination programme. My level of care is abruptly higher since I started working this afternoon. Quite refreshing. The mathy bits of my brain seem to be working much better now. Thanks, Hartley Rogers!
beartato phd

(no subject)

Reading this paper, trying to grok it. It depends critically on a lemma proved in a 1960 paper by Vaught, which is hard to read because of 40-year-old old-skool notation. That paper in turn relies decisively on another lemma, proved in a 1953 paper by Trahténbrot, which is hard to read because it's in freaking russian. Also, because the library doesn't even carry Doklady Akadémii Nauk SSSR.