Details about the “Lazy FPU” vulnerability | Hacker News Reader