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
IMO there's a ton of low hanging fruit in UI design for auto-generated docs. Here's a mockup I did for Rustdoc to address this exact issue:pic.twitter.com/SNuUbQ5rmw
(also gave a general framework for generating these designs in https://arxiv.org/abs/2011.05600 )
Also GPT-3 powered doc search is *the* most obvious application of the technology. I would use that way more than Copilot.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
