🛠 Our latest Development Update video is here! 🎥

youtu.be

Summaries & Timestamps:👇 00:00 - Intro 04:04 -🔹Tomáš (Senior Developer) - Added checks for the well-foundedness of recurrence relations. - Implemented calculations for the fixed points of recurrence relations, integrating type inference for these relations. - Working on further type inference for constants and variables and removing the dollar sign from recurrence relations offsets. - Fixed several system issues, including parse errors caused by empty lines, and improved the REPL history command. - Added more tests to the parser. 06:58 -🔹Andrei (Senior Developer) - Significant progress has been made on the Tau testnet architecture. - Writing pseudocode for the Tau blockchain, designed from the ground up using Tau. - Enhanced spam protection on Telegram channels. - Working on forum development for a safer and more engaging community platform. 09:37 -🔹Lucca (Developer) - Integrated two new keywords, "sometimes" and "always," into the normalizer. - Began implementation of the Splitters algorithm for non-temporal Tau formulas. - Reviewed the normal order form command in the repository. - Engaged with the marketing team to record two demos for Tau. - Answered several technical questions from the community regarding the Tau language. 14:06 -🔹David (Lead Developer) - Focused on strong normalizations of Tau formulas, experimenting with variations of Ohad's base algorithms to simplify implementation and improve performance. - Started working on the solver algorithm, based on a modified version of Ohad's proposed algorithm in the TABA paper. - Simplified the implementation of T Boot and algebras using operators defined over the standard variant class to reduce code redundancies. - Actively participated in weekly Tau testnet design discussions. 21:31 - 🔹Ohad (Founder & CTO) - Ohad worked on the patent and continued to develop network specification abilities in the Tau language. - He focused on the ongoing work required to release the first version of the Tau language and the testnet.