Tau Chain July's update video is out!
https://www.youtube.com/watch?v=o3_rDdy-iLoFola
- Two very experienced C++ developers are joining the team - Dragan who you've already heard about, and another is being finalized and expected to officially join very soon.
- Changing regulatory conditions have compelled us to adopt KYC measures. We'd really appreciate it if the community will support us by going through KYC if they've brought from Ohad directly, and they'll be asked to if they intend to buy directly from us in the future.
Ohad
- Dragan proved his technical understanding by converting complex recursion found in Ohad's TML code into iteration.
- Tomas has continued to develop the discussion platform. Development of TML and discussion platform have been happening in parallel.
- Caching technique for optimization mentioned in the last update terms out to be deceptively difficult as its actually an NP-Complete problem: conjunctive query minimization/containment. The difficulty of this problem is compounded furthermore by negation which we do want to support. However, the upside is it can potentially improve performance by orders of magnitudes as well as improving consensus detection in the discussion platform - we would not only be able to detect consensus among facts, but to some extent rules as well (which is generally undecidable).
Isar
- We are prioritizing trying to get it listed on a reputable US exchange and KYC will help with this. Unfortunately OpenLedger will be delisting us due to lack of volume, but seeing as we were getting almost no volume on that particular exchange, we anticipate the impact of this to be minimal.
- Community website is in the final stretch, just some legal disclaimers and articles to be linked. So far, most people prefer tau.social to be the domain name. We're open to other suggestions.
