> to spot this kind of thing in any Turing-complete language I’m not sure I follow. The bar for passing review and audits is “people can understand it”, at lea

> to spot this kind of thing in any Turing-complete language I’m not sure I follow. The bar for passing review and audits is “people can understand it”, at least to the point of preventing smuggling in a custom public keys and other shenanigans – as opposed to “all valid programs in the language”. While I agree Turing-completeness opens up undeniable complexity, it’s the best we got. And there are huge variations in obscurity across languages and tooling.