🛠 March's Development Video is here! 🎥 https://youtu.be/A67GE7xkP4s 👈 🔹 Ohad continues his work on the Tau language, the implementation and its patent. 🔹 Andrei's been finalizing the Tau Live application and fixing the last issues with the Metamask login. As a result, the team is now nearing the Beta release. 🔹 Tomáš has been focused on the parser side of the project, where he fixed several bugs in the new Earley parser. He added new meaning for nested programs to work as rules instead of just sequences. Additionally, he started removing the old parser and relying solely on the new one. For this, he had to add a few transformations of TML structures. 🔹 Lucca's been collaborating with Ohad on specializing BDDs for various data types. He added an optional templated BDD library to reverse the variable order and developed new negation and disjunction algorithms for the two CNF extractions in BDD. He has been working on this project for a long time and making significant progress. 🔹 David's been finalizing the TML release. He has been cleaning up the code base, merging a lot of the conditionally compiled code and removing some of it. He also resolved many compiler warnings and addressed issues raised by the static code analysis tool, SonarQube. David also made some touch-ups on the TML optimization by evaluating rules against randomly generated databases to develop a new method for assessing the rule costs. 🔹 Umar's been primarily focused on developing the garbage collection algorithm for Earley items. This task required the team to investigate how these items can be safely removed once completed or if the scan fails without compromising the overall parsing success. Umar' ha's been experimenting with various approaches, and the work is still underway. It is hoped that the team will make significant headway on this project in the coming month.