Jason (jcreed) wrote,

My sisters came into town last night. Thankfully due to priority (i.e. I got here first) I seem to actually have a real bed to sleep on this xmas instead of a cot, and my sisters are packed into the same bed.

Kathy made some cranberry bread last night. Quite tasty.

Dreams included some guy tring to convince me that Hebrew couldn't possibly work in Unicode by some pigeonhole-principle argument, ELNA calling me about a book order (I had to duck aside for it to be quiet enough to hear them -- I remember saying "pardonu, mi ne povis auxdi vin") and one where I was being chased by a bee. Remember, kids, if you ever see a swarm of bees in dreamland, there's always one that has your name on it.

I think the other reason I keep making typos on this keyboard is that it requires a lot of force relative to my laptop's. But there is still the issue of QWERTY.

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