An exploit Stuxnet used wasn't completely patched until today | Hacker News Reader