this post was submitted on 07 Sep 2021
1 points (100.0% liked)

Ada

107 readers
1 users here now

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

founded 4 years ago
MODERATORS
[email protected]
1
When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead! (blog.adacore.com)
submitted 3 years ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Formal proof triumphs. Read the full story

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here