{"id":4579,"slug":"watney","name":"Watney","type":"person","created_at":"2026-08-08T23:20:32.981492+00:00","hidden":0,"aliases":[],"episodes":[{"id":"71475c83-5cdd-4db7-812f-51d471fa26fe","slug":"s3e21-that-is-interesting-isnt-it","subject":"s3e21: That Is Interesting, Isn't It?","title":"That Is Interesting, Isn't It?","publish_date":"2016-06-03T00:00:00+00:00","year":2016,"month":6,"season":3,"episode":21,"episode_label":"s03e21","canonical_url":"https://newsletter.danhon.com/archive/s3e21-that-is-interesting-isnt-it/","is_premium":0,"word_count":1318,"context":" … there's that bit in The Martian (sorry, spoilers) where <mark>Watney</mark> happens upon a piece of old hardware on Mars and, of course, there's an exact duplicate … ","reading_minutes":7},{"id":"877ff717-59a5-4b26-a0bd-2e68a26facc8","slug":"s2e29-robots-other-things","subject":"s2e29: Robots; Other things","title":"Robots; Other things","publish_date":"2015-12-18T00:00:00+00:00","year":2015,"month":12,"season":2,"episode":29,"episode_label":"s02e29","canonical_url":"https://newsletter.danhon.com/archive/s2e29-robots-other-things/","is_premium":0,"word_count":1172,"context":" … when, say, <mark>Watney</mark> 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 … ","reading_minutes":6}]}