[Ar-Curunir]

> tone down hype with some cold water reality check.

I mean, you're the one who keeps mentioning Ada/SPARK on every Rust thread, so if anyone needs to stop hyping things, it's perhaps you?

[pjmlp]

Where is Rust powering avionics and high integrity systems in production for the last 40 years? The very definition of secure software.

No one is asserting how Ada is going to wipe language XYZ.