September 10th, 2003

beartato phd

(no subject)

Read a little last night, kaj poste discovered that (a) The Corsettis had a piano tucked away in a bedroom and (b) Fabiano plays bass guitar. So we had a bit of A major blues, which went well, and tried Paranoid Android, which... not so much, but it was still fun to try.

Ana's mother, still visiting, told me (at a length and with a dryness that I dare imagine might be unmatched in the non-English-born-grandmother portion of the world's population) about Herculaneum, another city frozen in time contemporaneously with Pompeii by the same volcano. I tried to seem as enthralled as I could manage, but her later comments revealed that she saw right through me.

Need to get around to finishing the Japanese homework for this week...

Carsten's and Dale Miller's (invited) talk are this morning; mine's tomorrow. Ege mi timadas pri la mia... :)

Hearing children here speaking Italian is absolutely precious. I begin to wish I could say more than grazie, scusi, and vogli [...] per favore. I went to a McDonald's across the street, and a little girl's voice cried out "scusi, e il mio" with the unmistakable Italian melody and syncopation when they put her ice cream on my tray.
beartato phd

(no subject)

Oh, wow, Michael Norrish, first Speaker of Agora Nomic (fway back in 1993) is at TPHOLs here. I heard his name when he gave his talk yesterday, and thought to myself that it sounded familiar, but... no, it couldn't be that guy, could it?. But it was.
beartato phd

(no subject)

Got way too much pizza for lunch, but it was tasty. My italian vocab has expanded to include il conto, thanks to the airport-bookstore crappy little italian phrasebook.

Talked to carsten about various technicalish things after the talks. Turns out Jeff Sarnat's working with him doing logical relations proofs for Sigma types. I may have to bug him about seeing that stuff; it sounds pretty cool, despite my being fairly successfully wooed over to the side of Kevin Watkins' nuthin'-but-canonical-forms syntax.