Thread by @TauChainOrg

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 1/ Thanks Neil & David! Let me take you down the #Tau rabbit hole. Fire away with any questions on the way.

cc: @molly0xFFF @ahcastor @davidgerard @tante @Grady_Booch @davetroy @dgolumbia

Tau is the solution to these problems inside and outside crypto:

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 2/
🔹 Centralization: Controlled by founding team/small group of investors.
🔹 Unsatisfactory blockchain governance. Voting / hierarchies.
🔹 Non-developers can't change code / developers have limited capabilities to do so
🔹 Security risks
🔹 Computers don't understand humans

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 3/ #Tau will be the first-ever decentralized blockchain social network able to take the consensus of its users and update its own code in real-time to give all users control over what the software does for them and how it evolves at any scale.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 4/ #Tau uses Logical AI at its core. Unlike machine learning, Logical AI provides provably correct results and can capture real-world semantic knowledge.

ℹ️ To see how logic plays a role in computer science:
en.wikipedia.org/wiki/Logic_in_…

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 5/ You'll be able to use #Tau's logic-based engine for its ability to accurately self-build complex software from knowledge input. You specify how any aspect of Tau should function, including its blockchain, and Tau rewrites its own code to provably meet your specifications.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 6/ Logical AI vs. Machine learning: Machine learning AI is unsuitable for accurately building any serious software because it always has a probability of its outcome being incorrect. It can't show you the reason why it made the decisions or prove that its results are correct.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 7/ Meanwhile, Logical AI is capable of machine learning and can explain its decision process to you, which is a massive advancement over the machine learning type of AI.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 8/ Thanks to Logical AI, users will be able to give #Tau global instructions such as "do not send private data over the network," and they will affect the entire codebase.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 9/ #Tau understands all ever-changing Worldviews in the network, including yours and billions of other people's, so you never have to explicitly vote; your user profile/Worldview is your vote. Making Tau a decentralized solution suitable for humanity-wide governance.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 10/ Turing Complete prog. languages are very expressive but lack decidability, which is essential for #Tau. The inability to arrive conclusively at a true or false answer over every expressible query (decidability) is 1 of the biggest security issues of other blockchain projects.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 11/ A decidable language is essential when dealing with code that serves as law and governance: otherwise, it'll be inconsistent or incorrect. It also allows us to write the blockchain rules without fear of unforeseen outcomes.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 12/ Tau's Meta Language (TML) possesses three key features: decidability, self-definition, and unstratified Negation. It is relatively trivial to have some of these features independently. e.g, it's simple for a Turing Complete (non-decidable) language to support self-definition.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 13/ #TML begins with the fundamental idea that you can't have an ideal language for everything, which is why we have a meta-language that can define itself, which allows it to evolve with Decidability, Self-definition, and Negation.

Internet of Languages-
tau.net/whitepaper_com…

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 14/ Lead dev & founder Ohad Asor has researched for 5+ years to devise a solid and complete solution. After extensively studying Boolean Algebras, He made a groundbreaking discovery allowing you to take any logic and enhance it with the ability to speak about its own formulas.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 15/ Logicians have generally considered such an ability impossible until now. Furthermore, if the original logic is decidable, the extended logic is also decidable.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 16/ This is a monumental step, a historic level discovery in which, for the decidability part, Ohad had to solve a century-old problem for the theory of Boolean algebra, effective quantifier elimination.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 17/ What traction has Tau made?

🔹 Tau's Meta Language (TML) can do something critical that other programming languages cannot (support Negation while remaining decidable and self-defining); its outperforming them when datasets are too big to fit ordinary implementations.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 18/
🔹 #TML also has the first generic parser for context-free grammar. It takes a grammar and input string and returns all parse trees, no questions asked!

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 19/
🔹 A huge theoretical advancement of identifying and formulating the problem of the law of changing the laws has been made. It's been made in the scope of logical AI and not just in the case of law.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 20/ For example, if you want to make a software update to your robot, you plug a USB stick in it with the new software. You want the robot to accept the update only if it admits Asimov's three laws of robotics.

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 21/ What do experts think about #Tau

🔹 Prof. C. Benzmüller, Head of Berlin University
"The Tau project is fascinating and visionary."

🔹 Prof. E. Franconi, Founder of KRDB Research Center
"I find the vision on Tau revolutionary and game-changing."

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 22/ When #Tau?

🔹 Tau's Meta Language can be explored in our #TML playground - tml.idni.org, preparing for a planned 1.0 release in Q1 2023.

🔹Tau's Test net is planned for the end of 2022 with mainnet following in Q1 2023

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia Thanks for the questions everyone, and I understand the skepticism. I'll relay the technical questions to the team and return with answers!

🔹 We do monthly AMAs. If you'd like to ask anything further?

👉bit.ly/TauchainQuesti…

📺youtube.com/channel/UCixBq…

@neilturkewitz @davidgerard @ben_mckenzie @SilvermanJacob @molly0xFFF @ahcastor @tante @Grady_Booch @davetroy @dgolumbia 🔹 Dr. M Cramer, Doctor in Knowledge Representation at TU Dresden
"Tau opens up the possibility of having large-scale discussions without getting lost, of coming to an agreement between many actors in an efficient way."