Maybe secure software IS possible?
The recent incredibly-triumphant landing of the Curiosity rover on Mars was impressive in lots of ways.
The Sky Crane?
How can anything short of time travel top that?
But the Curiosity rover is also incredible because software was a big part of it. And because it worked perfectly, I was left wondering if reliable and secure software might actually be possible after all.
But then I realized that commercial software has annoying constraints that NASA's software doesn't have: it has to be cheap enough to justify its use, it has to be easy to use and support, etc. But for a while there I actually thought that a different, better world was actually possible.