TypeScript: Typechecker-Assisted Runtime Data Validation | Hacker News Reader