Highlights Include: - Team member introduction: Dr. Cramer (https://iccl.inf.tu-dresden.de/web/Marcos_Cramer/en) - Final testing of Agoras Live before release - Benchmarking of TML 1.0 features before release - Proof extraction optimization and testing - Implementation of variable shifters in TML
Tau business update & Q&A for October (Episode 35)
Highlights Include: - Finalization of Tau article - New Agoras logo underway - Lookout for scientific writer - Hired: Talent acquisition manager - Content development for new website - Community member of the month: Fran de la Torre
Lead by Karim's overview of the month, the development team gives an update on the status of the development in progress. Among other things, we've been preparing for the Agoras Live release and managed to further improve TML in various ways.
Tau business update & Q&A for November (Episode 37)
Highlights Include: - New Agoras logo revelation - Branding & website content development - Scientific writer outreach - Interview recording between Ohad, Prof. Franconi & a YouTuber - Hiring in progress: Blockchain developer, cryptographer, TML developer - Community member of the month: Fran de la Torre
Highlights Include: TML IDE update (https://tml.idni.org/) - Agoras Live backend refactoring - Fixed arithmetic built-ins - Continued work on persistence (saving and reading back BDDs to disk) - Implementation of a persistent canonical union find data structure for 2cnf universe - Initiation of work on Earley parser for TML
Video Interview on Tau: The most powerful blockchain built with Logical AI (Episode 38)