F-35 source code leaked
2mon 16d ago by lemmy.today/u/mattyroses in TrueAnon@lemmy.today from x.com
https://www.reddit.com/r/TrueAnon/comments/1saf6e7/comment/odvi0of/?context=1
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'. ```C++? Doesn’t the US military mandate that all their software be written in Ada?