Profile-guided optimization for the kernel (2020) | Hacker News Reader