Notice: The technologies and concepts discussed herein are currently under patent pending status. We anticipate the release of Tau Language by the end of January 2024. Please be aware that the patent application process for Tau Language is ongoing, and this may result in slight delays. We appreciate your understanding and patience in this matter. Please refer to the patent notice for more information.
1. Overview of the Tau Language implementation design
- Introduction of the Tau Language, an extensional language or logic system designed for specifying and executing programs.
2. The Core Concepts of Tau
- Tau allows for the specification of a set of programs through formulas, executed if the set is non-empty, i.e. satisfiable.
- This is equivalent to the absence of contradictions and the existence of appropriate outputs for any given input at any point of time.
- Tau Language enhances NSO (Nullary Second Order, another proprietary language of ours) with recurrence relations, handled by a ‘normalizer’ to check satisfiability.
3. The Components of Tau and Their Interplay
- Tau’s implementation involves a general rewriting system, an extension for Tau-specific rules, a context-free grammar, APIs for traversing formulas and building them from their constituents, a type system, the normalizer and finally, satisfiability and execution of Tau specifications..
- The ‘normalizer’ plays a critical role, simplifying NSO formulas into quantifier-free and recurrence-relation-free equivalent formulas.
4. Progress on Development Tasks
- Report of the completion of key components: the rewriting system, Tau Language grammar, various APIs, and the normalizer.
5. Ongoing Development and Estimated Timelines
- Focus on extending the builder API, creating rewriting rules for satisfiability and execution, and implementing the remaining bits needed for having a functional Tau Language implementation (the solver, the splitters used by the solvers, etc).
- The team aims for a release candidate by the end of January 2024, with testing continuing through February 2024.
6. Challenges and Delays
- Delays attributed to improvements in Tau grammar, execution API, and normalizer.
- Additional challenges included defining Tau itself as a base logic and integrating various components with the normalizer.
7. Expectations for the Tau Language Alpha Release
- The Tau Language alpha release will showcase a functional core of the Tau Language, applicable in areas like program specification and more.
8. Conclusion
- Highlight of the technical and social significance of Tau, capable of reasoning about its own sentences and potentially revolutionizing various fields. In particular, the project’s potential to influence legal, medical, and scientific consensus, and its applications in AI and decision-making are underscored.
Sincerely,
The Tau Team
