Most of Mars' air was 'lost to space' | Hacker News Reader