Jason (jcreed) wrote,

Talked to wjl and various other people that came by the 8th-floor whiteboards today. It was a good time. Still need to get my shit together and try to figure out a good little story about proof irrelevance for the LF meeting tomorrow.

I started reading a little of Nicholson Baker's "The Everlasting Story of Nory". It is so far very much like eating tiny and improbably delicious candies whilst being given a terrific huge hug. Actually, if I try to use words to convey its squealing, delightful preciousness, I will only meet with blunt failure. It is a sort of paradox, being as it is a thing made out of words. I suggest you just read it instead anyhow.

I picked it up since I remembered reading Baker's "The Mezzanine" a long time ago, I think because denorae told me to. I can't remember much of what it was about, apart from a long meandering chain of footnotes and details, but I remember it being pretty good.
Tags: books, work

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

  • 1 comment