June 18th, 2004

beartato phd

(no subject)

A very pleasant D's dogz outing tonight, although adam was mysteriously missing from it.

Earlier tom7 gave a talk about the ConCert architechture ~ I'm not sure a lot of the content was strictly new to me, but it was such a lucid reminder of how everything worked that I felt jolted into thinking, hell, I should really port this typechecker to Grid/ML once I finish it, it probably won't be too hard at all to take advantage of grid parallelism.
beartato phd

(no subject)

I got quite a bit of work done today, fixing several bugs in the typechecker. I need to really walk through all the code again and make sure I'm not making false assumptions - the gap between the system on paper and the system in code has grown rather sizeable. As confusing as deBruijn indices and explicit substitutions are, I'm kind of fond of their arcane mechanicalness.

Went to lunch with teki and lars_chan, since the former is actually in town. Veracruz's burritos are really quite tasty with the sketchy-looking Heinz Taco Sauce they have available there. I wouldn't necessarily trust Heinz to make taco sauce, but, hey, it's pittsburgh.