A theory that Mars lost its magnetic field and then its oceans (2022) | Hacker News Reader