See also <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10578467" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10578467</a> and <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10578567" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10578567</a>.