News for hackers. Stuff that matters.
Re:C++17 Is Here: Interview with Herb Sutter by pjmlp on Tuesday October 24, 2017 @01:30PM (#15543365)
Ada, SPARK, Pascal, code generation using formal model, in some soft-real time cases Java (RTSJ 2.0).

But it will be an up-hill battle if not working alone, unless one is working in high-integrity related industries.

There are no comments on this comment yet.