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