Parsing JSON at gigabytes per second in Python | Hacker News Reader