What would The Martian have been like with open source? Smarter and more efficient (and much less dramatic).