@alg0w @nullagent I know plenty. I think in matters from what industry they're coming from.

#AdaCore, the company behind significant #Ada and #SPARK work invested in #Rust as well. And I think they're experts in the domain.