October's Business Video Update is Live! 🎥 https://youtu.be/1tlZRkQVYgc👈 🔹Karolina's main focus this month has been updating the website content. We are differentiating between Tau software development methodology and Tau.net, the blockchain network. We're also adding several B2B products and sales pages to the new website. The website's content is coming along beautifully, and we'll now start looking for website designers capable of creating the vision we're looking for. We've been working on Logo designs for Tau alongside logo updates for Tau.net and Agoras. We're also partnering with a great external designer who will present their ideas to us in the upcoming month. 🔹Kilian and the whole business dev team finished preparing the materials needed for the VC outreach in alignment with the narrative of advancing software development instead of focusing on logical AI. We've already got a few positive responses. We've finished creating a deck for the community; you'll be able to take a deeper look at what we do and share it with anyone who would be interested in getting a deeper understanding of our project. We also had the interview publication between Ohad, Prof. Franconi, and David Shapiro on his YouTube channel. 🔹Igor has been working on a pitch deck alongside the team and updating the Tau logos. 🔹Fola has been involved in all of the above and endeavors to expedite the product release with Karim. Karim has been putting structures in place to launch products. 🏆 Community member of the month again is Andrew, for his continued efforts in creating YouTube shorts on Tau.net and Agoras.

October's Business Video Update is Live! 🎥 https://youtu.be/1tlZRkQVYgc👈 🔹Karolina's main focus this month has been updating the website content. We are differentiating between Tau software development methodology and Tau.net, the blockchain network. We're also adding several B2B products and sales pages to the new website. The website's content is coming along beautifully, and we'll now start looking for website designers capable of creating the vision we're looking for. We've been working on Logo designs for Tau alongside logo updates for Tau.net and Agoras. We're also partnering with a great external designer who will present their ideas to us in the upcoming month. 🔹Kilian and the whole business dev team finished preparing the materials needed for the VC outreach in alignment with the narrative of advancing software development instead of focusing on logical AI. We've already got a few positive responses. We've finished creating a deck for the community; you'll be able to take a deeper look at what we do and share it with anyone who would be interested in getting a deeper understanding of our project. We also had the interview publication between Ohad, Prof. Franconi, and David Shapiro on his YouTube channel. 🔹Igor has been working on a pitch deck alongside the team and updating the Tau logos. 🔹Fola has been involved in all of the above and endeavors to expedite the product release with Karim. Karim has been putting structures in place to launch products. 🏆 Community member of the month again is Andrew, for his continued efforts in creating YouTube shorts on Tau.net and Agoras.

Our latest Business Update is Live! 🎥 https://t.co/fhNdVBBXpS👈 Summary: 🧵👇

October's Development Video Update is Live! 🎥 https://youtu.be/PVyYUNo-AYw👈 🔹Ohad continued working on the Tau language, on the knowledge representation front with Prof. Paweł Parys, and on the temporal front with Prof. Franconi. Somewhat strange because Prof. Franconi is an expert in knowledge representation, and Prof. Paweł Parys is an expert in temporal Logic. However, it's terrific that each gets into the other's field, as we're making great progress. 🔹Tomáš has updated the TML IDE. He's fixed a few bugs in the IDE itself and updated the TML to the latest version of the TML runtime. He's worked on the parsing library with Umar and Ohad and implemented conjunction and negation of matched alternates. He's also working on supporting conjunction and negation of more complex production rules by storing them in a disjunctive normal form or a DNF. 🔹David continued his work on the TML code base. He refactored it and eliminated dependency between its major modules like the IR Builder, the tables module itself, built-ins, and tables, making the code base that much more scalable and stable. 🔹Juan continued his work on the first-order Logic. He's also started helping Karim with documenting. He's been comparing other SMT solvers to TML, both in terms of validity, by comparing the outputs and performance. We look forward to the results of that. 🔹Luca has continued his work on the two CNF extraction for the BDD libraries using a canonical implementation of a persistent graph structure and supporting dynamic transitive reductions. He's also been working with Luis on the MSO lectures. 🔹Andrei has fixed many issues with Agoras Live, working with our QA engineer, who's been very productive at producing known issues. He's fixed some issues with the calendar replacing it with a more recent component and improving the functionality and stability of the application. He's reworked the appointment code and is working on an API exposing some of that functionality. He's researching ways of connecting Agoras Live to decentralized exchanges. 🔹Luis has worked on the Semantics of First Order Logic and tree Automata with local and global restraints.

October's Development Video Update is Live! 🎥 https://youtu.be/PVyYUNo-AYw👈 🔹Ohad continued working on the Tau language, on the knowledge representation front with Prof. Paweł Parys, and on the temporal front with Prof. Franconi. Somewhat strange because Prof. Franconi is an expert in knowledge representation, and Prof. Paweł Parys is an expert in temporal Logic. However, it's terrific that each gets into the other's field, as we're making great progress. 🔹Tomáš has updated the TML IDE. He's fixed a few bugs in the IDE itself and updated the TML to the latest version of the TML runtime. He's worked on the parsing library with Umar and Ohad and implemented conjunction and negation of matched alternates. He's also working on supporting conjunction and negation of more complex production rules by storing them in a disjunctive normal form or a DNF. 🔹David continued his work on the TML code base. He refactored it and eliminated dependency between its major modules like the IR Builder, the tables module itself, built-ins, and tables, making the code base that much more scalable and stable. 🔹Juan continued his work on the first-order Logic. He's also started helping Karim with documenting. He's been comparing other SMT solvers to TML, both in terms of validity, by comparing the outputs and performance. We look forward to the results of that. 🔹Luca has continued his work on the two CNF extraction for the BDD libraries using a canonical implementation of a persistent graph structure and supporting dynamic transitive reductions. He's also been working with Luis on the MSO lectures. 🔹Andrei has fixed many issues with Agoras Live, working with our QA engineer, who's been very productive at producing known issues. He's fixed some issues with the calendar replacing it with a more recent component and improving the functionality and stability of the application. He's reworked the appointment code and is working on an API exposing some of that functionality. He's researching ways of connecting Agoras Live to decentralized exchanges. 🔹Luis has worked on the Semantics of First Order Logic and tree Automata with local and global restraints.