July's Development Video Update is Live! 🎥 https://youtu.be/54nec94r4nQ👈 Summary: 🔹Ohad worked with prof. Franconi on the knowledge representation language. He has a method of letting a language speak about its own sentences and can also enhance it to be a software specification language. This is a method to extend any other language, so he needs to find which languages to extend. They want these to be languages suitable for knowledge representation and engineering, so they are researching existing languages. They have also made significant progress on engineering a solver for such languages using existing solvers and methods we already have. They continue on this front and are getting very close to full implementation of the three levels: The base language, the language that can speak about its own sentences, and the specification language - all in one. 🔹David continued his work on TML optimization adding memorization to some critical paths of the optimization and he's also consolidated all uses of Z3 CQC engine and retired some of the CQC implementations that we had in TML. He's also improved the memory footprint significantly for mutated programs. He's also made some general source code improvements on the suggestion of Ohad. 🔹Juan made the two major installs as a result of long-time efforts giving us a functional version of the bit width inference engine also known as the type inference engine. He's also installed version 2 of the transformation to bit universe. 🔹Luca continued his work both on a theoretical front and on his implementation of the two CNF. He worked out a preliminary solution to the proof of execution algorithm for the BDD library specifically for the end operation, we're still working on disjunction. He's also explored some algorithms with respect to the task of transitive reduction and finished testing the persistent data structure for the two CNF extraction. He's also been reviewing the variable shifters implementation currently in TML making sure that it delivers on its promises of reduced memory footprint. 🔹Tomas continued his work on the TML IDE which is an increasingly popular feature. He fixed many issues including: - The hanging of the JavaScript engine when there are parse errors - The output stream by fixing the flushing Issue with respect to long execution in batch format - Improved the API for executing TML from JavaScript with enhanced memory management 🔹Andrei has finished improving the stability of the video conferencing system. Fixed many issues with Agoras Live including payment systems within video conferencing as well as interactions between Agoras live and the blockchain 🔹Luis worked on the relationships between logics and games and between games and automata with logical semantics and decision procedures in view. He's completing the transition from word automata to tree automata which will be the next focus of the weekly MSO sessions. There is also ongoing research into disjunctive data log namely the system DLV. He's also working on weekly introduction articles to what's behind Tau's Technology.