An interesting post linked on OS news
:JLOUIS Ramblings - Getting 2.5 Megalines of code to behave
I cannot help but speculate on how the software on the Curiosity rover has been constructed. We know that most of the code is written in C and that it comprises 2.5 Megalines of code, roughly. One may wonder why it is possible to write such a complex system and have it work. This is the Erlang programmers view.