These include: possession of nuclear weapons, possession of unlimited autonomous replicators [see: _gray goo_], coercive assimilationism [see: _borganism, aggressive_], coercive halting of Turing-equivalent personalities [see: _Basilisks_], and applied theological engineering [see: _God Bothering_].
The fact that all these languages are Turing-equivalent means that, strictly speaking, you can write any program in any of them.
As a logician, I saw the differences among programming languages as a trivial matter: One programming language was Turing-equivalent to another as far as a mathematical logician was concerned.
The Turing-equivalent macro system in Scheme means that the language can be reconfigured to the programmer's desire.
Another one is that you’re not using a Turing-equivalent computer to solve the problems.
Link to this page