Recording and replaying events in a type-checker | Hacker News Reader