Re:Ask HN: What are some good resources to learn safety-crit...
by mamcx on Friday August 05, 2022 @09:13PM
(#32363837)
Seconded: Is insane that somebody "make safe program" but not USE a safe program for it.
You can justify it by difficult of bootstrapping or a lot of legacy code that is already vetted so you can reuse. But in 2022, your options are very good in this area.
You can justify it by difficult of bootstrapping or a lot of legacy code that is already vetted so you can reuse. But in 2022, your options are very good in this area.