🛠 July's Development Video is here! 🎥 https://youtu.be/OfPXFtSeUyE 👈 🔹Andrei has made substantial progress in bridging Tau and ChatGPT. This month, he devised a way for ChatGPT to transform user input into a format suitable for Tau processing, resolving a long-standing issue concerning user input. The integration with ChatGPT now offers numerous opportunities for the central Tau system, with a paramount focus on maintaining precision in implementations to prevent logic errors. 🔹Tomáš has advanced his work on TML, the Tau parser library. Alongside his development, he has fortified the library's documentation, concluding the CSV tutorial for the Tau parser library. Moreover, he addressed and resolved several library bugs identified during testing, notably issues concerning conjunction, negations, and specifying maximum input length. 🔹David has focused on the Tau language, improving the rewriting system. He has been refactoring to integrate it with the early parser project. David has been diligently creating integration and unit tests for the rewriting system, preparing it for its integration phase in Tau. 🔹Umar's has been concentrating on the Tau parcel library, specifically improving its storage efficiency. He introduced a new storage system named 'single-ended storage', optimal during parsing and forest generation. Through rigorous experimentation, Umar identified a balanced relationship between storage capacity, garbage collection, and retrieval speeds. Additionally, he fixed specific bugs, incorporated stress tests, and analyzed the implications of the new storage system on binarization and overall performance. 🔹Ohad has been focusing on the two-variable fragments. These fragments are of two distinct types: those with counting and those without. This month marked a significant accomplishment: completing the fragment without counting. This was not just any completion, but a robust one that paves the way for extensions into other intricate logics. Furthermore, this achievement enhances the Tau language and positions it as both a foundational knowledge representation language and a base logic that Tau can further expand. This is undeniably a commendable achievement. Our attention has shifted towards developing the counting component of the two-variable fragment. We are optimistic about the results and eagerly await another milestone.