May 13th, 2004

beartato phd

(no subject)

Fiddled with the theorem prover some more, rewrote the contraction code so it actually works.

Went too dee's for hot dogs as per weekly custom. I thought I was starving - I hadn't really eaten dinner - but I couldn't quite get through two hot dogs. I guess they're more filling than I suspect.

I think right now both tom and adam are out with their respective people-they-would-be-out-with. It's nice and peaceful around the house anyway, if a bit lonely.