Jason (jcreed) wrote,
Jason
jcreed

-

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.
Subscribe

  • (no subject)

    Oh jeez Boulet, this is what you casually slap together for a 24-hour comic? Come on, now, you're just showing off. (But seriously it is so cute)

  • (no subject)

    I really liked this multiple choice test full of nonsense words that was solveable only on the basis of metagaming the questions. This is not…

  • (no subject)

    So Donald Barthelme apparently is back from the dead and writing craigslist missed connections: http://newyork.craigslist.org/brk/mis/3985247459.html

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments