Hacker News new | ask | show | jobs
by kmill 974 days ago
You're not missing anything. I was going to mention this but decided not to get into it. (One detail: you can't verify the kernel exactly because of Gödel incompleteness issues.)