A Fascinating Post on Curiousity's Software

I found this blog post on Curiosity's hardware and software to be a fascinating read. The Curiosity rover has 2.5 million lines of C code running on custom radiation and extreme temperature hardened computer systems. The author presents his view as an Erlang programmer of how the systems are designed to be as fault-proof as possible.