Quite sopic.twitter.com/9S5zZAXbEo
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
I love those books!
Perhaps more relevant to you: https://mitpress.mit.edu/books/little-prover …
Oops, I see you already have it :)
if you didn't get it direct from Guy Steele, it doesn't count :)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.