Tau Chain Monthly Video Update - October

Tomas

Implementing basic discussion features in Alpha, added 3 objects: Users, Discussions, and Posts
The simple proof of concept in the form of a server lookup
UI widgets for the profile, feed, posts, etc. Still basic but functional
Alpha is without networking so far, but will hopefully change soon will examine vid library for authorization and authentication soon

Andrei

The structure will be microservices-based with central broker, this will allow the use of different languages for every service
The server has been created to test TML functions online internally
You can subscribe to formal discussions and participate on the client, then the TML engine will deduce the result of multi-party discussions
The client will evolve to support network features

Juan

In the process of adding support for arithmetic operations in TML. So far addition is supported
Multiplication is partly done
Regressional test suite as we improve the architecture of TML

Fola

Another person to have joined the team (I didn't quite catch the name sry)
More hires to come in R+D and Q+A
Still in the process of hiring a UX/UI expert. Some promising designers are on the shortlist
Progress on the whitepaper is continuing along
Working with Legal teams in the US to take care of matters such as SEC compliance
Will be working on exchanges as we approach alpha, hopefully, good news on that front to come in the near future

Ohad

Progress has been good on alpha, and arithmetic is difficult due to the nature of Binary Decision Diagrams, so it's pleasing to make progress there, special thanks to Juan
Arithmetic support will likely significantly improve parsing performance
Dragan is working on builtin support for TML, which is also important
I've been working on CQC. CQC that supports negation is extremely difficult due to the class of problems which it belongs under complexity theory
CQC is necessary for converting logic to code as well as translating languages: If we write a translator for language X -> language Y, we want a translator for language Y -> language X for free.
Most importantly, we wish to support second-order logic. If users can use for all, there exists, and, or, not over elements as well as sets, TML will be substantially superior compared to other solvers and theorem provers in terms of features and performance.
Second-order logic may be the most important and difficult to implement the feature that TML will have.
This will take us to a new level regarding the ability to reason about knowledge and program TML itself to solve its own problems.
A second-order logic solver will be a monumental step forward.
Dragan and Juan will be assisting Ohad on this massive task after they're done with their current work. Hopefully we can put this together soon.

Your privacity is important to us