Hacker News with Generative AI: Ada

ASCII Lookup Utility in Ada (coniferproductions.com)
When working with old digital synthesizers from the 1980s and 1990s (and some newer ones too) I often have the need to quickly look up the identity of a byte that seems like an ASCII character code.
Programming, Ada, Tools, Retro Computing
34 points by todsacerdoti 14 days ago | 8 comments
The state of Rust trying to catch up with Ada [video] (fosdem.org)
Ada has held its own in the safety critical space for just over 4 decades. Over the last 10 years Rust has pushed into the same space with varying success. Among other features, most notably Rust is missing the powerful declarations and convenience of use of subtypes. In this talk I will go into the various features that make Ada so useful for ensuring the absence of bugs, and where Rust stands on each of these features.
Programming Languages, Rust, Ada, Software Engineering
170 points by pjmlp 75 days ago | 192 comments
How does Ada's memory safety compare against Rust? (ajxs.me)
This article takes a look at the most common memory-related errors, and compares how well Rust and Ada prevent you from making them in the first place.
Programming Languages, Memory Safety, Rust, Ada
166 points by pabs3 75 days ago | 158 comments
Ada Gems (2014) (adacore.com)
The Ada Gem of the Week is enjoying it's well earned retirement. But we hope you'll enjoy looking through the archives.
Programming, Ada, Software, Archives
59 points by Tomte 77 days ago | 9 comments
CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (adacore.com)
Operating Systems, Programming Languages, Ada, SPARK
11 points by kennysoona 77 days ago | 3 comments
Going Beyond Ada 2022 (adacore.com)
As we've seen previously in Ada 2022 support in GNAT, the support for Ada 2022 is now mostly there for everyone to take advantage of. We're now crossing fingers for this new revision to be officially stamped by ISO in 2022.
Programming Languages, Ada, ISO Standards
8 points by fanf2 91 days ago | 1 comments
A Random Walk Through Ada (2014) (cowlark.com)
So the C programming language has been getting a lot of bad press recently; a really stupid bug in some C code has compromised some of the core security infrastructure on the internet.
Programming Languages, Security, Ada
65 points by okl 168 days ago | 18 comments
An introduction to Jorvik, Ada's new tasking profile (adacore.com)
Ada, Programming Languages, Operating Systems
4 points by fanf2 292 days ago | 0 comments
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
Programming, Ada, Package Management, Toolchains
194 points by ajdude 368 days ago | 115 comments