pgh today. Both of them showed up at Linear Logic
The lecture was pretty interesting --- linearity
can `explain' lazy call-by-value evaluation in a
very elegant way.
Saw "Harry Potter" in squill. Really not a great
movie in my opinion, but not as bad as Yishan made
it out to be, namely "worse than Tomb Raider".
Still on my list of things-to-do:
Finish documentation at work.
LinLog final project.
Grad school apps.
Continue research stuff.