April's Development Video is here. Ohad continued the efforts towards patenting and implementing the Tau language.
08 May 2023, 10:08
🛠April's Development Video is here!
🎥 👈
🔹 Ohad continued the efforts towards patenting and implementing the Tau language. He continued his effort to support knowledge representation natively, with Professor Franconi and Professor Parys focussing on two variable fragments with good initial insights.
🔹 Andrei worked on debugging Tau live and made progress on the Tau Blockchain with Juan and Thomas.
🔹 Tomáš successfully removed the old TML parser but had to re-implement several features. He continued testing and retesting type resolution.
🔹 Luca continued work on 2CNF extraction and re-implemented basic operations of the BDD library with the two CNF extractions for improved performance.
🔹 David worked on TML and Tau, removing unused code and addressing issues raised by SonarQube, such as security issues and bug fixes. He also reviewed the first implementation of Tau and reorganized Tau's code to be more friendly to CMake and C-test.
🔹 Umar collected completed and scanned items and implemented reference counting to allow for more garbage collection. He also did regression testing to ensure garbage collection did not break existing code.
Same news in other sources
108 May 2023, 10:08
🛠April's Development Video is here!
🎥 👈
🔹 Ohad continued the efforts towards patenting and implementing the Tau language. He continued his effort to support knowledge representation natively, with Professor Franconi and Professor Parys focussing on two variable fragments with good initial insights.
🔹 Andrei worked on debugging Tau live and made progress on the Tau Blockchain with Juan and Thomas.
🔹 Tomáš successfully removed the old TML parser but had to re-implement several features. He continued testing and retesting type resolution.
🔹 Luca continued work on 2CNF extraction and re-implemented basic operations of the BDD library with the two CNF extractions for improved performance.
🔹 David worked on TML and Tau, removing unused code and addressing issues raised by SonarQube, such as security issues and bug fixes. He also reviewed the first implementation of Tau and reorganized Tau's code to be more friendly to CMake and C-test.
🔹 Umar collected completed and scanned items and implemented reference counting to allow for more garbage collection. He also did regression testing to ensure garbage collection did not break existing code.
April's Development Video is here. Ohad continued the efforts towards patenting and implementing the Tau language.
🛠April's Development Video is here!
🎥 https://youtu.be/97Ds8_9BHT8 👈
🔹 Ohad continued the efforts towards patenting and implementing the Tau language. He continued his effort to support knowledge representation natively, with Professor Franconi and Professor Parys focussing on two variable fragments with good initial insights.
🔹 Andrei worked on debugging Tau live and made progress on the Tau Blockchain with Juan and Thomas.
🔹 Tomáš successfully removed the old TML parser but had to re-implement several features. He continued testing and retesting type resolution.
🔹 Luca continued work on 2CNF extraction and re-implemented basic operations of the BDD library with the two CNF extractions for improved performance.
🔹 David worked on TML and Tau, removing unused code and addressing issues raised by SonarQube, such as security issues and bug fixes. He also reviewed the first implementation of Tau and reorganized Tau's code to be more friendly to CMake and C-test.
🔹 Umar collected completed and scanned items and implemented reference counting to allow for more garbage collection. He also did regression testing to ensure garbage collection did not break existing code.