Tau's Development Video Update is Live! 🎥 https://t.co/L3S9btKk74👈 Summary:

September's Development Video Update is Live! 🎥 https://youtu.be/K5lDGFjHQTI👈 Summary: 🔹Ohad continued his work on supporting knowledge representation languages within the Tau Language, working closely with Dr. Paweł Parys, who's made a very impressive enhancement. His big step helps us support more expressive knowledge representation languages within the Tau language. 🔹David has been working on converting all the optimization algorithms from raw programs to Flat programs. An overarching development theme for everybody in the past couple of months. He's worked on splitting rules, changing the algorithm to account for flat programs instead of raw programs, unification and minimization of rules, and some code refactoring and improvements. He's focused on the table's class refactoring, the core part of the runtime for TML. 🔹Juan has demonstrated the version 2.0 implementation of first-order logic suggested by Ohad. He finished implementing the rest of TML and looked at some issues concerning the sequencing of that first-order logic transformation. 🔹Luca worked on the Sum Check protocol and ran into some expected difficulties, but he's come back with some ideas about simplifying the algorithms; now, he is not relying on variable shifters anymore, rewriting the Sum Check paper he wrote. 🔹Tomáš has collaborated closely with Ohad on refactoring and cleaning the Earley parser into its own library. Making it independent of the rest of TML so it can be reused by C++ programmers who want to build their own parsers for their language. He's also created a subset of the TML grammar he calls the "G language," which allows anybody to define grammar using the G language. He's also made some examples for how to do arithmetic expressions using the new parser. 🔹Umar has also been working on the parser infrastructure, some refactoring issues, and clearing some intermediate data structures. He's also finished the extraction and the identification of a single parse tree from the rest of the parse forest based on essentially disambiguating ambiguous grammar. 🔹Andrei has been working on extensively testing the application alongside an outside tester that has been doing an excellent job testing TML functionality. In the past month, we asked the tester to focus on cross-platform issues for Andrei to fix anything uncovered.

September's Development Video Update is Live! 🎥 https://youtu.be/K5lDGFjHQTI👈 Summary: 🔹Ohad continued his work on supporting knowledge representation languages within the Tau Language, working closely with Dr. Paweł Parys, who's made a very impressive enhancement. His big step helps us support more expressive knowledge representation languages within the Tau language. 🔹David has been working on converting all the optimization algorithms from raw programs to Flat programs. An overarching development theme for everybody in the past couple of months. He's worked on splitting rules, changing the algorithm to account for flat programs instead of raw programs, unification and minimization of rules, and some code refactoring and improvements. He's focused on the table's class refactoring, the core part of the runtime for TML. 🔹Juan has demonstrated the version 2.0 implementation of first-order logic suggested by Ohad. He finished implementing the rest of TML and looked at some issues concerning the sequencing of that first-order logic transformation. 🔹Luca worked on the Sum Check protocol and ran into some expected difficulties, but he's come back with some ideas about simplifying the algorithms; now, he is not relying on variable shifters anymore, rewriting the Sum Check paper he wrote. 🔹Tomáš has collaborated closely with Ohad on refactoring and cleaning the Earley parser into its own library. Making it independent of the rest of TML so it can be reused by C++ programmers who want to build their own parsers for their language. He's also created a subset of the TML grammar he calls the "G language," which allows anybody to define grammar using the G language. He's also made some examples for how to do arithmetic expressions using the new parser. 🔹Umar has also been working on the parser infrastructure, some refactoring issues, and clearing some intermediate data structures. He's also finished the extraction and the identification of a single parse tree from the rest of the parse forest based on essentially disambiguating ambiguous grammar. 🔹Andrei has been working on extensively testing the application alongside an outside tester that has been doing an excellent job testing TML functionality. In the past month, we asked the tester to focus on cross-platform issues for Andrei to fix anything uncovered.

Tau's Monthly Business Video is Live! 🎥https://t.co/g9RoFcnnk1👈 Summary:

September's Business Video Update is Live! 🎥https://youtu.be/hOmfQzUrEFI👈 🔹Karolina has started working on the communication of Tau's software development platform, a B2B product that is related to but separate from Tau.net. She's clarified the branding hierarchy and positioning. The next steps are updating the current website and branding the software development tool, starting with a unique logo and adding it to our brand family. Karolina worked on website content with Fola and the rest of the team. She's also been reaching out to selected branding designers to discuss potential partnerships. 🔹Igor has been researching crypto lounges to help with future marketing efforts. He is finalizing the paperwork with one partner and having a meeting next week with the AI New Zealand non-profit partnership. Regarding design, Igor has worked with Karolina on September's articles. He's working on finalizing the pitch deck and working on a new Tau logo. 🔹Kilian continued with materials needed for investors in line with the new framing of Tau as the new paradigm for software development. He's moved his focus to approach more deep-tech VCs. He's been in calls with David Shapiro to discuss the future interview with Ohad and Prof. Franconi. which should be published next month! 🏆 The community member of the month is @AndrewOnizuka! Check out his TML YouTube channel here:

www.youtube.com