F-35 source code leaked

      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'.