October 11th, 2002

beartato phd

(no subject)

The ConCert reading group talk was kind of interesting. I got lost in the sheer volume of syntax. Something about tracking GC at a fine-grained level, but still with respect to a fairly abstract machine model.

Played some Set and Ricochet Robot later. I still manage to do okay at the latter, though I feel like I have to relearn everything every time I play.