[Torwald]

I don't get it. What about the JVM or ObjC or C#? How is it that only with Rust the things you stated are coming to us?

[erik_seaberg]

Much as Elisp is written in C, the JVM and CLR are each written in C++ and assembly, hosted on an OS written in C and assembly, and I've seen all of these crash.

[Torwald]

Thanks, I know see better what you mean. But, wasn't that achieved prior to Rust by realtime OSs like QNX?

[erik_seaberg]

I don't know much about QNX, but I haven't heard anything about seL4-type rigor going into it, so I wouldn't bet on it working a lot better than Linux or Windows.