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