Watney
person · 2 episodes · JSON
- That Is Interesting, Isn't It? … there's that bit in The Martian (sorry, spoilers) where Watney happens upon a piece of old hardware on Mars and, of course, there's an exact duplicate …
- Robots; Other things … when, say, Watney turns something off and leaves), is actually code from NASA's PVSlib[1], which is their formal verification library (which is a *very* NASA thing …