May 5th, 2005

beartato phd

(no subject)

Music with heather: fun.
Thinking about normalization proofs in PTS: interesting.
Tea with martinivixen: pleasant.
Hot dogs at D's: good times.

Life is really treating me okay lately. I just, as always, need to up the real-work-for-other-people productivity levels at the expense of my-own-projects productivity.