Jason (jcreed) wrote,
Jason
jcreed

Magnetic Putty Action Video!. (stolen from some discussion on susancalvin's journal)

Went to Aleks's thesis oral, and Andy Pitt's talk on "fresh names". Had an advisor meeting in the middle of the two, wherein Frank told me about some crazy idea having to do with sticking equational assumptions in an LF context in some way that somehow wasn't supposed to lead to undecidability.
Subscribe

  • (no subject)

    Apartment move finally completely done! Lugged air conditioner from old apartment to new, delivered bookshelf I didn't want to akiva, downstairs…

  • (no subject)

    Had a good bunch of discussions with Sean and Alyssa at work. Supposed to be stupid hot this weekend when we were planning to do the final cleanup of…

  • (no subject)

    Put kitchen table together, got K's desk set up in a useful place for her. Had dinner at a Thai place past the train a ways.

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments