>>105587392> PL/IThat reminds me. The AS/400 ran for years with 100% uptime. Most of the operating system was re-written in C++.
Here's the kicker: Not only is it written in C++ but it runs on the processor without hardware process and memory protections turned on!
That's because all code runs through the "trusted translator" (I think it was called AX)... it's kind of like the LLVM intermediate language except it prevents all kinds of misbehavior. Running everything in one ring also makes it quite a bit faster.
So, the solution doesn't really need to be rust, I just think it's funny that a lot of people think that. They probably should get educated.
Oh, and the AS/400 system was mathematically proven "correct" from a security standpoint. It's kind of a snappy answer to a stupid question.
Since then, IBM has been invaded mostly by MBAs, so it's pretty much gone. There might be some residual skills left but I don't know.