Jason (jcreed) wrote,

Got some work done, discussed the linear-dependent stuff with Tom, went to Derek's talk. Derek's talk was moderately insane, although I think what he's proposing is not as insane as the way he presented it. The way he presented it involved reference cells, :=, and backpatching all at the type level. The collective eyebrows of the room shot up several times in synch during his talk.

Went climbing in the evening, but only went for like half an hour. They seriously need to change the courses soon. They've had them up mostly unchanged for like a month.
Tags: climbing, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment