Jason (jcreed) wrote,

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.

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    migraine or flu or something? Felt very headachey and basically napped the whole day way.

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded