Jason (jcreed) wrote,


Carsten Schuermann and Andrew McCreight were around
pgh today. Both of them showed up at Linear Logic
in fact.

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.

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded