Some reflections on why a language specification for Rust is a significant step for using it in safety-related contexts in the next few years.

Introduction I was recently pleased to see that the UK Ministry of Defence has published a Joint Service Publication (JSP) on Dependable Artificial Intelligence. This is - to my awareness at least - the first non-strategic publication on the subject. As the JSP discusses, there have been other publications on