Hacker News Reader

Totally. For defense, I think a large third party ecosystem is pointless unless every square inch of it has been verified for compliance.

Do people think part of missile software includes “npm install wordpad”?

No, but I would expect it to contain "npm install launchpad" :-p

But it is a concern for bringing Ada into more domains, which seemed like the point of the article.

EDIT: on a second read, it's not clear whether the article is saying we should use Ada the next time we are building a rocket, or the next time we are building an OS.

There was a post here recently about an attempt to bring those concerns to Rust: https://ferrous-systems.com/blog/sealed-rust-the-pitch/#