Yes, the book is great. The movie had other good things, like PVS/Lisp code in a spaceship ;-) http://scifi.stackexchange.com/questions/115255/what-programmin

Yes, the book is great. The movie had other good things, like PVS/Lisp code in a spaceship ;-) http://scifi.stackexchange.com/questions/115255/what-programming-language-is-used-in-the-martian http://scifi.stackexchange.com/questions/115255/what-program... https://www.reddit.com/r/lisp/comments/3nnvnp/fluff_anyone_else_notice_lisp_in_some_of_the_code/ https://www.reddit.com/r/lisp/comments/3nnvnp/fluff_anyone_e... https://github.com/nasa/pvslib/blob/master/power/exponentiation_aux.prf https://github.com/nasa/pvslib/blob/master/power/exponentiat...