Ask HN: Feedback requested for an argument about P =/= NP · HackerTrans