Nothing like a girl coming up to you at McDonald's and saying "Hi! I'm stalking you." to brighten up your day.
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!
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.