Proof P!=NP (as one-way functions exist)? | Hacker News Reader