Gregory Chaitinpic.twitter.com/KGmTKh9UcM
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
That's so nice. Read the story at the beginning of https://arxiv.org/pdf/chao-dyn/9406002.pdf … about how Chaitin almost got to meet Gödel, if you haven't already. I'm glad you got to meet Chaitin!
Nice story, Zooko!
This sounds like a story the Dos Equis guy would recall
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.