Combinatorics and intuitionism | Hacker News Reader