Dreaming of a Data-Checked Language | Hacker News Reader