Were the Egyptian Pyramids Not Built Up, but Carved Down? | Hacker News Reader