Should I choose Ada, SPARK, or Rust over C/C++? (2024) (blog.adacore.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.adacore.com: Should I choose Ada, SPARK, or Rust over C/C++? (2024)

First screen, captured 1 year ago.

Looks similar

Screenshot of blog.adacore.com: Ada crate of the year 2024 announced

Ada crate of the year 2024 announced (blog.adacore.com)

87 points by LionelDraghi 1 year ago | 59 comments

Screenshot of blog.adacore.com: Introduction to Ada: a project-based exploration with rosettas

Introduction to Ada: a project-based exploration with rosettas (blog.adacore.com)

184 points by jaypatelani 1 year ago | 46 comments

Screenshot of blog.adacore.com: Nvidia Security Team: “What if we just stopped using C?” (2022)

Nvidia Security Team: “What if we just stopped using C?” (2022)(blog.adacore.com)

272 points by transpute 1 year ago | 153 comments

Screenshot of adacore.com: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)

102 points by gneuromante 1 year ago | 60 comments

Screenshot of cs-syd.eu: Ad-hoc polymorphism erodes type-safety

Ad-hoc polymorphism erodes type-safety (cs-syd.eu)

39 points by diarrhea 3 years ago | 28 comments

Screenshot of kobzol.github.io: How memory safety CVEs differ between Rust and C/C++

How memory safety CVEs differ between Rust and C/C++(kobzol.github.io)

120 points by nicoburns 4 months ago | 119 comments