Rust advocates act as if Ada doesn't exist : r/ada
Which is (or will be) used more in the industry: Rust or Haskell? - Quora
Rust and SPARK: Software Reliability for Everyone
Rust and SPARK: Software Reliability for Everyone | Electronic Design
Ada/SPARK is intent on borrowing ownership from Rust. : r/rust
Rust and SPARK: Software Reliability for Everyone | Electronic Design
GNAT Pro for Rust | AdaCore
Tiemoko Ballo
AdaCore joins the RISC-V Foundation, adds support for C and Ada compilation | Packt Hub
Why Ada Is The Language You Want To Be Programming Your Systems With | Hackaday
If Ada is already *very* safe, why Rust? - The Rust Programming Language Forum
Rust Makes Us Better Programmers - The New Stack
As good as Rust, safer programming? Three years of practice, reversal of employee attitudes, Nvidia swaps C with SPARK | by Aaron 0928 | Medium
A Rustaceans tour of embedded world - Ferrous Systems
Delivering Reliable, Rugged Rust | Electronic Design
Why this book? - High Assurance Rust: Developing Secure and Robust Software
Commercial software solutions for Ada, C and C++ | AdaCore
Ada and SPARK | Electronic Design
AdaCore joins Rust Foundation ...
Rust vs Ada. How do they compare? : r/rust
Overview of the Efficient Programming Languages (v.3): C++, Rust, Swift, Scala, Dlang, Kotlin, Nim, Julia, Golang, Python. : r/programming
Ballista (Rust) vs Apache Spark. A Tale of Woe. - Confessions of a Data Guy
Why this book? - High Assurance Rust: Developing Secure and Robust Software
Rust Makes Us Better Programmers - The New Stack
Issue 135 - Embedded systems newsletter
