Comments moved to https://news.ycombinator.com/item?id=25570207, which was posted earlier and points to the original source. Note also that the WaPo article, doesn't have an overstated, clickbait headline. The difference between these two titles is massive.
Submitters: the site guidelines ask "Please submit the original source. If a post reports on something found on another site, submit the latter."