The Intersection of Machine Learning, Types and Testing | Hacker News Reader