The Return of Rigorous Full-System Timing Simulation / hacker news