August 10th, 2003

beartato phd

(no subject)

Got some research work done. Even the statement of the correctness of the translation to LF-with-erased terms from regular LF is quite a headache. Since information, on the surface, is lost in both directions (annotations are lost into LF, and subterms are lost going out of it) I can't just merely erase things in one direction.

Took the key to CFA 160 that Victoria lent me and messed around on the piano in there. Really enjoyed playing Bird's "Blues for Alice". I thought I had lost the fake-book photocopy for it, (which I got from Vincent years and years ago) but it turned up when I was emptying out a box to put Norm's books in last thursday.
beartato phd

(no subject)

Doing laundry. Watching "Connections 3".

Earlier heard an old Cranberries song in boston market. Ah, Dolores O'Riordan's voice...

The house is empty and lonely. I suppose by this time next week it will be crazy, though.