Tau Net AI Blockchain: The Endgame for Crypto?

What does it mean for software to be good? The best software would be one that gives the user anything they want. But achieving this today requires programming and reprogramming, which is impractical not only for regular users but also for professional developers and even groups of developers.
Why can't we have software where the user simply says what they want, and the software automatically becomes what they want in a practical way, without needing to code everything? This idea relates to an old dream in computer science called synthesis from formal specification, which comes with additional open problems.
Tau has solved these problems. Tau is software that is fully defined, controlled, and evolves based on the desires of its users. This does not apply only to a single user on one machine but also in a network setting, where many users collaboratively decide how the network should function, particularly in a blockchain network.
Tau Net is implementing the first and only blockchain that is fully controlled by its users, with a robust governance mechanism based on this technology. The theoretical barriers to achieving this were overcome only by Tau, and the team has patented these technologies.
Significant progress has been made, with a complete blueprint and all theoretical aspects finished. Additionally, the alpha version of the Tau Language has been released. The Tau Language is a logical language that supports everything discussed. It belongs to the world of logical AI, which is different from machine learning.
👉 Detailed explanation of the theory behind the Tau Language, please refer to:
GS Paper Guarded Successor: A Novel Temporal Logic by Ohad Asor. web3.arxiv.org...
TABA book Theories and Applications of Boolean Algebras by Ohad Asor (In works). github.com/IDN...
UA-cam lecture series on Atomless Boolean Algebra by Ohad Asor." • Atomless Boolean Algeb...
📖 Community Deck: docsend.com/v/...
Website: tau.net
Telegram: t.me/taunet
Twitter: / @tau_net
Discord: / discord
Reddit: / taunetagrs
Blog: / tau-software
Coinmarketcap: coinmarketcap....
Ask your question here:
bit.ly/Tauchain...
---
#artificalintelligence #logicalreasoning #agi #decentralizedai #blockchain #ai #aiproject #crypto #cryptoai #logic #softwarespecification #web3 #softwaresynthesis #taunet

[@johnwong9380]

Does sound like a next gen blockchain that renders others obsolete at a technical level, looking forward to seeing the design come to fruition

[@NoHandleToSpeakOf]

Have been keeping an eye on the project progress for years now. Waiting for a minimal viable product or at least some toy demonstration.