Serious attempt to prove P!=NP | Hacker News Reader