December's Development Video Update is Live.
08 Jan 2023, 17:06
December's Development Video Update is Live!
🎥 👈
🔹Ohad has started working on the Tau language by creating a new repository on GitHub with some initial code. On the theoretical side, Ohad and the academic team are figuring out how to allow Tau to refer to future updates, even those beyond its current capabilities. This involves adding a time dimension to the versioning system, similar to how we already use temporal logic to refer to the point in time and the steps of the program.
🔹David finished a long overdue refactoring of the TML code, eliminating several class interdependencies which did not need to be there, which simplified the TML code, in general. He also fixed all the regression tests that broke in the process, which was no small feat, and added documentation to the overall TML architecture. He's now working on some maintenance tasks for the TML GitHub repository.
🔹Juan continued his work on first-order logic and TML, reviewing some query-answering semantics. He reviewed the non-prenex formulas and revised some of the first-order logic data type aspects. He's also assisted Karim with TML documentation.
🔹Tomáš continued his work on the Tau parsing library with Umar, where he finished the transformation of the G grammar language. He optimized conjunction resolving in the Tau parsing library and added file and stream input for the parser. He's also started working on the readme file for the parser repository.
🔹Umar working with Tomáš, continued working on the Tau parsing library, where he implemented edge-based retrieval of graphs from the parse forest, providing a maximum core for ambiguous resolving of the grammar. He worked on further tree extractions and provided graphs as entries as new data abstractions in addition to the overall parse forest.
🔹Luca has been working on a 2cnf extraction method for BDDs, which will improve their scalability. However, last month, he encountered a problem where he needed to remove some loops in his graphs. Upon doing so, Luca realized that it caused a split in the graph that caused issues with implications and equality extraction. As a result, he has been exploring a new algorithm that can safely remove loops, specifically by using the Laplacian Matrix of a graph to enhance the extraction algorithm.
🔹While testing Agoras Live on various platforms, Andrei encountered a significant UI issue with one of the components he was using. He was able to identify the problem and find a replacement component. Another UI issue identified was related to the appointment-making process. Early testers reported that it needed to be more intuitive and provide more visibility into the professors' schedules. Andrei worked to address these issues and simplify the process, and it is now ready for further testing.
Same news in other sources
2
08 Jan 2023, 19:49
Last month's Development Video Update is Live!
🎥 👈
Last month's Development Video Update is Live.
Last month's Development Video Update is Live!
🎥 https://t.co/tnU7QtQAwh 👈
08 Jan 2023, 17:06
December's Development Video Update is Live!
🎥 👈
🔹Ohad has started working on the Tau language by creating a new repository on GitHub with some initial code. On the theoretical side, Ohad and the academic team are figuring out how to allow Tau to refer to future updates, even those beyond its current capabilities. This involves adding a time dimension to the versioning system, similar to how we already use temporal logic to refer to the point in time and the steps of the program.
🔹David finished a long overdue refactoring of the TML code, eliminating several class interdependencies which did not need to be there, which simplified the TML code, in general. He also fixed all the regression tests that broke in the process, which was no small feat, and added documentation to the overall TML architecture. He's now working on some maintenance tasks for the TML GitHub repository.
🔹Juan continued his work on first-order logic and TML, reviewing some query-answering semantics. He reviewed the non-prenex formulas and revised some of the first-order logic data type aspects. He's also assisted Karim with TML documentation.
🔹Tomáš continued his work on the Tau parsing library with Umar, where he finished the transformation of the G grammar language. He optimized conjunction resolving in the Tau parsing library and added file and stream input for the parser. He's also started working on the readme file for the parser repository.
🔹Umar working with Tomáš, continued working on the Tau parsing library, where he implemented edge-based retrieval of graphs from the parse forest, providing a maximum core for ambiguous resolving of the grammar. He worked on further tree extractions and provided graphs as entries as new data abstractions in addition to the overall parse forest.
🔹Luca has been working on a 2cnf extraction method for BDDs, which will improve their scalability. However, last month, he encountered a problem where he needed to remove some loops in his graphs. Upon doing so, Luca realized that it caused a split in the graph that caused issues with implications and equality extraction. As a result, he has been exploring a new algorithm that can safely remove loops, specifically by using the Laplacian Matrix of a graph to enhance the extraction algorithm.
🔹While testing Agoras Live on various platforms, Andrei encountered a significant UI issue with one of the components he was using. He was able to identify the problem and find a replacement component. Another UI issue identified was related to the appointment-making process. Early testers reported that it needed to be more intuitive and provide more visibility into the professors' schedules. Andrei worked to address these issues and simplify the process, and it is now ready for further testing.
December's Development Video Update is Live.
December's Development Video Update is Live!
🎥 https://youtu.be/qxMnbc-UrTA 👈
🔹Ohad has started working on the Tau language by creating a new repository on GitHub with some initial code. On the theoretical side, Ohad and the academic team are figuring out how to allow Tau to refer to future updates, even those beyond its current capabilities. This involves adding a time dimension to the versioning system, similar to how we already use temporal logic to refer to the point in time and the steps of the program.
🔹David finished a long overdue refactoring of the TML code, eliminating several class interdependencies which did not need to be there, which simplified the TML code, in general. He also fixed all the regression tests that broke in the process, which was no small feat, and added documentation to the overall TML architecture. He's now working on some maintenance tasks for the TML GitHub repository.
🔹Juan continued his work on first-order logic and TML, reviewing some query-answering semantics. He reviewed the non-prenex formulas and revised some of the first-order logic data type aspects. He's also assisted Karim with TML documentation.
🔹Tomáš continued his work on the Tau parsing library with Umar, where he finished the transformation of the G grammar language. He optimized conjunction resolving in the Tau parsing library and added file and stream input for the parser. He's also started working on the readme file for the parser repository.
🔹Umar working with Tomáš, continued working on the Tau parsing library, where he implemented edge-based retrieval of graphs from the parse forest, providing a maximum core for ambiguous resolving of the grammar. He worked on further tree extractions and provided graphs as entries as new data abstractions in addition to the overall parse forest.
🔹Luca has been working on a 2cnf extraction method for BDDs, which will improve their scalability. However, last month, he encountered a problem where he needed to remove some loops in his graphs. Upon doing so, Luca realized that it caused a split in the graph that caused issues with implications and equality extraction. As a result, he has been exploring a new algorithm that can safely remove loops, specifically by using the Laplacian Matrix of a graph to enhance the extraction algorithm.
🔹While testing Agoras Live on various platforms, Andrei encountered a significant UI issue with one of the components he was using. He was able to identify the problem and find a replacement component. Another UI issue identified was related to the appointment-making process. Early testers reported that it needed to be more intuitive and provide more visibility into the professors' schedules. Andrei worked to address these issues and simplify the process, and it is now ready for further testing.