> Aren't programs better suited to such tasks? You're absolutely right. "Wetware" is highly imperfect; widespread adoption of better tools is essential. > I'v

> Aren't programs better suited to such tasks? You're absolutely right. "Wetware" is highly imperfect; widespread adoption of better tools is essential. > I've read several users comment that an Ada implementation of TLS would avoid the same class of errors entirely. I don't know Ada, but at least according to Wiki it is much more suitable for this sort of programming [1] than using C. So why isn't Ada more popular? Perhaps its time has passed? I do see frequent mention here on HN of other, more recent languages with similar goals. [1] http://en.wikipedia.org/wiki/Ada_%28programming_language%29#Features http://en.wikipedia.org/wiki/Ada_%28programming_language%29#...