Jason (jcreed) wrote,


...comes in the following shapes, tonight: listening to Zox's reggae-rhythmed cover Canon in D on electric violin, Bad Plus's "Flim", the Beatles' "I've Just Seen a Face", and playing E-D6add9-Aadd9-G6-E on the guitar over and over again until I can't feel the tips of my fingers.

Got some machine learning homework done, chatted with creidieki about grad classes and things, got a burrito I couldn't finish and handed the rest of it to a forbes ave panhandler, borrowed a copy of Math Made Hard.

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