These general "multicomputational processes" are well known in computer science as nondeterministic transition systems, or coalgebras for the powerset functor. And in that setting there is a lot of work that has been done about the kinds of logical statement that can be said about their evolution -- such as whether a given proposition about the states may always or eventually hold; this is coalgebraic modal logic. As usual, Wolfram does not mention this prior work.
One thing that I have often thought though is that the mathematical sciences could do with more cross-pollination with coalgebra.
So I adhere to the Schützenberger view of automata theory, that the way to explain a semester's finite automata theory to a math major in twenty minutes is via rational power series on noncommuting variables. Change the semiring from true/false to probabilities and one gets hidden Markov chain theory.
So how do nondeterministic transition systems fit into this picture? I'm guessing that the connection should blow my mind with a new way to see power series?
I have one of their machines (a StarBook that I am typing this on), and it is excellent. It probably helps to have a $9m seed round -- certainly it means Framework can do much more marketing (including such as the Steam Deck stunt) and hire more people -- and I'm sure it's easier to raise those funds from the US, but it is clearly not necessary. I hope that Star Labs does well enough that they are able to expand, raise funding if they wish, and compete with better capitalized companies.
I am typing this on their latest StarBook. It's a great machine. As for durability, it has an aluminium body and seems sturdily built. I expect it to last a good few years.
In fact, the compositional structure underlying that of predictive coding [0,1] is abstractly the same as that underlying backprop [2]. (Disclaimer: [0,1] are my own papers; I'm working on a more precise and extensive version of [1] right now!)
One thing that I have often thought though is that the mathematical sciences could do with more cross-pollination with coalgebra.