Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
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
True but that was a bit ago — classic TOCTTOU joke vuln
Also, I recently ran a small study on doc use in Rust. The scariest thing is when Google links to old versions of a doc, but the person doesn’t recognize it. Hard to GC a search engine...
I've started putting big "this is outdated, here's a link to the current stuff" banners at the top of old docs because, indeed, search engines keep sending people there.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
