4 ms·
> 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 hyp
by Ar-Curunir 5y ago
> 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 5y agoWhere 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.