Jason (jcreed) wrote,

I am still for some reason habitually staying up rather late the last few days. It is actually about 2am right now, even though I have backdated the entry to midnite yesterday to maintain 1-per-day post density. This habit is not helping my cold recovery. I think it probably has something to do with eating late-night half-price food. A nice solid meal and a bit of caffeine so late in the evening interfering with my sleep schedule? Not too surprising. (I hate to give that shit up, though, for it is pretty fun to hang out with people.)

Nor is research productivity going particularly well lately, sad to say. Not sure if I have anything but myself to blame on that count. As optimistic notes, I do have basically a paper that I want to write about unification and another one about type inference of which I have a sensible outline at least. If not "merely filling in the blanks", then at least I can describe what I need to do with them as "staring rather hard at the blanks and seeing if I can't be clever enough to put something appropriate in them".
Tags: sleep, work

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded