Jason (jcreed) wrote,
Jason
jcreed

Had an advisor meeting. Some troubling setbacks regarding what I thought would work for both unification and type inference. Grr. Had a meeting with Bob just before that that was kind of interesting, though; discussed some ideas about connecting substructural thinking to machinery for fresh names and such.

We played our little show at the closing happy hour thing for Science 2007. Quite fun! Got it all recorded, so it should be up somewhere in the next few days or so.
Tags: music, work
Subscribe

  • (no subject)

    migraine or flu or something? Felt very headachey and basically napped the whole day way.

  • (no subject)

    Woke up early feeling more or less great, went to work, got about a half an hour in and acquired a massive migrainey headache, went back home and was…

  • (no subject)

    Still feeling sick somehow, napped most of the evening away.

  • 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