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
(admittedly I do not know by what type signature I could ever find this function, unless side-effects were encoded efficiently in the types. but it made me think about how much I love using Hoogle to find functions/operators when writing Haskell.)
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.
I do like where this is headed, but it seems like it still requires me to just kinda skim it for maximum helpfulness, right? what's magical to me about Hoogle is I get to skip that step. I create a specification and am told what already meets my needs.
Right, this interface still requires visual search. I find most documentation searches can't be easily expressed as a type-based query, but then again I don't use Haskell!
Nice! I always wished that Rustdoc exposed the types more. I think older versions of the doc generation used to do that, but I could be misrecalling (it was a long time ago). At the moment types are often hidden behind an extra mouse-click, which can be a pain. 
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
