Type Checked Pseudocode | Hacker News Reader