We can solve 3-SAT "quickly" via superposed booleans on interaction nets | Hacker News Reader