FOSDEM 2025 - The state of Rust trying to catch up with Ada

A comparative analysis between Ada and Rust programming languages in safety-critical applications highlights Ada's 40-year dominance and Rust's recent emergence in this space. The presentation focuses on Ada's distinctive features for bug prevention, particularly its subtype declarations, and evaluates Rust's current capabilities in comparison.