This went somewhere interesting - in a rambling and repetitive way. Then I realised it's basically a pitch for the Wolfram Language. So I looked at that and f

This went somewhere interesting - in a rambling and repetitive way. Then I realised it's basically a pitch for the Wolfram Language. So I looked at that and found what is essentially a modern LispLang with an unusually comprehensive set of libraries. Like Mathematica, with support for other domains. And a high price tag. WL could definitely be a timesaver for some, but it is a long way from being the kind of universal language for exploring the Ruliad it's being pitched as. Suggesting that we might be able to explore other forms of computation under other rules is - of course - an interesting idea. But if Wolfram wants to do more than blog about that, he's going to have come up with a much more credible and surprising example of what it might mean in practice.