August 6, 2022 Alina Ask HN: What are some good resources to learn safety-critical C/C++ coding from?