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.
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
- 0 comments
- Post a new comment
- 0 comments