points by weitendorf 4 days ago | 0 comments
I think you're thinking of https://en.wikipedia.org/wiki/High_Integrity_C%2B%2B
I wrote a comment explaining what in my mind distinguishes "high reliability" (defensive programming and making invariants/error cases/intended use explicit) C++ from regular C++. IMO it basically boils down to contemporary "Google/fintech style C++", which is a different development culture and ecosystem from defense/automotive
[–] fpoling 4 days ago