Jason (jcreed) wrote,

Had lunch with lincoln3 and susan buchman. Took a short break at the zebra lounge - didn't do so well with playing particular songs, but I was really getting into a free jazz sort of groove for a while. The Ludicrously Hot Couple That Makes Out Sometimes was there, doin' their thing. Went to advisor meeting, talked about theorem proving woes mostly. Kastuv was having some interesting issues with his thesis work, which now, having learned so much about the inverse method, I actually start to comprehend a little of. Went to the FMRP reading group: it was a talk about hybrid automata, these little things that look like ordinary finite-state automata except with diffeqs wedged into them. Kind of strange, but interesting. Went over to Tom7's office, did some debugging and coding on the theorem prover. Went to McDonald's/Qdoba for dinner with tom7 and lincoln3, ran into lauren ingram, an acquaintance from the morewood practice rooms, like, two years ago. Home now, surprised it is so late. Not sure where how last two hours went so fast.

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