[Steely Tom]

Ada?

Ada was an idea who's time was over before its specifications were finalized.

[GeronL]

There are apparently several hobby Operating systems out there

[OneWingedShark]

Ada?
Ada was an idea who's time was over before its specifications were finalized.

Really? An emphasis on maintainability, correctness, and programming as a human action are an outdated idea?
And here I thought it had a good reputation in areospace (eg Boeing's 777, the F-22, the Apache helicopter) and things like rail-transportation and nuclear reactors and security applications (e.g. Tokeneer) precisely because of these qualities.

[beef]

“Ada was an idea who’s time was over before its specifications were finalized.”

And whose time will arrive again when enough people get killed by software written under the “programming by caffeinated hubris” model.