2 ms·Psychec: ML-style type inference for C2 points by fanf2 10mo agognabgib 10mo agoPopular in 2019 (90 points, 70 comments) https://news.ycombinator.com/item?id=20917803 https://news.ycombinator.com/item?id=20917803