Re: OT: The Computer Errors From Outer Space
On 02/09/2025 20:00, Jeffrey Walton wrote:
I recall the topic of radiation >Page 16 of this presentation lists some radiation-hardened processors used
by NASA: <https://nepp.nasa.gov/mafa/talks/MAFA07_17_Keys.pdf>. According
to the slide deck, rad-hardened processors lag commercial processors by
about 10 years.
Jeff
People think Ada SPARK is only for critical systems like Space and Aerospace
and military projects. In fact it really isn't and was made as a common
language for large and real-time systems. It's easier to use and better
than Rust in pretty much every way. It would be great if a Linux kernel or
Debian tooling benefited from it's maintainability one day and unfortunate
that it seems it wasn't evaluated by anyone outside of these areas except
Nvidia before creating/using Rust.
"https://learn.adacore.com";
--
Regards, Kc
Reply to: