Jason (jcreed) wrote,

After tech support told me to run CHKDSK this morning, my laptop has been strangely behaving itself, even though there weren't any like bad sectors or nothin'.

Last night it was also notable that the weather was real nice and I went on a walk in Frick park with meshach, aleffert, roseandsigil, and went back to the Yurt o' Love and hung out for a while. I am still trying to remember what the circumstances were that I was in that house before, back when different people lived there.

Today I talked with demoness101 about her research; I think I nearly understand it now.

I need to somehow break this habit of almost never being the person that initiates casual social thingies — somehow with both old friends and new I keep thinking that people don't really want to hang out with me all that much, and it's dumb of me even from a selfish point of view, because at least I always wind up enjoying myself.
Tags: computers, social

  • (no subject)

    Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

  • (no subject)

    Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

  • (no subject)

    Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded