May's Business Video & AMA Update! #48 🎥 https://youtu.be/DPjeAnDcuhU 👈 🔹Marketing is focused on facilitating the Series A round. 🔹Outreach to Angel Investors and VCs for Series A round. 🔹The new www.Tau.net website is live introducing Tau and its features extensively. We will be updating it to be even better in the future. The current website is being translated for the Asian market. 🔹Article published on Cointelegram. (https://cointelegraph.com/news/blockchain-network-enables-digitizing-the-mind-to-eliminate-bottlenecks-in-human-communication) 🔹Have been reaching out to Scientific publishers to write about Tau's many breakthroughs 🔹Preparing a pitch deck focused on providing web3 projects tau's capabilities for achieving decentralized governance. 🔹Looking for partnership manager with proven track record in the AI blockchain space to start building an ecosystem of valuable partners from relevant industries. 🔹Speaking with a fund management company that articulated interest in Tau and Agoras. We looking to organize a long-form interview to be hosted on their YouTube channel. 🔹Hired a new Video editor to facilitate our video output. 🏆 Community member of the month is Andrew.

April's #Tau Dev Update! (Episode 47): 🎥 https://youtu.be/eWnLVP0D5KI 👈 Summary: 🔹Ohad now has a new temporal logic and software specification language that is very attractive compared to other temporal logics and software specification logics. It supports the law of changing the laws but is compelling from a much broader perspective! He continues to study what such a language can do with Prof. Franconi. 🔹David is working on an algorithm for the procedure to do a consistency check on systems of Boolean inequalities, a feature that allows Tau's law of changing the laws. He's also done further TML program optimizations 🔹Lucca has been researching monadic second-order logic over infinite binary trees and presenting two-hour lectures to the academic panel. He's continued his work covering the two CNF extraction from BDDs, a program optimization that will help avoid the exponential growth of BDDs. 🔹Umar with Ohad has made further optimizations to Binary optimization forest generation in the case of highly ambiguous grammar. 🔹Tomas has finished working on character built-ins and implemented a new EOF character as a built-in. He's resolved some ambiguities in the TML language specification itself, which will help with the parsing speed of TML programs. He's updated the Github repository readme file repository, which is still in progress, and is merging his recent work into the main domain TML branch. 🔹Juan has made optimizations and managed to remove all type info from BDDs, which will help keep the size of BDD's reduced. 🔹Andrei has continued updating the application changing many front-end components to improve cross-platform compatibility between mobile and online versions of browsers. 🔹Luis has delivered weekly sessions on MSO to the academic panel. He's also been exploring topics relevant to Tau, like hyper logics and two-level grammars.

📣 Excited to announce Tau's Cointelegraph article is hot off the press! ⭐️ Please like and share across your socials for max impact ⭐️ "Blockchain network pioneers the use of logical AI to eliminate bottlenecks in scaling discussions to massive sizes" https://cointelegraph.com/news/blockchain-network-enables-digitizing-the-mind-to-eliminate-bottlenecks-in-human-communication

April's Tau Business Update and AMA video is now live! Business Update and AMA (Episode 46): 🎥 https://youtu.be/5dLTX1DQSo0 👈 Summary: 🔹 Web design agency found for next iteration of Tau website. 🔹 Creating graphics to explain Tau. 🔹 Working on multiple pitch decks for different audiences. 🔹 Outreach to other projects interested in building partnerships, 🔹 Found a designer to start design work on the main pitch deck. 🔹 Applied to present Tau at two conferences. 🏆 Community member of the month: Andrew

March's #Tau Dev Update! (Episode 46): 🎥 https://youtu.be/1QGLztXgNRc 👈 Summary: 🔹Ohad has been working on taking the logic we’ve developed into a software specification language. One of the directions was to study infinite systems of boolean versions. On this front, we’ve made a significant breakthrough. We’ve had a positive result, and it appears to be the direction to go in. It’s given the answers to the questions we were looking for and will be considered in the bigger picture. 🔹Juan is continuing the effort of integrating Umar’s work on the type system and Bit Universe. - Refactoring the entire TML codebase with Ohad to accomplish this. - Revisiting safety checks, guards, program transformations, strings, and grammar processing. 🔹Tomas has finished his work on the Earley's parser and has made it Unicode capable 🔹Umar has started the challenging task of Binary optimization forest generation in the case of highly ambiguous grammar. With help from Ohad, he’s making progress. 🔹David has finished fact generation and made additional changes. He’s also working on the TML parser and removing the possibility of negation of facts. He’s also working on grouping the different optimizations for TML programs. With a PhD himself, he’s contributing on the theoretical front in the academic panel discussions. 🔹Lucca has been assigned theoretical work to show decidability of theories can be done by encoding using second-order logic over finite binary trees. 🔹Agoras Live bug fixing. Testing has begun. Andrei added further login improvements using popular wallet API integrations.

March's Tau Business Update and AMA video is now live! Business Update and AMA (Episode 45): 🎥 https://youtu.be/mAyZ0b9GWEE 👈 🔹Applying for speakers positions at upcoming blockchain conferences 🔹Final refinements made to the new website. 🔹New interactive website in early planning stage. 🔹Tau Webinar in the works 🔹Finalised Tau article edits large publication ask for. To be published soon. 🏆 Community member of the month: Andrew

Get your questions in for this month's AMA using this link: 👉 http://bit.ly/TauchainQuestionForm Thank you! 🙏

February's Tau Development Update video is now live! Development Update (Episode 44): 🎥 https://youtu.be/mfOUHJoiFmQ 🔹 New scientist team member Luis Augusto 🔹 Andrei makes great progress on Agoras Live fixes 🔹 David optimized algo for fact loading in TML 🔹 Further TML optimizations. 🔹 Enhancing Boolean Algebra with modulo operators is almost done!

February's Tau Business Update and AMA video is now live! Business Update and Q&A (Episode 43): 🎥 https://youtu.be/UVj_Hr_NjiM 🔹New website content for the next iteration of tau.net is completed and now with designers 🔹Luis M. Augusto joins the team as researcher and scientific writer 🔹Influencer Smitha Kolan is making a series of Tau videos. 🔹Further progress being made on hiring blockchain developer 🏆 Community member of the month: Andrew

Remember to provide your questions for our next monthly Q&A: http://bit.ly/TauchainQuestionForm Thank you! 🙏

The transcript for the latest Tau ($AGRS) Development Update | January 2022 (Ep. 42) is now available: https://tauchain.medium.com/tau-agrs-development-update-january-2022-ep-42-73fb3cb442d8

The Tau Development update for January is live! Development Update (Episode 42): 🎥 https://youtu.be/_66PA5xgG0s 🔹 David has joined the development team as TML Developer 🔹 Team close to implementing Earley parser into the TML runtime environment 🔹 Fortmatic and Metamask wallet support added to Agoras Live 🔹 Agoras live being tested over the coming months 🔹 Trezor Agoras token integration awaiting approval 🔹 Progress encoding Tau's Boolean algebras of interest in MSO logic 🔹 Tau Merchandise to be available around March/April 🔹 New website updates to be live around February/March

The transcript for January's 2022 Business and Q&A update (Ep. 41) is now available: https://tauchain.medium.com/tau-agrs-business-update-and-q-a-january-2022-ep-41-5905ae009b3 Don't forget to provide your questions for our next monthly Q&A: http://bit.ly/TauchainQuestionForm

The Tau Business Update and Q&A for January is now live! Business Update and Q&A (Episode 41): https://youtu.be/BmOw20iY2HU 🔹Main focus: New website (tau.net) which is close to being finished 🔹Hired web designer, front-end developer & SEO manager 🔹Development of PR trigger list 🔹Work on visual language of Tau progressing 🔹Onboarding of YouTuber in progress 🔹Onboarding of Jamie as Social Media Manager / Creative Producer in progress 🔹Continued outreach to scientific writers 🏆 Community members of the month: Andrew — Please provide your questions for the next monthly update: http://bit.ly/TauchainQuestionForm

Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm The recording will happen today! Thank you! 🙏

The transcripts for the December Update videos are live now: Tau ($AGRS) Business Update and Q&A | December 2021 (Ep. 39): https://tauchain.medium.com/tau-agrs-business-update-and-q-a-december-2021-ep-39-7bb83fbcb827 Tau ($AGRS) Development Update | December 2021 (Ep. 40): https://tauchain.medium.com/tau-agrs-development-update-december-2021-ep-40-29c682f0709d Provide your questions for the next monthly update: http://bit.ly/TauchainQuestionForm Thank you! 🙏

The Tau December updates are live! Business Update and Q&A (Episode 39): 🎥 https://youtu.be/Tqozj_axSsk Highlights include: 🔹Interview release: https://youtu.be/DfnaQ2y2rxY 🔹Bitcoin.com podcast on Tau: https://news.bitcoin.com/tau-chain-founder-ohad-asor-and-prof-franconi-explain-logical-ai-and-how-to-trade-knowledge/ 🔹Completed Cointelegraph article (to be posted in January) 🔹Content development for new website 🔹Further lookout for scientific writers 🔹Onboarding of Smitha (YouTuber) in progress 🔹Structural & marketing planning for 2022 🏆 Community members of the month: SysD & Anon Development Update (Episode 40): 🎥 https://youtu.be/7hhZ9hSeWWE Highlights include: 🔹Agoras Live web application fully developed, ready for testing. 🔹TML 1.0 ready for release & testing (https://tml.idni.org/) 🔹Continued work on Earley parser 🔹Continued work on enhancing Tau's logical framework to be able to specify programs We're wishing you all a wonderful start into 2022 and with a team stronger than ever, we are extremely excited for what we together will be able to achieve this year and beyond. Thanks for being part of this journey!🍀

The transcripts for the November business & development update are now live for you to read: Business Update & Q&A: https://tauchain.medium.com/tau-agrs-business-update-and-q-a-november-2021-ep-37-f0b15f9bf4ff Development Update: https://tauchain.medium.com/tau-agrs-development-update-november-2021-ep-38-8f5b56970097 Have fun!

We're happy to share with you the interview between Ohad, Prof. Franconi and the host Smitha Kolan about Tau, Agoras & Logical AI: 🎥https://youtu.be/DfnaQ2y2rxY Let's return some love to Smitha and her audience by liking the video and leaving a positive comment. Enjoy!

ProBit just launched the AGRS/BTC trading pair: https://www.probit.com/app/exchange/AGRS-BTC Have fun trading!

The Tau development update for November (Episode 38) is now live! Watch it here: 🎥 https://youtu.be/SHp_el-VOM4 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

The Tau business update & Q&A for November (Episode 37) is out now! Watch it here: 🎥 https://youtu.be/wfw0nS3cL0Q 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

The transcripts for the Tau October update videos are now live for you to read: Tau Business Update and Q&A | October 2021 (Ep. 35): https://tauchain.medium.com/tau-business-update-and-q-a-october-2021-ep-35-ec86198e5860 Tau Development Update | October 2021 (Ep. 36): https://tauchain.medium.com/tau-development-update-october-2021-ep-36-f81909679b7d

The Tau development update for October (Episode 36) is now live! Watch it here: 🎥 https://youtu.be/gqwUvSKGPy0 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.

The Tau business update & Q&A for October (Episode 35) is out now! Watch it here: 🎥 https://youtu.be/F0jIO9I6C_U 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

Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm The recording will happen tomorrow, October 29th. Thank you! 🙏

The transcript of the Tau Development Update for September 2021 (Episode 34) is out now: https://tauchain.medium.com/tau-development-update-september-2021-ep-34-b9ebef565d94

The transcript of the Tau Business Update and Q&A for September 2021 (Episode 33) is out now: https://tauchain.medium.com/tau-business-update-and-q-a-september-2021-episode-33-7f6fb1651f32

The Tau development update for September (Episode 34) is out now! Watch it here: 🎥 https://youtu.be/AOg-Vv3Cuqs 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

The Tau business update & Q&A for September (Episode 33) is out now! Watch it here: 🎥 https://youtu.be/GwGN8k-stDg Highlights include: 🔹Coinmarketcap updated our rank: https://coinmarketcap.com/currencies/agoras-tokens/ 🔹Tau article finalization 🔹Website redesign in progress 🔹Influencer outreach progressing 🔹Press outreach progressing 🔹Pitchdeck & Agoras logo redesign 🔹Blockchain developer hiring in progress 🏆Community Member of the Month: Igor

Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm The recording will happen tomorrow, October 1st. Thank you! 🙏

We finally got our market cap and rank back on Coinmarketcap! https://coinmarketcap.com/currencies/agoras-tokens/ With a circulating supply of approximately 18,000,000 AGRS, our current market cap is $13.5 million securing us rank 860.

The transcript of the Tau Business Update and Q&A for August is now live: https://tauchain.medium.com/tau-business-update-and-q-a-august-2021-36273d5a5fda

The Tau business update & Q&A for August is out now! Watch it here: 🎥 https://youtu.be/Dk2TdbR8KTU Highlights include: 🔹Revelation of the new Tau logo 🔹Influencer outreach progressing 🔹Press outreach progressing 🔹Exchange listing being finalized 🏆Community Member of the Month: When_Lambo_When_Moon

For anyone looking to spread the word about Tau & Agoras using the tokenomics infographic, please from now on use this updated version of it (the previous one showed an incorrect circulating supply):

📢 Agoras (AGRS) is now listed on BitGlobal (formerly Bithumb)! 📢 Global (formerly Bithumb) has been founded in 2014 and currently is South Korea’s largest cryptocurrency exchange, having 8 million registered users, 1M mobile app users and a current cumulative transaction volume exceeding 1 trillion US dollars. Therefore, being listed on BitGlobal is another crucial step for us towards facilitating worldwide access to trading AGRS. In particular, you can trade AGRS for USDT via BitGlobal: https://www.bithumb.pro/en-us/exchange/professional?q=AGRS-USDT Trading Competition: 34,000 AGRS Prize Pool BitGlobal also hosts a trading competition with a total prize pool of 34,000 AGRS. Check the link below for more information on how to participate: https://support.bithumb.pro/hc/en-us/articles/4404783036185--Event-Deposit-Trading-Buying-WIN-34-000-AGRS- Full-length Medium post: https://tauchain.medium.com/agoras-agrs-is-now-listed-on-probit-667f4f206fd1

Channel rules 🔹 No abusive language or attacks 🔹 Constructive criticism and suggestions are welcome but no FUDing, venting, counterproductive negativity etc. 🔹 No shilling of other projects 🔹 No spamming (repeated messages). Allow others to respond. 🔹 Keep messages succinct and related to Tau or Agoras Failure to observe rules can result in a ban.

The transcript for the Tau business update and Q&A for July is now live: https://tauchain.medium.com/tau-business-update-and-q-a-july-2021-ebf8df3d3cc4

The Tau development update for July is out now! https://youtu.be/5zSj99HAIHI Highlights include: 🔹Agoras Live demo & completed payment system redesign 🔹TML Performance improvements 🔹Syntax highlighting implementation 🔹Continued work on 2cnf extraction

The Tau business update and Q&A for July is out now: https://youtu.be/6j3VPIU_q6w Highlights include: 🔹Rebranding (in particular logo design) nears completion 🎨 🔹Evaluation of options to improve tokenomics 👀 🔹Exchange listing(s) imminent 📈 🔹Pitch refinements 🛠 🔹AGRS smart contract audit on the way 🛡 🔹PR process implementation started 🗞 🔹Outreach to related media outlets and reporters🗣 🔹Community Member of the Month: Ethan Chen 🏆

The recording of the monthly development update will happen in about 20 minutes: Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm

The recording of the monthly meeting happens tomorrow. Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm

The transcript of June's monthly business update and Q&A is now live: https://tauchain.medium.com/tau-business-update-and-q-a-june-2021-2abf873c7044

The Tau developer team update for June has now been published: https://www.youtube.com/watch?v=X4eVDtvAAXo Highlights include: 🔹Update and implementation of new features within Agoras Live 🎥 🔹TML: Continued work on Z3 engine integration ⏱ 🔹Finished work on static type system with local type inference ✅ 🔹Continued work on integrating the Sudoku demo in TML ⏱

The Tau business update and Q&A for June is out now: https://youtu.be/KO6Qq8dtTus Highlights include: 🔹Exchange listings in progress 📈 🔹PR content plan outline 📰 🔹Aggregation of marketing channels🔍 🔹Winner of the Tau Supporter Program 🏆

The recording of the monthly meeting happens tomorrow. Please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm Thank you 🙏

"I find the vision on Tau revolutionary and game-changing. The challenge posed by Ohad on grounding Tau on solid formal and logic-based grounds requires a great teams of minds, developers, scientists, but mostly an open mind ready to believe in the challenge. And IDNI has all of that." - Prof. Franconi (https://www.inf.unibz.it/~franconi/) We're still looking for testimonials on our project and would appreciate your contribution. What are your thoughts on Tau, Agoras and the project as a whole? Submit your testimonial here: https://docs.google.com/forms/d/e/1FAIpQLSdTkadBwRB0gjeAxUT1afD2BMB9syhaNWNUeCqJ_bczAoYMYQ/viewform

✅ Development Team Update (May 2021): The development update for May is now ready to watch via our YouTube channel: https://youtu.be/CecjQEBWz7c Some of the highlights include: 🔹Agoras Live nears completion (Live Demo: https://youtu.be/CecjQEBWz7c?t=824) 🔹Progress on finding a language that is able to reason about consistency of sentences in the same language in a self-referential way 🔹Performance improvements for BDD implementation related to its hashing algorithm 🔹 Further TML Optimizations 👂Feedback and questions are welcome!👂

We're still welcoming you to provide a short testimonial about Tau as a project via this link: https://forms.gle/nmPFajHtamQVi9Cb8 It will help us a lot to convey the significance of our endeavour to the outside world. Also, please provide your questions for the monthly Q&A using this link: http://bit.ly/TauchainQuestionForm Thank you very much! 💪

The Transcript of the April 2021 Development Update is now live: https://tauchain.medium.com/tauchain-development-update-april-2021-f96ed9f0131f