Here's a translation into typical CS language. The "ruliad" is homomorphic to the set of possible turning machine programs, and translation between the computa

Here's a translation into typical CS language. The "ruliad" is homomorphic to the set of possible turning machine programs, and translation between the computations done in a rulial space (where concrete symbols are assigned to the relations in the ruliad) and a Turing machine is the "rulial motion" homomorphism. Wolfram worries: "Just how far can a particular observer translate in rulial space while maintaining their coherence and integrity" Because the translation is a homomorphism there's no risk of losing coherence or integrity; an observer transformed from "the ruliad" into a Turing machine is, by the Church-Turing thesis that Wolfram alludes to but doesn't name, equivalent. The article touches on transhumanism, relating it to moving observers through the ruliad such that they become instantiated in different physical forms, but again doesn't name or refer to the long history of this existing concept. On the whole, the article kind of makes a point; it is possible to bridge the gap alien-Wolfram writes about but it's left as an exercise to the reader to perform the translation instead of guided with the above sort of example in more plain language.