"I find the vision on Tau revolutionary and game-changing. The challenge posed by Ohad on grounding Tau on solid formal and logic-based grounds requires a great teams of minds, developers, scientists, but mostly an open mind ready to believe in the challenge. And IDNI has all of that." - Prof. Franconi (https://www.inf.unibz.it/~franconi/) We're still looking for testimonials on our project and would appreciate your contribution. What are your thoughts on Tau, Agoras and the project as a whole? Submit your testimonial here: https://docs.google.com/forms/d/e/1FAIpQLSdTkadBwRB0gjeAxUT1afD2BMB9syhaNWNUeCqJ_bczAoYMYQ/viewform

✅ Development Team Update (May 2021): The development update for May is now ready to watch via our YouTube channel: https://youtu.be/CecjQEBWz7c Some of the highlights include: 🔹Agoras Live nears completion (Live Demo: https://youtu.be/CecjQEBWz7c?t=824) 🔹Progress on finding a language that is able to reason about consistency of sentences in the same language in a self-referential way 🔹Performance improvements for BDD implementation related to its hashing algorithm 🔹 Further TML Optimizations 👂Feedback and questions are welcome!👂

We're still welcoming you to provide a short testimonial about Tau as a project via this link: https://forms.gle/nmPFajHtamQVi9Cb8 It will help us a lot to convey the significance of our endeavour to the outside world. Also, please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm Thank you very much! 💪

The Transcript of the April 2021 Development Update is now live: https://tauchain.medium.com/tauchain-development-update-april-2021-f96ed9f0131f

✅ Development Update (April 2021): The development update for April is now ready and can be watched via our YouTube channel: https://www.youtube.com/watch?v=efdSB6xKXlE Some of the key points include: 🔹Payment implementation over Binance Smart Chain for Agoras Live 🔹Agoras Live is now in testing stage 🔹Work on Tau mainnet implementation begun Feedback and questions are welcome!