How does it assure no deficiencies?
I spelled out the "obviously no efficiencies" part, haven't I? How much up to date are you with your Hoare lectures?
And why don't other projects use that methodology?
Because they'd have to change their whole direction? As I said, compact things fell out for fashion in the SW arena.
Every OS has 0-day issues - no such thing an OS without them.
Except for Oberon... (And other similar designs in the spirit of "obviously no deficiencies")
Actually, an effective system would DETER attacks. Instead, Iron Dome seems to perpetuate the conflict. Need to find a way to deter attacks.
You're talking about radar-guided counter-battery fire. Well, Israel could most certainly do that, but prepare for the shit hitting the fan it they ever do that.
I have hardly ever known a mathematician who was capable of reasoning. -- Plato