2 ms·Ah, right: https://news.ycombinator.com/item?id=8018276 https://news.ycombinator.com/item?id=8018276by Diederich 10y agoAh, right: https://news.ycombinator.com/item?id=8018276 https://news.ycombinator.com/item?id=8018276