> half trillion lines of types totaling 177 terabytes ran through the type checker around the clock for 12 days to get the first frame
[0] https://news.ycombinator.com/item?id=43184291