Jason (jcreed) wrote,

Okay, it's about midnight and I think I have the revised slides done modulo drawing a diagram or two. They are significantly more example- and motivation-driven than before, and I feel good about that. I think I've got about an hour of useful work-time tonight before my brain becomes useless, and a couple hours in the morning if I get up early enough.

The fact that the weather is warm at night again affects my general mood terrifically well. Everything seems a million times more okay and relaxed and manageable when I don't feel that on-edge just-a-little-bit-too-cold feeling all the time.
Tags: work

  • (no subject)

    Snuck up to LICS to see what was going on in the world of logic a tiny bit. Listened to a talk about Buchi automata and the linear-time mu-calculus,…

  • (no subject)

    Went to this Center for Network Programming miniconference thing that was being held on the "Cornell Tech Campus", which temporarily = "3rd floor of…

  • (no subject)

    Had a nice dinner with some !!con folks. Really too bad I couldn't go to the actual conference, looks like it was a great time. Oh well - will try to…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded