OK, I have to admit that Checked C is probably strictly safer while C++ is ... a mixed thing (both safer and more complicated).
239 karma · joined May 23, 2016
Or intentionally made to look like that. Attribution of hacks is on the spectrum of hard to impossible. Who can prove it wasn't the NSA/CIA?
comment from the source:
// Encodes a Turing machine that counts in binary, and then halts.
// Gives stack overflow by default.
// If you increase the stack size (javac -J-Xss100M Main.java),
// then it type-checks, but it takes a lot of time.