Comments moved to https://news.ycombinator.com/item?id=47139716 https://news.ycombinator.com/item?id=47139716, which was posted by one of the authors. I hope th

Comments moved to https://news.ycombinator.com/item?id=47139716 https://news.ycombinator.com/item?id=47139716, which was posted by one of the authors. I hope that's ok!