I would desperately love to see an HN discussion of this, but despite multiple submissions, the only comment points at an article of the actual paper[0]. Has n

I would desperately love to see an HN discussion of this, but despite multiple submissions, the only comment points at an article of the actual paper[0]. Has no one read this paper? Does no one have anything to say? https://news.ycombinator.com/item?id=12143845 https://news.ycombinator.com/item?id=12143845 https://news.ycombinator.com/item?id=11853165 https://news.ycombinator.com/item?id=11853165 https://news.ycombinator.com/item?id=11822546 https://news.ycombinator.com/item?id=11822546 https://news.ycombinator.com/item?id=11808331 https://news.ycombinator.com/item?id=11808331 https://news.ycombinator.com/item?id=11805262 https://news.ycombinator.com/item?id=11805262 ======== [0] https://blog.acolyer.org/2016/05/31/how-to-build-static-checking-systems-using-orders-of-magnitude-less-code/ https://blog.acolyer.org/2016/05/31/how-to-build-static-chec...