Type systems, data analysis and uncertainty | Hacker News Reader