Dear Community,
We, the development team, are diligently working to prepare a reliable release date for the Tau language alpha. In order to do this, we need to have an even further advanced understanding of the remaining algorithms to be implemented from CTO Ohad Asor’s research. The main algorithms that remain are the satisfiability algorithm and the solver algorithm for Tau formulas, as well as the execution of Tau formulas.
Since all needed algorithms are novel and unexplored, it is not always transparent how to approach specific details even though the overall objective is known, which occasionally results in further research tasks.
For these reasons, the process of reaching internal agreement on how to approach all above mentioned algorithms is taking longer then anticipated. It is of great importance to us to give an accurate estimate and it will be reviled in the very near future, but not this Friday.
Thank you for you for being excellent.
The Tau Team.
