This will make it even easier for Canada and some other countries to exit and scale back on their F35 deals.
Also, as a dev, this kind of coding drives me fucking crazy, all the insane verification harnessing and imagined deterministic proofs overlaid on C++. It’s the most awful unenjoyable way to code.
Full dump on Russian ‘Threat Market’.
Source:
https://xcancel.com/IntCyberDigest/status/2039626088226140169
All that anti-radar tech and the plane gets taken down by a 0-day? Uh oh.
I wonder why they didn’t use Ada.
It’s actually more likely it was just ir guided circumventing their stealth entirely