Kernel that is mathematically proved secure | Hacker News Reader