This is a dupe of <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9216894" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9216894</a>.<p>Also <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3643749" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3643749</a>, a few years earlier.