Jason (jcreed) wrote,

No full meeting with Frank today because he is suddenly busy. Updated him on my crazy attempts to prove decidability of VCS reachability. Type systems went okay. A JM trip happened despite the lack of D&D this week. Many bad jokes were made by all.

  • (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


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded