/biz/ - Business & Finance

>>56886720
>Recently patented anti-bot software that allows to verify the users are humans whilst maintaining anonymity and decentralization
Pic related, right?
[1/2] For the newfags who started following it in 2023 (instead of 2017):

>Since its inception in 2015, Tau has achieved several significant milestones. The team has focused on transforming software development and advancing Logical AI in ways thought impossible.

>Q3-16 to Q4-17: Tau V2.0 Release - Introduction of a Consensus Mechanism and Scalable Discussions, marking the completion of Tau's feature-complete design.

>Q4-17: TML Design and Implementation Begins - Start designing and implementing the Tau Meta Language (TML).

>Q1-19: TML Maturity - TML becomes operational with a Relational Algebra engine using Binary Decision Diagrams (BDD), advancing P-Datalog with guarded negation.

>Q4-19: Liechtenstein FMA Approval and TML Bot Demo - Demonstrating basic consensus calculation, a key Tau feature.

>Q4-20: Academic Panel Formation - The formation of an academic panel with renowned professors.

>Q3-20: TML IDE Release and Whitepaper Publication - Launch of the TML Integrated Development Environment and publication of a full design in an updated whitepaper.

>July 2020: Binary Strings Support - Enhancement for faster input and output of facts.

>October 2020: Unicode and First Order Logic Support - Enabling TML to use strings in multiple languages and introducing First Order Logic.

>May 2020: TML Syntax in EBNF - Standardizing TML syntax using Extended Backus-Naur Form (EBNF).

>Feb 2021: BDD Library Update - Improving BDDs by 38% for better performance.