Modeling what makes paper-folding puzzles hard | Dark Hacker News