YHacker Newsscreenshots

blog.adacore.com on Hacker News

6 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of blog.adacore.com: Open-Source Ada: From Gateware to Application

Open-Source Ada: From Gateware to Application (blog.adacore.com)

50 points by Bogdanp 11 months ago | 9 comments

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

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

85 points by 1vuio0pswjnm7 1 year ago | 90 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 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: RecordFlux: Addressing binary protocol parser vulnerabilities

RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com)

42 points by synack 3 years ago | 2 comments