Update on Deolalikar’s Proof that P≠NP | Hacker News Reader