Any opinion on Tau-Chain?
I am trying to understand the Tau-chain project. The perspective of having provably consistent and predictable software is really interesting, but the project is very ambitious and the concepts involved are difficult to grasp and not very well explained.
The idea that you can express almost any code with simple "Subject Predicate Object" rules seems dubious to me, but I don't have the background to judge. What do you think about this project?