November's Development Video Update is Live.
10 Dec 2022, 19:47
November's Development Video Update is Live!
🎥 https://youtu.be/_esHy0UR_qQ👈
🔹Ohad has made significant progress with the Tau language by removing the need for hierarchical formulas, which are syntactic restrictions. This has made the language more streamlined, allowing for easier integration of other languages in the future. With these improvements, the Tau language can support multiple languages simultaneously.
🔹David has been making progress on refactoring the built-ins and dictionary tables for the Tau language. He has cleaned up a lot of the code, fixed several bugs, and is now working on the remaining issues. As a result of his refactoring efforts, the code has been simplified and is nearing completion. In addition to this work, David has also been assisting Ohad with mathematical questions related to the Tau language.
🔹Juan has been helping Karim with the TML documentation. He's written a chapter on first-order logic, complete with examples of the problems you can solve in first-order logic. He's also continued to test the TML implementation of non-prenex logical formulas and tested our query-answering capabilities related to first-order logic.
🔹Tomáš continued his work on the parser. In collaboration with Umar, he's implemented an enhanced grammar that stores everything in disjunctive normal form; this has allowed us to implement conjunction and negation of grammatical terms, which is a powerful feature. It has also allowed C++ programmers to have an easier way of defining grammars. He's also added the EBDF support right into the parser.
🔹Luca has been working on improving the two CNF extraction feature. Luca encountered cyclical graphs that needed untangling, so he implemented an algorithm to remove loops in graphs and constant variables. This has helped to move the two CNF formulas closer to their canonical form. In addition to this work, Luca has also been participating in the MSO lectures with Luis and Ohad.
🔹Umar has been collaborating with Tomas on the parser. They have implemented an additional layer of graphs on top of the shared packed forest, making the graphs acyclical and free of ambiguities. This makes it easier to extract parse trees, and it also makes the parser more user-friendly. Additionally, this new layer of graphs is compatible with optimization methods like BNLR.
🔹Andrei has made significant progress in finalizing the Agoras live application testing. He has fixed over 20 issues identified by testers and made several improvements to the scheduling and notification systems. His efforts have contributed significantly to developing and refining the Agoras live application.
Same news in other sources
2
10 Dec 2022, 20:22
November's Development Video Update is Live!
🎥 https://t.co/eTS1yjgGIV👈
Summary:🧵👇
November's Development Video Update is Live. Summary:.
November's Development Video Update is Live!
🎥 https://t.co/eTS1yjgGIV👈
Summary:🧵👇
10 Dec 2022, 19:47
November's Development Video Update is Live!
🎥 https://youtu.be/_esHy0UR_qQ👈
🔹Ohad has made significant progress with the Tau language by removing the need for hierarchical formulas, which are syntactic restrictions. This has made the language more streamlined, allowing for easier integration of other languages in the future. With these improvements, the Tau language can support multiple languages simultaneously.
🔹David has been making progress on refactoring the built-ins and dictionary tables for the Tau language. He has cleaned up a lot of the code, fixed several bugs, and is now working on the remaining issues. As a result of his refactoring efforts, the code has been simplified and is nearing completion. In addition to this work, David has also been assisting Ohad with mathematical questions related to the Tau language.
🔹Juan has been helping Karim with the TML documentation. He's written a chapter on first-order logic, complete with examples of the problems you can solve in first-order logic. He's also continued to test the TML implementation of non-prenex logical formulas and tested our query-answering capabilities related to first-order logic.
🔹Tomáš continued his work on the parser. In collaboration with Umar, he's implemented an enhanced grammar that stores everything in disjunctive normal form; this has allowed us to implement conjunction and negation of grammatical terms, which is a powerful feature. It has also allowed C++ programmers to have an easier way of defining grammars. He's also added the EBDF support right into the parser.
🔹Luca has been working on improving the two CNF extraction feature. Luca encountered cyclical graphs that needed untangling, so he implemented an algorithm to remove loops in graphs and constant variables. This has helped to move the two CNF formulas closer to their canonical form. In addition to this work, Luca has also been participating in the MSO lectures with Luis and Ohad.
🔹Umar has been collaborating with Tomas on the parser. They have implemented an additional layer of graphs on top of the shared packed forest, making the graphs acyclical and free of ambiguities. This makes it easier to extract parse trees, and it also makes the parser more user-friendly. Additionally, this new layer of graphs is compatible with optimization methods like BNLR.
🔹Andrei has made significant progress in finalizing the Agoras live application testing. He has fixed over 20 issues identified by testers and made several improvements to the scheduling and notification systems. His efforts have contributed significantly to developing and refining the Agoras live application.
November's Development Video Update is Live.
November's Development Video Update is Live!
🎥 https://youtu.be/_esHy0UR_qQ👈
🔹Ohad has made significant progress with the Tau language by removing the need for hierarchical formulas, which are syntactic restrictions. This has made the language more streamlined, allowing for easier integration of other languages in the future. With these improvements, the Tau language can support multiple languages simultaneously.
🔹David has been making progress on refactoring the built-ins and dictionary tables for the Tau language. He has cleaned up a lot of the code, fixed several bugs, and is now working on the remaining issues. As a result of his refactoring efforts, the code has been simplified and is nearing completion. In addition to this work, David has also been assisting Ohad with mathematical questions related to the Tau language.
🔹Juan has been helping Karim with the TML documentation. He's written a chapter on first-order logic, complete with examples of the problems you can solve in first-order logic. He's also continued to test the TML implementation of non-prenex logical formulas and tested our query-answering capabilities related to first-order logic.
🔹Tomáš continued his work on the parser. In collaboration with Umar, he's implemented an enhanced grammar that stores everything in disjunctive normal form; this has allowed us to implement conjunction and negation of grammatical terms, which is a powerful feature. It has also allowed C++ programmers to have an easier way of defining grammars. He's also added the EBDF support right into the parser.
🔹Luca has been working on improving the two CNF extraction feature. Luca encountered cyclical graphs that needed untangling, so he implemented an algorithm to remove loops in graphs and constant variables. This has helped to move the two CNF formulas closer to their canonical form. In addition to this work, Luca has also been participating in the MSO lectures with Luis and Ohad.
🔹Umar has been collaborating with Tomas on the parser. They have implemented an additional layer of graphs on top of the shared packed forest, making the graphs acyclical and free of ambiguities. This makes it easier to extract parse trees, and it also makes the parser more user-friendly. Additionally, this new layer of graphs is compatible with optimization methods like BNLR.
🔹Andrei has made significant progress in finalizing the Agoras live application testing. He has fixed over 20 issues identified by testers and made several improvements to the scheduling and notification systems. His efforts have contributed significantly to developing and refining the Agoras live application.