How many people did it take to build the Great Pyramid? | Hacker News Reader