Hacker News Reader

Also: Aerospace, I think.

Almost. Aerospace usually follows DO-178C, which has a many similarities with MISRA but is a separate standard.

RTCA/DO-178 is not a coding standard, but does mandate one be used, such as MISRA

Correct :-)