cross-posted from: https://lemmy.today/post/50453803
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'. ```