Bounding data races in space and time | Hacker News Reader