Is Elon Musk investing in hole digging to create a magnetic field on Mars? | Hacker News Reader