Thanks for the quotes. Apparently I slightly misremembered the problem. From the second one, this is what I was thinking about: https://news.ycombinator.com/ite

Thanks for the quotes. Apparently I slightly misremembered the problem. From the second one, this is what I was thinking about: https://news.ycombinator.com/item?id=13926839 https://news.ycombinator.com/item?id=13926839