News for hackers. Stuff that matters.

A comment on Viability of Unpopular Programming Languages (2018). Parent comment

Re:Viability of Unpopular Programming Languages (2018) by pjmlp on Thursday April 02, 2020 @02:01AM (#22756604)
NVidia, it has decided to go with Ada/SPARK instead of Frama-C or Rust (the othe candidates) as official language for security critical firmware.

GenodeOS project, started to rewrite security critical modules from C++ into Ada/SPARK.

[ Parent | on HN ]

There are no comments on this comment yet.