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


I think Laurie Wired actually worked on the F35 code, so if it is real she might have something to say.
I thought she was adjacent to it, but I don’t fully remember. I know she is a ghoul though.
She had a whole video about her work in aeronautics and I think it was heavily implied if not outright stated that she was working on one of those programs.
Even if she is/was a ghoul, she’s still one of the better tech YouTubers that isn’t just a hype bro.
If so, she probably wouldn’t have something to say because NDAs and security clearance stuff and whatnot.
I’m sure a Lockheed NDA has a 2 shot suicide clause in there somewhere.