Pop quiz: how much fuel does it take to get to Mars? | Hacker News Reader