🛠 August's Development Video is here! 🎥 https://youtu.be/zxYq39bws1E 👈 Though August saw many on the team taking their well-earned vacations, our progress didn’t halt. 🔹David is on the verge of completing the rewriting system for Tau, a pivotal component. After reviewing the most recent implementation with Ohad, David is now working on incorporating Ohad's feedback. Additionally, David has been: - Fine-tuning the binder system, paving the way for diverse logics in Tau programs. - Initiating the first Tau type system. - Overhauling the tile traversal API for downloads, achieving performance enhancements along the way. 🔹Tomáš has persistently advanced the Tau parser documentation, notably enhancing the CSV parser tutorial. He's addressed multiple bugs related to grammar, conjunction, and negations. Additionally, he has commenced the integration of code for rewriting rules on the Tau side. 🔹Umar remains dedicated to the internals of the Tau parser. Through rigorous stress-testing, he has been assessing the parser's overall performance, addressing and rectifying numerous bugs. 🔹Andrei, as many might know from the Q&A session, is actively collaborating with David on the ChatGPT integration. They are delving into the potential of ChatGPT and LLMs, considering them as promising input methods for Tau. 🔹Ohad's collaboratively with Prof. Paweł Parys on the intricate counting aspect of the two-variable fragment. While the challenges presented by this segment are considerable, the duo has made noteworthy advancements and hope to announce its completion next month.

🛠 August's Development Video is here! 🎥 https://youtu.be/zxYq39bws1E 👈 Though August saw many on the team taking their well-earned vacations, our progress didn’t halt. 🔹David is on the verge of completing the rewriting system for Tau, a pivotal component. After reviewing the most recent implementation with Ohad, David is now working on incorporating Ohad's feedback. Additionally, David has been: - Fine-tuning the binder system, paving the way for diverse logics in Tau programs. - Initiating the first Tau type system. - Overhauling the tile traversal API for downloads, achieving performance enhancements along the way. 🔹Tomáš has persistently advanced the Tau parser documentation, notably enhancing the CSV parser tutorial. He's addressed multiple bugs related to grammar, conjunction, and negations. Additionally, he has commenced the integration of code for rewriting rules on the Tau side. 🔹Umar remains dedicated to the internals of the Tau parser. Through rigorous stress-testing, he has been assessing the parser's overall performance, addressing and rectifying numerous bugs. 🔹Andrei, as many might know from the Q&A session, is actively collaborating with David on the ChatGPT integration. They are delving into the potential of ChatGPT and LLMs, considering them as promising input methods for Tau. 🔹Ohad's collaboratively with Prof. Paweł Parys on the intricate counting aspect of the two-variable fragment. While the challenges presented by this segment are considerable, the duo has made noteworthy advancements and hope to announce its completion next month.