Ok, we'll merge the current thread into https://news.ycombinator.com/item?id=49357530 https://news.ycombinator.com/item?id=49357530, which is one hop closer to

Ok, we'll merge the current thread into https://news.ycombinator.com/item?id=49357530 https://news.ycombinator.com/item?id=49357530, which is one hop closer to the source. I'll put the link to the paper in the toptext there as well. Thanks!