Jason (jcreed) wrote,

Went to CostCo. Got various stuff. Mmm, $1.50 for a footlong Hebrew National all-beef frank and soda. Also random Chef Boyardee microwavable single-servings for the office.

Redid Tartan stuff from last night because Emma accidentally deleted it because I forgot to email her telling her I actually did it, so she thought the new layouts were just the old ones. Didn't take terribly long.

Went to Lea's place to watch some of the PBS Jazz documentary she got on DVD. Cool stuff. They really focus on race a lot, but I suppose it had a pretty profound effect on the music and its development.

The usual people minus kaustuv went to JM. cdinwood, even, though she said earlier she might not due to weekend trip to D.C. She loaned me "The Alchemist" by Paulo Coelho. Read a little bit of it before getting to sleep at 3:15ish.

  • (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