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.

  • (no subject)

    Had a disappointing time at climbing (although I nearly got a new V2), but a rousing good time at D's. The draft root beer may be a bit overpriced,…

  • (no subject)

    Had a decent if not spectacular time climbing. New successes were a V0+ and V1 inside the side cave. The V0+ in particular was something I'd been…

  • (no subject)

    Got some work done in the morning. Later went climbing with a ton of people. That V2 jump-start is still awfully fun. I'm getting more consistent at…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded