Humans are not constraint solvers | Hacker News Reader