The Indoor Mile World Record Stood for Years. Then It Fell Twice in Five Days | Hacker News Reader