November 4th, 2003

beartato phd

(no subject)

Research: Hackity hack hack. The spine soundness lemma is done, but the interface between soundness and the unification algorithm itself is still troubling. Have to specify that more thoroughly tomorrow.
NaNoWriMo: At 6840, just above target (1700x4) for today. Used up my lead by only writing like 1500 words. Not as much momentum any more. Things are definitely getting harder to push forward. Tomorrow, though, the religious character's turn comes up for a chapter. He's guaranteed fun.

Sally came back from new york today. We all (her, adam, tom, me) went to Kazansky's as per tradition. Have been feeling extraordinarily irritable ever since getting back home.