🛠 July's Development Video is here! 🎥 https://youtu.be/OfPXFtSeUyE 👈 🔹Andrei has made substantial progress in bridging Tau and ChatGPT. This month, he devised a way for ChatGPT to transform user input into a format suitable for Tau processing, resolving a long-standing issue concerning user input. The integration with ChatGPT now offers numerous opportunities for the central Tau system, with a paramount focus on maintaining precision in implementations to prevent logic errors. 🔹Tomáš has advanced his work on TML, the Tau parser library. Alongside his development, he has fortified the library's documentation, concluding the CSV tutorial for the Tau parser library. Moreover, he addressed and resolved several library bugs identified during testing, notably issues concerning conjunction, negations, and specifying maximum input length. 🔹David has focused on the Tau language, improving the rewriting system. He has been refactoring to integrate it with the early parser project. David has been diligently creating integration and unit tests for the rewriting system, preparing it for its integration phase in Tau. 🔹Umar's has been concentrating on the Tau parcel library, specifically improving its storage efficiency. He introduced a new storage system named 'single-ended storage', optimal during parsing and forest generation. Through rigorous experimentation, Umar identified a balanced relationship between storage capacity, garbage collection, and retrieval speeds. Additionally, he fixed specific bugs, incorporated stress tests, and analyzed the implications of the new storage system on binarization and overall performance. 🔹Ohad has been focusing on the two-variable fragments. These fragments are of two distinct types: those with counting and those without. This month marked a significant accomplishment: completing the fragment without counting. This was not just any completion, but a robust one that paves the way for extensions into other intricate logics. Furthermore, this achievement enhances the Tau language and positions it as both a foundational knowledge representation language and a base logic that Tau can further expand. This is undeniably a commendable achievement. Our attention has shifted towards developing the counting component of the two-variable fragment. We are optimistic about the results and eagerly await another milestone.

💼 July's Business Monthly update is here! 🎥 https://youtu.be/-9HM-cqmRsQ 👈 🔹 Igor emphasized the development of a new web page. He's created numerous infographics and charts to illustrate how Tau outperforms other formal physics specification languages. An upcoming overhaul of the website's design includes changes to its colours, fonts, and column structures. Igor hopes to present the refreshed visual aspect of Tau in the coming weeks. 🔹Karolina has been focusing on a website makeover for Tau, emphasizing its new role in the formal specification market. Together with Fola, they've been enhancing content for the home and product pages, aiming to present Tau's features effectively and understandably. 🔹 Kilian shared that he spent the month aggregating various online forums, discussion groups, and mailing lists centred around formal methods and model-based system engineering, aligning with Tau's domain. Together with Fola, they've disseminated content on these platforms, receiving technical feedback. Kilian collaborates with the team to address these responses, aiming to enhance Tau's visibility and influence in these pertinent communities. 🔹 Fola detailed his involvement alongside Igor and Karolina, focusing intensively on the website content, including the home page, Tau page, Talent page, and $AGRS page. They're honing their portrayal of formal methods and their significance in the software development world, especially in the context of blockchain. Fola highlighted the team's rapid progress and thanked everyone for their efforts.

📣July's Questions & Answers Video from the team is live! 🎥 https://youtu.be/2168Dhpua-8 👈 Ask your question for next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/

🛠 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.

💼 Business Monthly update is here! 🎥 https://youtu.be/13FMg8cPs3c 👈 🔹 Kilian has enhanced his understanding of Tau on a technical and theoretical level, aiming to explain it to various audiences effectively. E.g. community, potential investors, VC scouts, and design partners. He's compiled a list of possible design partners, recognizing the importance of relevant partners in fundraising efforts. Kilian has also made further progress through follow-ups with VC scouts. 🔹 Igor has focused on setting up the Facebook group, removing explicit content and bots. He has also worked on creating a Facebook business-style page and addressing the FAQ document related to Tau Net. Additionally, Igor has conducted marketing research, particularly regarding AMAs and company audits for their crypto token. 🔹Karolina has worked on defining the style features and positioning of Tau in the formal specification market, creating a comprehensive document that highlights Tau's unique selling points and their supporting technical aspects. The document will be the basis for upcoming content, starting with a website update. Prof. Franconi and others are assisting in refining the definitions and emphasizing important aspects. The team will use this updated positioning to brief the designer on implementing the Tau brand book, ensuring visual identity aligns with the strategic positioning. 🔹 Fola has been involved in all of the above. He's added another VC Scout to the team, who brings professionalism and a successful track record in fundraising. Expecting the addition will help expedite the fundraise and close the round this year. 🏆Community members of the month is @ndrEw and Felix for their continued Content creation and support. Great work!

📣June's Questions & Answers Video from the team is live! 🎥https://youtu.be/tV-KTqh9bY8 👈 Thanks for all your questions - Have yours answered next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/

🛠 May's Development Video is here! 🎥 https://youtu.be/ht2HGwK13ys 👈 🔹 Ohad continues to work on the patents to satisfy the requirements set by the patent lawyers. He's collaborating with Professor Parys on developing the Knowledge Representation Language. Regrettably, powerful enough knowledge representation languages have not been effectively implemented over the past decade, leading to a necessity to delve into this area. Fortunately, they already have a strong foundation, as a significant portion of the existing work can be converted into the Tau language. Consequently, efforts are ongoing to accomplish this transformation. 🔹 Andrei has been working on the Tau chain Testnet, identifying integration points with TML and refining the Tau Live application by improving the scheduling system and search operations. 🔹 Tomáš is integrating the new parser into the TML library, fixing bugs and refactoring the code. He has also started working on user-level documentation for the Tau parser library. 🔹 Luca is finalizing the implementation of the 2CNF extraction from BDDs and is incorporating suggestions for improvement. He is also documenting the algorithm and its implementation. 🔹 David has been working on the Earley parser, suggesting improvements to the graph representation that Umar implemented. He is also developing the Tau rewriting system and working on testing and writing the Tau grammar. 🔹 Umar has focused on improving the core functionality of the Earley parser, particularly enhancing the garbage collection process and implementing suggestions from David and Tomáš.

💼 The Business Monthly update is here! 🎥 https://youtu.be/AwQvdLTtEGo 👈 🔹 Kilian Organized VC Scout calls and received positive feedback. He created a VC scout database to accelerate outreach efforts and partnerships. He aggregated companies in the model-based Enterprise field as design partners for Tau and updated company profiles on platforms like Pitchbook and Crunchbase to attract VCs and angel investors. 🔹 Igor focused on redesigning the pitch deck and creating two versions to accommodate responses from VC Scouts. He addressed website fixes, including header issues, and added custom CSS code for responsive design. Igor also redesigned the parser/library page and implemented a form for users to request access to Tau products. 🔹Karolina is drafting an article comparing Tau with other AI-based software solutions. She collaborated with the team to refine the article and amended the Tel product page copy. Additionally, Karolina focused on fine-tuning Tau's positioning and adjusting the website copy. 🔹 Fola was Involved in various company activities, including the above. He's working alongside the UI/UX design team on Tau mock-ups and conducting research for accurate positioning. Focused on refining and publicizing information about Tau to communicate its benefits precisely. 🏆The community member of the month is @ndrEw for his continued videos and contributions. Great work!

📣Our latest round of Questions & Answers is here! 🎥 https://youtu.be/3iczs6S8PBs 👈 If your question didn't make it this time, fear not! Ask it here for our upcoming session next month. http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/

Today will be the recording of the monthly update video. Make sure to ask your questions for the Q&A: http://bit.ly/TauchainQuestionForm 🙏

🛠 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.

💼 Business update is here! Get the latest on events and plans in our new video. April's Business Video Update 🎥 https://youtu.be/wJmz5LCqdP4 👈 🔹 Kilian prioritized AI safety in their pitch deck and conducted outreach to VC Scouts, resulting in positive response rates and meetings. Kilian and Fola have approached EU legislators with their vision for AI safety. 🔹 Igor focused on design work after helping with VC outreach. The website saw multiple updates, and a landing page is planned as part of the marketing strategy. They are also working on creating a Wikipedia page and writing publications to improve SEO. 🔹Karolina updated the home page and created an FAQ section. She collaborated with UX experts to create a Tau walkthrough and improve website SEO. Next, she will work on PR for Italy and more website updates. 🔹 Fola was part of the team involved in VC Scout calls. They improved their pitch, recording a video for VCs. They've been working on design updates and the website's copy you would have seen rolled out in recent website updates. 🏆Community member of the month is @ndrEw for his contribution efforts. Thank you!

📣April's Questions & Answers Video from the team is live! 🎥 https://youtu.be/cA9p4T9t80Q 👈 Ask your question to be answered next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/ 🔹Questions & Timestamps:🔹 00:00 Intro 00:23 What advantages does Tauchain-Agoras offer over ChatGPT? 03:23 Why doesn't the team use a market maker or provide liquidity on Uniswap, despite many other projects doing so? 03:53 Can the team reconsider adding liquidity on Uniswap despite legal concerns? 04:25 If 100 users in group A prefer version X of Tau's next version, but one user (user B) wants version Y, will user B's preference be accommodated? If not, will user B be isolated and forced to create their own chain, potentially attracting other future users from version Y? 05:27 Regarding TML Playground: 1. I noticed in the folder arith/mul1.tml that a multiplication operation is being performed. What do the results mean? 2. Can you explain what the "sudoku game" example is trying to demonstrate about TML? 06:50 Outro. Something new for future Q&As.

We've updated our Twitter handle to https://twitter.com/TauLogicAI

🛠 March's Development Video is here! 🎥 https://youtu.be/A67GE7xkP4s 👈 🔹 Ohad continues his work on the Tau language, the implementation and its patent. 🔹 Andrei's been finalizing the Tau Live application and fixing the last issues with the Metamask login. As a result, the team is now nearing the Beta release. 🔹 Tomáš has been focused on the parser side of the project, where he fixed several bugs in the new Earley parser. He added new meaning for nested programs to work as rules instead of just sequences. Additionally, he started removing the old parser and relying solely on the new one. For this, he had to add a few transformations of TML structures. 🔹 Lucca's been collaborating with Ohad on specializing BDDs for various data types. He added an optional templated BDD library to reverse the variable order and developed new negation and disjunction algorithms for the two CNF extractions in BDD. He has been working on this project for a long time and making significant progress. 🔹 David's been finalizing the TML release. He has been cleaning up the code base, merging a lot of the conditionally compiled code and removing some of it. He also resolved many compiler warnings and addressed issues raised by the static code analysis tool, SonarQube. David also made some touch-ups on the TML optimization by evaluating rules against randomly generated databases to develop a new method for assessing the rule costs. 🔹 Umar's been primarily focused on developing the garbage collection algorithm for Earley items. This task required the team to investigate how these items can be safely removed once completed or if the scan fails without compromising the overall parsing success. Umar' ha's been experimenting with various approaches, and the work is still underway. It is hoped that the team will make significant headway on this project in the coming month.

💼 Business update is here! March's Business Video Update 🎥 https://youtu.be/JHCiYIDNPEo 👈 🔹 Kilian's been fully dedicated to VC aggregation and outreach this month and has received a few dozen responses. He has also scheduled a meeting with one of the VCs next week. While he cannot provide specific details yet, he hopes to do so soon. 🔹 Igor's been busy making changes to the website. As users may have noticed, Igor has started to make changes to the website's header and has edited copy. Additionally, he has corrected a few typos that Andrew found. Regarding other contributions, Igor designed a few images published in an article on bitcoin.com and updated some details in the pitch deck. Igor has also assisted Killian with outreach efforts by collecting information about various VCs. He has expanded the list recently, and this work is ongoing. 🔹 Karolina's focused on the marketing strategy for upcoming products, specifically TML and the Tau Parser Library. The research stage is complete, including analysing the target customer profile and the competition. The following steps involve drafting marketing strategies for both products and implementing them. In addition, Karolina has assisted in fine-tuning the messaging for investor outreach efforts, working with Fola and Kilian. She has also updated the website copy and created SEO descriptions for the Tau website. Karolina has collaborated with the designer on the brand book, proposing interesting branding elements and ways to use them in future website updates. The look of Tau is coming together nicely. 🔹 Fola's been working on the various projects Karolina, Killian, and Igor mentioned. Specifically, Fola has been impressed with the design ideas, which have greatly improved thanks to the hard work of their designers. The next version will showcase a massive difference, with leaps forward from the previous site. Fola has also been simplifying the website copy, making it easier for people to understand the core aspects of Tau and its products. This work is essential to help users understand Tau's position and how they distribute their products. In addition, Fola's been focused on fundraising. They have been speaking with numerous VCs, using their feedback to fine-tune the messaging and website content. 🏆The community member of the month is @ndrEw for his continued videos and contributions. Great work!

📣March's Questions & Answers Video from the team is live! 🎥 https://youtu.be/WH3T9IYS6-U 👈 Ask your question to be answered next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/ 🔹Questions & Timestamps:🔹 00:00 Intro 00:23 Can you explain how TML learns from experience and runs faster over time, even for unrelated computations? 01:04 Tau is the case where X=Y. Can this formula or function be considered the core/engine of an AGI? 01:20 How will Tau initially populate its database with world knowledge? Can it use GPT-4 to approximate and fill the database, or must it be built from scratch through user input in a controlled natural language (CNL)?

Check out our latest article published on Bitcoin.com! Learn about Agoras, the first user-controlled cryptocurrency powered by logical AI on the Tau Net blockchain network, and how this unique approach sets Agoras apart from other cryptocurrencies: https://news.bitcoin.com/agoras-leads-the-way-in-ai-based-user-controlled-cryptocurrency/

🛠 February's Dev Video is up! 🎥 https://youtu.be/FfSMy0kSjzY👈 🔹 Ohad continues his work on the code of the Tau language and its patent. 🔹 David has been working on optimizing procedures for TML release tasks and managed to merge three steps into one, significantly reducing time complexity. He is currently testing and debugging the code. 🔹Lucca first implemented options for the BDD library to toggle variable shifters, input inverters, and output inverters. They also added caches to improve computation time. Secondly, they developed a solution to preserve canonicity during the negation of pure 2CNF formula for 2CNF formulas not attached to a BDD and started implementing it. 🔹 Tomáš is still working on the Earley parser for TML and is nearly finished replacing the old parser with the new one. He has also been working on TML's transform grammar and fixing bugs related to conjunction and negation. 🔹 Umar has improved the parse trees by simplifying and making them more intuitive with added functionality. He replaced some nodes with their children and created a CSV parser to demonstrate how to remove temporary nodes created during recursion and make the tree more intuitive. 🔹 Andrei has been working on the Tau live platform. He resolved an issue with cards not displaying correctly on all platforms and improved the search function with more filters and category search features. Additionally, he assisted with updating the website tau.net

💼 Business update is here! 🎥 https://youtu.be/Gla3GDllLBo 👈 🔹 Karolina announced www.tau.net 's update and continues to work on PR ideas for next month, including a press release about [[Tau's partnership with Nvidia]]. Karolina highlights that the partnership will provide access to Nvidia's technology, experts, and opportunities for marketing and visibility. 🔹 Kilian reported on the company's outreach efforts in the AI blockchain space, website feedback, and VC contact gathering. He's created a social media task plan and is looking for a dedicated social media manager. 🏆 The community member of the month is @ndrEw for his continued videos and contributions. Great work! 🔹 Igor's been involved in completing the website, including imagery, infographics, and videos implemented recently. Igor has also collaborated with Killian and Felix on social media images. 🔹 Fola's been heavily involved in the website update and highlights the team's plans for VC outreach and marketing efforts, including articles and press releases. He noted that the improved website has made it easier for people to understand the project without diving into the white paper, establishing a solid foundation for the company.

📣February's Questions & Answers Video from the team is live! 🎥 https://youtu.be/4fa3dY0e-UM 👈 Ask your question for next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/ 🔹Questions & Timestamps:🔹 00:00 Intro 00:23 Will AGRS be used as gas on the Tau mainnet? 00:44 Will there be an airdrop for Tau tokens and AGRS holders? 00:57 Is there an airdrop for the community? 01:10 Are Tau-based tokenization standards planned for the future? 01:30 Can Tau work on the Maidsafe network or Holochain instead of its own blockchain?

Networked human and machine intelligence is likely to outperform standalone AI systems. #TauNet

Dear Tau community, We are thrilled to announce that our new website (www.tau.net) has officially launched, and we invite you all to take a look! Our team has been working hard to create a more user-friendly, informative, and engaging website that truly represents the potential of Tau's groundbreaking technology. The new website provides a comprehensive overview of Tau's suite of products and services, including Tau Net, Agoras, and Tau Live. It also features a more detailed explanation of Tau's logic-based AI and its unique approach to decentralized collaborative software development. Additionally, you'll find more information on Agoras ($AGRS), the medium of exchange within Tau's knowledge economy. One of our goals with the new website is to make it easier for newcomers to understand what Tau is all about, and to see the real-world applications of our technology. We hope that the updated design, content, and features will help achieve this goal. We'd like to thank the entire Tau community for your continued support and feedback throughout our journey. We believe that Tau has the potential to revolutionize the way people interact with technology and with each other, and we're excited to have you along for the ride. Please feel free to explore the new website, share it with your friends and colleagues, and let us know what you think! Your feedback is always valuable to us and helps us improve our products and services. Thank you again for your continued support. Best regards, The Tau Team

RT @TauChainOrg: @CoinMarketCap Tau Net solutions will improve many aspects of #Crypto , from discussion-scaling, to knowledge monetization…

💼 Business update is here! January's Business Video Update 🎥 https://youtu.be/HzFR6j0dDBo 👈 🔹 Karolina's been focused on finalising the website design. Tau Net, Agoras, and Tau Live will have separate product pages, making it easier to drive traffic directly to them in the future. The branding designer is polishing two logo options for the Tau software development tool, and the website will be launching with a lot of new content, with new and improved branding coming at a later date. Karolina's created a Voice Over script for a video explaining the differences between the old software development methods and the Tau method. 🔹 Kilian continues his assistance on the website and aggregating VC's contacts. Researched articles and influencers covering the AI blockchain narrative and have started to contact them, looking to get featured on as many as possible. He helped get the project listed on CMC's AI and extensive data section and CryptoSlate, increasing the project's visibility and publicity. Thanks to Fofo for recommending us to get listed on CMC and CoinGecko. 🏆 Community members of the month are @ndrEw (I help people learn TAU) for his continued videos and @fososon for his recommendations. Great work! 🔹 Igor continues his work with web developers to create a section for project updates, including monthly development updates and videos. A unique page for Tau Net is being redesigned with extra features to make it easier for users to understand how it works. Additionally, Igor has been working on cover photos for all social media channels and assisted Jamie with the video animation, as the video editor needed some elements implemented. 🔹 Fola's involved in all of the above and states that the website copy has a new angle, and the company is positioning itself as a strong leader in the AI space with a focus on AI blockchain projects. He highlights that AI is not just what they do, but it is indeed what defines the company, and it's not just any AI but logical AI. The team reframed the content to communicate this aspect of their work effectively.

🥇@GaryMarcus 🥈@ylecun 🥉Everyone else Your critiques inspire like-minded experts like https://t.co/qij2INDV5Z to build effective solutions to improve AI to be more capable of genuine understanding. #Tauchain

1 of many reasons we're taking a Logical/Symbolic AI approach. Mechanization of logical reasoning: 🔹Finding contradictions. 🔹Determining whether a conclusion follows from given assumptions. 🔹Guaranteeing that specific undesired outcomes never occur. https://t.co/z3sJkGbQRi

🛠️ https://t.co/IouQK63crg Development update! Stay on top of our latest project advancements in our our new video. https://t.co/FBejQu8h6f

🛠 January's Development Video is here! 🎥 https://youtu.be/TxzNS4ll5h0👈 🔹 Ohad continued work on the code of the Tau language and is pursuing a professional patent to ensure that the code and intellectual property of the Tau language can be published without competition from others. 🔹 Luca is working on improving BDD performance and has extracted two CNFs, integrated the persistent canonical graph data structure into CNFs, and is close to releasing a BDD library version with the 2CNFs. He is also producing a templated version of the BDDs. 🔹 David is working on bringing the TML release to reality. He has cleaned up the TML codebase, performed static analysis using SonarQube to check for quality and potential defects, and revisited the TML optimization levels. 🔹 Tomáš is working on the Earley parser for both TML and Tau. He has finished the TML grammar language and is using it to implement TML itself using the Earley parser for TML. 🔹 Umar has also continued working on the Earley parser. He is improving error handling by accurately locating parsing errors and enhancing the traversal of the trees after parsing. 🔹 Andrei has wrapped up the Agoras live application, renamed "Tau Live". He has fixed the remaining issues found by testers and is looking forward to releasing an early beta version.

#DecentralizedAI is one of the many solutions that Tau Net and Agoras ($AGRS) will offer. Once mainnet launches, the world's first fully user-controlled #AIBlockchain will enable its entire user base to collectively evolve the chain, simply by communicating with it. #AICrypto

Follow us on Coinmarketcap as we're looking to build our community there, too: https://t.co/1v7kV9mYcw #AICoins #AIBlockchain $AGRS

2018 @swardley: Conversational programming will be huge. https://t.co/IouQK63KgO : You're not mad. We're building Tau. https://t.co/3tS9tLveAH 2012 Me : OpenStack is a dead duck X : You're mad. 2014 Me : Serverless will be huge. X : You're mad. 2015 Me : Capital flow will be huge. X : You're mad. 2017 Me : Kubernetes is a dead duck X : You're mad. 2018 Me : Conversational programming will be huge. X : You're mad.

📣 Have your questions answered in our upcoming monthly FAQ using the form below. Thanks for all your questions so far! http://bit.ly/TauchainQuestionForm

https://0xdevendra.beehiiv.com/p/tau-net-top-ai-based-blockchain-project A first in artificial intelligence: Tau Language contains numerous breakthroughs for software development and AI, including the ability for users to specify their meaning to the system in human-readable languages and the system to completely reason over what they say, deriving logical conclusions from the knowledge within its system. "Tau is an Nvidia partnership program member that is gaining traction in the AI industry, with demos scheduled for 2023."

#ChatGPT just proved what we said so many times: that it (machine learning) cannot do logic and cannot detect contradictions. https://t.co/J60gdtGfjE

The ChatGPT moment for #AI + #blockchain will be when people see discussion scaling and automatic network upgrades based on users' consensus. Welcome to the world of Tau Net @satyanadella. https://t.co/sZuvzc93WF “We believe in #AI and #Blockchain and we support all of it. But - What is the ChatGPT moment for blockchain?” said @satyanadella @Microsoft this morning at a @WSJ early breakfast reception #wef23 #davos https://t.co/DhdzTUVooF

"This" = https://t.co/IouQK63crg https://t.co/aNvEvZ9gAk This could be the defining deal for a new era of artificial intelligence.

If you're into #ChatGPT and #blockchain, then you should learn about https://t.co/1amhXY3Gnc, a logic-based AI blockchain project from 2015. Its unique #AI engine enables the creation of the world's first marketplace to trade specific pieces of knowledge for cash ($AGRS).

December's Development Video Update is Live! 🎥 https://youtu.be/qxMnbc-UrTA 👈 🔹Ohad has started working on the Tau language by creating a new repository on GitHub with some initial code. On the theoretical side, Ohad and the academic team are figuring out how to allow Tau to refer to future updates, even those beyond its current capabilities. This involves adding a time dimension to the versioning system, similar to how we already use temporal logic to refer to the point in time and the steps of the program. 🔹David finished a long overdue refactoring of the TML code, eliminating several class interdependencies which did not need to be there, which simplified the TML code, in general. He also fixed all the regression tests that broke in the process, which was no small feat, and added documentation to the overall TML architecture. He's now working on some maintenance tasks for the TML GitHub repository. 🔹Juan continued his work on first-order logic and TML, reviewing some query-answering semantics. He reviewed the non-prenex formulas and revised some of the first-order logic data type aspects. He's also assisted Karim with TML documentation. 🔹Tomáš continued his work on the Tau parsing library with Umar, where he finished the transformation of the G grammar language. He optimized conjunction resolving in the Tau parsing library and added file and stream input for the parser. He's also started working on the readme file for the parser repository. 🔹Umar working with Tomáš, continued working on the Tau parsing library, where he implemented edge-based retrieval of graphs from the parse forest, providing a maximum core for ambiguous resolving of the grammar. He worked on further tree extractions and provided graphs as entries as new data abstractions in addition to the overall parse forest. 🔹Luca has been working on a 2cnf extraction method for BDDs, which will improve their scalability. However, last month, he encountered a problem where he needed to remove some loops in his graphs. Upon doing so, Luca realized that it caused a split in the graph that caused issues with implications and equality extraction. As a result, he has been exploring a new algorithm that can safely remove loops, specifically by using the Laplacian Matrix of a graph to enhance the extraction algorithm. 🔹While testing Agoras Live on various platforms, Andrei encountered a significant UI issue with one of the components he was using. He was able to identify the problem and find a replacement component. Another UI issue identified was related to the appointment-making process. Early testers reported that it needed to be more intuitive and provide more visibility into the professors' schedules. Andrei worked to address these issues and simplify the process, and it is now ready for further testing.

Last month's Business Video Update is Live! 🎥 https://t.co/0X3fg8YG9v 👈

December's Business Video Update is Live! 🎥 https://youtu.be/vndheq_xhOo 👈 🔹Karolina's been focused on updating the Tau product page. Igor has been working on the design to ensure everything looks good. In addition, an animated video that explains the differences between traditional software development and the Tau method is in progress. This short video will be featured on the new tau website and should help visitors quickly understand the benefits of Tau. We are also continuing to work on the new branding for Tau. We have received some concepts from our designer and have been providing feedback. 🔹 Kilian's continued his aggregation of venture capitalists in the scope of our series A round. He's halted outreach until the new website is launched. He has a long list of VCS in the developer tools and the early-stage sector, so that should make up a promising mix to reach out to once the new year starts. He's also been providing feedback on the new website. 🏆 Community members of the month are @ndrEw for his continued great output of YouTube shorts. Great work! 🔹Igor's continued his work on website design and development alongside Fola and Karolina, including a photo explaining the Tau process. Regarding the animation, he has repaired the elements needed for the design. He's contributing towards improving it to be launched ASAP. As for the pitch deck, he's added a couple more edits, adding a new page as well. He's been in talks with a SEO / Technical Marketing Advisor who will be able to help with that side of the website. 🔹Fola's involved in all of the above. 2023 looks fantastic with the launch of the tau language, the new site, and all the internal marketing efforts the team's preparing.

📣 Happy New Year! Last month's Question & Answers Video from the team is live! 🎥https://youtu.be/-hcyWsqhcdM👈 Ask your question to be answered next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/

https://t.co/6DpD8bZNmW

https://t.co/IouQK63crg tech will enable: - Online conversations at scale, leading to better decisions, more informed participants, and increased mutual understanding. - Better arguments gain credit based on their merits rather than the speaker's identity or presentation style. https://t.co/5KF74hDbMA I hope that Twitter becomes a place for civil debates between people on the left and the right. Many folks will mock this idea. But I refuse to accept cynicism. I think social media, when done well, can be a great place for high-quality, entertaining, good-faith debates.

November's Development Video Update is Live! 🎥 https://youtu.be/_esHy0UR_qQ👈 🔹Ohad has made significant progress with the Tau language by removing the need for hierarchical formulas, which are syntactic restrictions. This has made the language more streamlined, allowing for easier integration of other languages in the future. With these improvements, the Tau language can support multiple languages simultaneously. 🔹David has been making progress on refactoring the built-ins and dictionary tables for the Tau language. He has cleaned up a lot of the code, fixed several bugs, and is now working on the remaining issues. As a result of his refactoring efforts, the code has been simplified and is nearing completion. In addition to this work, David has also been assisting Ohad with mathematical questions related to the Tau language. 🔹Juan has been helping Karim with the TML documentation. He's written a chapter on first-order logic, complete with examples of the problems you can solve in first-order logic. He's also continued to test the TML implementation of non-prenex logical formulas and tested our query-answering capabilities related to first-order logic. 🔹Tomáš continued his work on the parser. In collaboration with Umar, he's implemented an enhanced grammar that stores everything in disjunctive normal form; this has allowed us to implement conjunction and negation of grammatical terms, which is a powerful feature. It has also allowed C++ programmers to have an easier way of defining grammars. He's also added the EBDF support right into the parser. 🔹Luca has been working on improving the two CNF extraction feature. Luca encountered cyclical graphs that needed untangling, so he implemented an algorithm to remove loops in graphs and constant variables. This has helped to move the two CNF formulas closer to their canonical form. In addition to this work, Luca has also been participating in the MSO lectures with Luis and Ohad. 🔹Umar has been collaborating with Tomas on the parser. They have implemented an additional layer of graphs on top of the shared packed forest, making the graphs acyclical and free of ambiguities. This makes it easier to extract parse trees, and it also makes the parser more user-friendly. Additionally, this new layer of graphs is compatible with optimization methods like BNLR. 🔹Andrei has made significant progress in finalizing the Agoras live application testing. He has fixed over 20 issues identified by testers and made several improvements to the scheduling and notification systems. His efforts have contributed significantly to developing and refining the Agoras live application.

AI's Jurassic Park moment https://t.co/lcVG0DsPz7 We need a new AI to fight misinformation. LLMs are good at generating it but bad at fighting it. We must integrate them with classical AI tools like databases, knowledge webs, and reasoning.

November's Business Video Update is Live! 🎥 https://youtu.be/j6zo8MMjRE8👈 🔹Kilian has been reaching out to and following up with venture capitalists. The new narrative for the company, "Introducing a new paradigm for software development," has been successful in generating responses and has led to meetings with reputable VCs. A follow-up podcast with David Shapiro about the knowledge economy and Agoras is being scheduled. 🏆 Community members of the month are @Bereon for the provided transcript and @ndrEw for his incredible output of YouTube shorts. Well done! 🔹Igor is working on redesigning the website with a third-party designer. He has created multiple versions of the new tau logo for review. Igor also helped Kilian with his research on venture capital companies interested in deep-tech AI and hardware. He provided images for a recent Medium article https://annadallara.wordpress.com/2022/11/28/software-that-writes-itself-tau-and-the-future-of-decentralized-ai/ and is working on a Crunchbase page. 🔹Karolina oversaw an article based on David Shapiro's interview written by AI and tech writer. Karolina and Fola have been finishing up the new Tau website adding product pages for TML, Tau language, Parsing library, and more. Karolina has also been working on the branding for the Tau software development methodology product, with both in-house and external design talent creating logo concepts. The team is now reviewing and iterating on the options to ensure the final logo fits their vision. 🔹Fola has worked on all of the above, in particular, updating the website in line with VC documents so that framing is aligned. Fola and the team have updated the Tau Net and Agoras page, making sure to highlight the value for Agoras token holders. We look forward to publishing the new website soon.

📣November's Questions & Answers Video from the team is live! 🎥https://youtu.be/PWMSjpWmb6E👈 Ask your question to be answered next month here: http://bit.ly/TauchainQuestionForm FAQs: https://www.reddit.com/r/tauchain/comments/u6oxuh/tau_frequently_asked_questions_faq/

Software That Writes Itself: Tau and the Future of Decentralized AI https://t.co/R75ipXt9jW

Grand rising community. We could help with some community justice to protect one another. There's a scam Tau FB page that needs to be reported. Scam Tau page: https://www.facebook.com/profile.php?id=100087984587627 Real Tau page: https://www.facebook.com/profile.php?id=100076367809797 Please report the scam page as an impersonator of the real Tau page. Here's how: https://www.facebook.com/help/174210519303259