Tau Chain October Update Video is now out!
https://www.youtube.com/watch?v=vnEAIQtoxxcSummary:
Tomas
- Implementing basic discussion features in Alpha, added 3 objects: Users, Discussions and Posts
- Simple proof of concept in the form of a server look up
- UI widgets for 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
- Structure will be micro services based with central broker, this will allow the use of different languages for every service
- 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 UX/UI expert. Some promising designers are on the short list
- 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 forall, there exists, and, or, not over elements as well as sets, TML will be substantial 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 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.