/?hnlog awesome-safety-critical

From https://news.ycombinator.com/item?id=45562815 :

> awesome-safety-critical: https://awesome-safety-critical.readthedocs.io/en/latest/

From "Safe C++ proposal is not being continued" (2025) https://news.ycombinator.com/item?id=45237019 :

> Safe C++ draft: https://safecpp.org/draft.html

Also there are efforts to standardize safe Rust; rust-lang/fls, rustfoundation/safety-critical-rust-consortium

> How does what FLS enables compare to these [unfortunately discontinued] Safe C++ proposals?