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