> How come it does not get as much attention as Rust when it comes to safety?

Community building.

That said, Nim is very much inspired by Ada for the future safety features, in particular Z3 integration to enable Spark-like use-cases

- https://nim-lang.org/docs/drnim.html

AFAIK Ada was also inspired by Rust for memory-related safety. I find the cross-pollination between languages fascinating.

WHat's the multithreading story of Ada like? I didn't find that much code or article or papers when I was searching for multithreading runtime in other languages.