Tau Chain Monthly Video Update - October

Video Summary (by Miao):


  • 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


  • 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


  • 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


  • 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


  • 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.