Diviner: A New Attempt on Deterministic Testing | Hacker News Reader