Jason (jcreed) wrote,

Had some dinner, feeling a bit low again, but I see another angle on this stubborn, stubborn soundness proof. I am actually quite amused at how much this work has felt like programming, in that I am spending much of my time thinking about how to make good modules and good module boundaries, wondering what to abstract away, and what to expose.

I need to kick this habit of thinking that when people don't respond immediately to email, it means I have inscrutably and mysteriously done something to horribly offend them and they hate me forever and ever, and never wish to speak to me ever again &c. Unless this is actually the case. Doesn't seem too likely, but I like to cover all the bases.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded