A new formal attempt at P ≠ NP avoiding known barriers | Hacker News Reader