Tau’s Journey: A Chronicle of Scientific Breakthroughs and Completed Milestones
Introduction: Since its inception in 2015, Tau has embarked on an extraordinary journey, pushing the boundaries of knowledge and innovation at the intersection of artificial intelligence, blockchain technology, and formal methods. This article takes you through the chronological sequence of Tau’s remarkable scientific breakthroughs and completed milestones, showcasing its relentless commitment to transforming the world of technology.
Q1–2015: The Birth of Tau v1.0: The Beginning of a Revolutionary Project
Tau’s journey began in the first quarter of 2015 with the publication of the Tau v1.0 Whitepaper. This marked the birth of a visionary project that aimed to redefine blockchain by using a decidable logical language. It was based on the game Nomic as well as type theory as the logical foundation.
Q2–2015 to Q3–2017: AGRS Private Sale: The Project’s Early Funding Phase
The mid-2010s witnessed Tau’s AGRS Private Sale, securing initial funding for the project’s visionary goals.
Q4–2017: Tau v2.0 Design and Scalable Discussions: Adding Consensus Mechanism
In the period from Q3–2016 to Q4–2017, Tau underwent significant development, resulting in the Tau v2.0 design. During this phase, Tau improved its consensus mechanism and scalable discussions, making it feature-complete, as well as fixing substantial mistakes in the old design, most notably abandoning Nomic and type theory, in favor of classical logic and a novel large-scale consensus method.
Q1–2019: Maturity of Basic TML: P-Datalog Engine based on Binary Decision Diagrams (BDDs)
In Q1–2019, Tau reached a significant milestone with the maturity of basic TML. This included the development of a P-Datalog engine, forming some of the technological core of Tau.
Q4–2019: Demonstrating Basic Consensus Calculation: Core Feature of Tau Showcased
Tau’s progress in Q4–2019 included the development of a Tau bot that demonstrated basic consensus calculation using logical engines we developed, highlighting a core feature of the project and our ability to build industry-level logical solvers.
Q3–2020: Full Design Published in an Updated Whitepaper: A Comprehensive Design Blueprint
Tau shared its complete design in Q3–2020 through an updated whitepaper, providing a comprehensive blueprint for the project’s development.
Q3–2020: TML IDE Initial Release: Empowering the Community
The release of the TML IDE in Q3–2020 empowered Tau’s community to explore and experiment with the Tau Meta-Language, fostering collaboration and innovation.
November 2020: Prof. Enrico Franconi joins the Team as a Scientific Advisor
Prof. Enrico Franconi is a professor in knowledge representation databases. His research focuses on applying database, artificial intelligence, and semantic technologies to information systems design, data integration, and ontology modeling. He provides valuable research advice to Tau’s technical developments, further strengthening the project’s scientific foundation.
May 2021: The language NSO
The most important scientific breakthrough in the project so far. It solves problems raised in the whitepaper in a much more robust way, in particular a novel and groundbreaking method to extend languages with the ability to deal with their own sentences and their truth value as any other objects, while preserving consistency and decidability.
March 2022: Earley Parser Implementation: Accessible Parsing
Tau developed a high-performance parser based on the Earley parsing algorithm in March 2022, enhancing its capabilities for parsing context-free languages and beyond.
May 2022: Tau Language
Enhancing NSO with a time dimension, making it suitable for software specification. It is a novel and groundbreaking software specification logic.
June 2022: Prof. Paweł Parys joins the Team as a Scientific Advisor
Prof. Paweł Parys is a scientist from Poland with a Ph.D. in computer science from the University of Warsaw. His research focuses on automata theory, extensions of finite automata, and connections between logics and automata. He has significant contributions to theoretical computer science and programming.
2023: Tau Language
Completed Nullary Second Order (NSO) language with recurrence relations.
Conclusion: Tau’s chronological journey through these scientific breakthroughs and completed milestones highlights its relentless pursuit of innovation and perfection. With each milestone, Tau moves closer to its vision of revolutionizing software development and achieving decentralized AGI. As Tau continues to evolve, the world anticipates the transformative impact it will have on technology and the future of decentralized intelligence and software development in general.
Sincerely,
The Tau Team
