June's Development Video is here. Andrei has improved the accuracy and speed of the Tau Live search feature.
10 Jul 2023, 15:50
🛠June's Development Video is here!
🎥 👈
🔹Andrei has improved the accuracy and speed of the Tau Live search feature. Furthermore, he has optimized the user interface for a more intuitive experience on mobile platforms. Andrei has also worked on integrating Tau Live with the Tau chain to enhance transactions between the two systems. He's also embarked on creating a Chat GPT plugin using TML. The ultimate goal of this project is to enable the use of Tau once it becomes available. See his quick walk-through here:
🔹Tomáš has been diligently working on both the Tau parser and TML. On the Tau parser side, he has made significant progress in documenting and developing tutorials of varying difficulty levels for the parser. Tomáš has created a parser generation tool to generate a complete, human-readable C++ program based on a given grammar. This tool allows users to compile and obtain a parser for their grammar, making it incredibly useful.
He also fixed a bug related to the bit size issue when unnesting transformations.
🔹David has dedicated his efforts to Tau this month. He's made changes to the underlying data structures of the parser, duplicating them in a form that is more conducive to the rewriting process, which is central to Tau. Furthermore, David has made several improvements to the Tau grammar, collaborating with Ohad to finalize the Tau grammar. He has also introduced APIs for rewriting parse trees, simplifying some of these APIs. Additionally, David has enriched the Tau language by adding built-in functions that not only enhance execution speed but also allow users to incorporate their functionality, which will be an ongoing work in progress.
🔹Umar's been optimizing the memory usage of the parser. He has made significant strides in reducing memory consumption by eliminating duplicate storage of Earley items. Umar has extensively tested this optimization, although he has encountered a bug in certain cases and is actively working to resolve it. In addition, Umar has been supporting the marketing team in framing Tau's position and differentiation.
🔹Ohad has been actively collaborating with the professors to explore different approaches in supporting the two-variable fragment. This is crucial for a robust knowledge representation language. Professor Franconi informed Ohad about the ineffective implementations of expressive knowledge representation languages. Ohad reports significant progress on this front.
Same news in other sources
110 Jul 2023, 15:50
🛠June's Development Video is here!
🎥 👈
🔹Andrei has improved the accuracy and speed of the Tau Live search feature. Furthermore, he has optimized the user interface for a more intuitive experience on mobile platforms. Andrei has also worked on integrating Tau Live with the Tau chain to enhance transactions between the two systems. He's also embarked on creating a Chat GPT plugin using TML. The ultimate goal of this project is to enable the use of Tau once it becomes available. See his quick walk-through here:
🔹Tomáš has been diligently working on both the Tau parser and TML. On the Tau parser side, he has made significant progress in documenting and developing tutorials of varying difficulty levels for the parser. Tomáš has created a parser generation tool to generate a complete, human-readable C++ program based on a given grammar. This tool allows users to compile and obtain a parser for their grammar, making it incredibly useful.
He also fixed a bug related to the bit size issue when unnesting transformations.
🔹David has dedicated his efforts to Tau this month. He's made changes to the underlying data structures of the parser, duplicating them in a form that is more conducive to the rewriting process, which is central to Tau. Furthermore, David has made several improvements to the Tau grammar, collaborating with Ohad to finalize the Tau grammar. He has also introduced APIs for rewriting parse trees, simplifying some of these APIs. Additionally, David has enriched the Tau language by adding built-in functions that not only enhance execution speed but also allow users to incorporate their functionality, which will be an ongoing work in progress.
🔹Umar's been optimizing the memory usage of the parser. He has made significant strides in reducing memory consumption by eliminating duplicate storage of Earley items. Umar has extensively tested this optimization, although he has encountered a bug in certain cases and is actively working to resolve it. In addition, Umar has been supporting the marketing team in framing Tau's position and differentiation.
🔹Ohad has been actively collaborating with the professors to explore different approaches in supporting the two-variable fragment. This is crucial for a robust knowledge representation language. Professor Franconi informed Ohad about the ineffective implementations of expressive knowledge representation languages. Ohad reports significant progress on this front.
June's Development Video is here. Andrei has improved the accuracy and speed of the Tau Live search feature.
🛠June's Development Video is here!
🎥 https://youtu.be/-AHK2SgkBHg 👈
🔹Andrei has improved the accuracy and speed of the Tau Live search feature. Furthermore, he has optimized the user interface for a more intuitive experience on mobile platforms. Andrei has also worked on integrating Tau Live with the Tau chain to enhance transactions between the two systems. He's also embarked on creating a Chat GPT plugin using TML. The ultimate goal of this project is to enable the use of Tau once it becomes available. See his quick walk-through here: https://youtu.be/-AHK2SgkBHg?t=255
🔹Tomáš has been diligently working on both the Tau parser and TML. On the Tau parser side, he has made significant progress in documenting and developing tutorials of varying difficulty levels for the parser. Tomáš has created a parser generation tool to generate a complete, human-readable C++ program based on a given grammar. This tool allows users to compile and obtain a parser for their grammar, making it incredibly useful.
He also fixed a bug related to the bit size issue when unnesting transformations.
🔹David has dedicated his efforts to Tau this month. He's made changes to the underlying data structures of the parser, duplicating them in a form that is more conducive to the rewriting process, which is central to Tau. Furthermore, David has made several improvements to the Tau grammar, collaborating with Ohad to finalize the Tau grammar. He has also introduced APIs for rewriting parse trees, simplifying some of these APIs. Additionally, David has enriched the Tau language by adding built-in functions that not only enhance execution speed but also allow users to incorporate their functionality, which will be an ongoing work in progress.
🔹Umar's been optimizing the memory usage of the parser. He has made significant strides in reducing memory consumption by eliminating duplicate storage of Earley items. Umar has extensively tested this optimization, although he has encountered a bug in certain cases and is actively working to resolve it. In addition, Umar has been supporting the marketing team in framing Tau's position and differentiation.
🔹Ohad has been actively collaborating with the professors to explore different approaches in supporting the two-variable fragment. This is crucial for a robust knowledge representation language. Professor Franconi informed Ohad about the ineffective implementations of expressive knowledge representation languages. Ohad reports significant progress on this front.