Ask HN: International Standard for Programming in Safety-Critical Environments? | Hacker News Reader