t.co

👀

t.co

@elonmusk Imagine knowing the honest opinion of 350 million people in real-time. I would expect that everyone would be interested in finding out what the world thinks. Soon a billion people would join the network...then billions.🌍

📣October's Questions & Answers Video from the team is live! 🎥https://youtu.be/DSse0yGcfBk👈 Ask your question to be answered next month here:

bit.ly

FAQs:

www.reddit.com

This month's Development Video Update is Live! 🎥 https://t.co/k4cZt15DWJ👈 Summary:🧵👇

Tune in at 4pm CET today for the premiere of an exciting interview between Ohad, Prof. Franconi & David Shapiro discussing Tau, its theoretical foundations and its implications for our decentralized future:

youtu.be

We just had a great conversation with @dshap_automator. A deep dive into https://t.co/IouQK6kNiO, AI and what the future holds. A great host - Thanks for having us, David. We look forward to it going live. 👍

t.co

Should users be able to control the applications they use?

t.co

is being built to encompass the next phase of society. To allow its users to have a say in how its software should function.

https://t.co/IouQK6kNiO's Blockchain will continuously self-evolve: Tau Net evolves according to the overall agreements between the network-wide base, and it automatically updates with each block in the blockchain holding the next version of Tau Net.

t.co

offers real decentralized governance: 🔹No centralized development team, no tedious proposal process, no information loss as you share an idea, and no technical barriers to make Tau Net be what you want.

Read the latest: “Tau Monthly - Issue #3”

t.co

September's Business Video Update is Live! 🎥https://youtu.be/hOmfQzUrEFI👈 🔹Karolina has started working on the communication of Tau's software development platform, a B2B product that is related to but separate from Tau.net. She's clarified the branding hierarchy and positioning. The next steps are updating the current website and branding the software development tool, starting with a unique logo and adding it to our brand family. Karolina worked on website content with Fola and the rest of the team. She's also been reaching out to selected branding designers to discuss potential partnerships. 🔹Igor has been researching crypto lounges to help with future marketing efforts. He is finalizing the paperwork with one partner and having a meeting next week with the AI New Zealand non-profit partnership. Regarding design, Igor has worked with Karolina on September's articles. He's working on finalizing the pitch deck and working on a new Tau logo. 🔹Kilian continued with materials needed for investors in line with the new framing of Tau as the new paradigm for software development. He's moved his focus to approach more deep-tech VCs. He's been in calls with David Shapiro to discuss the future interview with Ohad and Prof. Franconi. which should be published next month! 🏆 The community member of the month is @AndrewOnizuka! Check out his TML YouTube channel here:

www.youtube.com

https://t.co/IouQK63crg's Logical programming language can do what's believed to be impossible; it can refer to its own sentences. We've found a way to create a highly robust language that can speak about its own sentences in a computationally reasonable way.

Your last chance to get your questions in for this month's Q&A:

bit.ly

"mind blown" by

t.co

t.co

Using a Logical AI framework, we're building a social software development platform that allows users to have efficient discussions regardless of how many participants exist. Our breakthroughs:🧵👇

“When decisions are concave, relying on the wisdom of the crowds can give better answers,” @VitalikButerin. “In these cases, DAO-like structures with large amounts of diverse input going into decision-making can make a lot of sense.”

t.co

Imagine if 1000 experts in every field input their insights as propositions.

t.co

could determine who agrees with whom on what and deduce every logical consequence of their combined wisdom, providing new insights and truths; yielding new perspectives.

t.co

How far will AI go in replacing or augmenting human coders’ labor? According to the experts polled by IEEE Spectrum, coding as we know it may be on its way out.

t.co

$2b has been stolen in hacks this year in crypto.

t.co

will provide provably correct contracts and software made from user agreements.

t.co

What if a large group of people could construct software simply by agreeing on a specification? Where x100 more users result in x100 more utility🧵👇

Basic Knowledge: Logical AI and the Knowledge Challenge

t.co

What if a large group of people could construct software simply by agreeing on a specification? Where x100 more users result in x100 more utility🧵👇

1000 experts in every field input their insight as propositions. https://t.co/1amhXY3Gnc's tech could rapidly detect who agrees with whom on what and deduce every logical consequence of their combined wisdom, in effect arriving at new truths and insights.

t.co

The critical phrase here is "automatically calculate the combined implications of everyone's information". Bottom-up, yet objective inference algorithms augmenting the collective intelligence of organizations and civilization as a whole. That's what @_digitalgaia is doing :)

t.co

Intelligence emerges from cooperation, communication, and collaboration. Imagine a tool invented to help a researcher improve by just 1%. But if 10mil scientists all collaborated with the tool, the rate of scientific progress would be ~ as much as adding 100k new scientists.

t.co

https://t.co/IouQK63crg's breakthrough software specification language will generate software, apps, and programs based on the agreements of various stakeholders. Let's rethink the way we build software from the ground up.

Before the "merge," Ethereum's trust was controlled by the organizations with the most money who bought/built massive data centers, mining it. With the merge & staking, that abstraction layer has disappeared, and it's still the organizations with the most money who control it.

Humans became capable of communicating with machines via written languages that no one really speaks, called programming languages. You can do amazing things with these languages, but only a logical programming language gives you the power of truth.

Basic Logic: How to Make Classical Logic Machine-Readable

t.co

https://t.co/IouQK63crg's software specification language supports infinite data words, a theoretical and practical limitation of existing specification languages and one reason for the insufficient expressiveness of existing specification languages. 👇

In computer science, self-reference is crucial in proving many systems' limitations.

t.co

achieved what was thought impossible and invented a highly robust logic programming language that can speak about its own sentences in a computationally reasonable way.

2 disagreements: @willmacaskill estimates AI risk as 3% chance vs. Lifland treats it at 35%; MacAskill thinks 35% chance of dangerous tech stagnation vs. @eli_lifland's 5%. Both opinions formalized on

t.co

would show the clear implications and priorities. 🤝

Read our latest: “https://t.co/IouQK63crg Monthly Newsletter #2”

t.co

August's Development Video Update is Live! 🎥 https://youtu.be/x9R-8NJGG20👈 Summary: 🔹Ohad's been working with Prof. Franconi and Dr. Paweł Parys on the new Tau language. It has the temporal software specification part, which they got to understand better. It's basically done and very promising! They mainly continued with the knowledge representation part. The goal is to translate knowledge representation languages, also called description Logics, into our existing engines, which are Boolean algebra engines. Doing so means the whole thing will be much less complex and much faster developed. On this front, they've made significant progress in showing how very rich description Logic encodes into Boolean algebra. Why hasn't this been done by someone before? One would need to know about good decision procedures for Boolean algebra, which did not exist until Ohad found a solution. Regarding the Tau language, Ohad's managed to answer all open questions regarding the software specification and almost all available questions regarding description Logic, and knowledge representation. Ohad's beginning to implement the Tau language so people can play with it ASAP. 🔹Juan, who's been focusing on first-order Logic, has started working on an implementation that's a transformation initially suggested by Ohad, which takes first-order logic programs and turns them into disjunctive normal formulas or plain TML formulas for execution. A new approach for handling first-order Logic in TML. He's currently finishing up plugging in that transformation algorithm into the TML runtime. 🔹Tomáš undertook a significant task of splitting the software BDD library and the Earley parser, developed this year, into two libraries and repositories that will promote reuse in future projects. He's working on another task from Ohad; removing dependence on raw program structures and going directly from parse trees to Cloud programs. A task that everybody has been working on this month. 🔹David has finished his work on squaring of TML programs and is currently performance testing. He's also re-implemented the query containment using the Z3 engine and changed a lot of code, eliminating raw programs going directly to flat programs. He's reworked query optimizations, written unit testing for all the individual functionality, and tested everything using randomly generated TML programs. He's using a static analysis tool called @SonarLint to detect issues with code and to improve code quality. 🔹Andrei has worked with our tester to fix issues uncovered in the first two testing phases. He's continuously improved the core of the application and the areas of video conferencing and scheduling. He's trying to make it easier for users to acquire Agoras to pay for video sessions. He's doing that by connecting directly to distributed crypto exchanges. 🔹Luis, on Logic and decidability, has been working on finite tree automata and tree languages and guarded fixed point logic with tableau. He's working on weekly technical articles on central topics of logical Ai.

August's Business Video Update is Live! 🎥https://youtu.be/WuQab_p9FZY👈 Summary: 🔹 Karolina released four weekly articles that introduced the basic concepts of logical AI. The topic will be continuing next month so expect to see new articles coming out each week. Business positioning for idni brands since IDNI has many use cases in the works: decentralized social network, software development tools, TML, Tau's spec language, etc. She is currently working on a brand hierarchy structure, making it easier to differentiate between the products and will help us communicate them more. 🔹Kilian continued outreach to VCs and, based on the feedback, changed the way we frame the project, so instead of focusing on the social network, logical ai narrative, we now take on the approach of providing a new paradigm for software development. He talks in detail about the proposed description to VCs as we advance. 🔹Fola has been working alongside the team on the framing of Tau and on the documentation required for the project's funding. Fola's had a good conversation with an AI partnership. A nonprofit organization based on ai companies working together. They can share information and knowledge. They're focused on critical areas such as machine learning ai and criminal justice demographic data, which seeks to understand the types of data collection practices and governance frameworks concerning mitigating risks related to malicious use accidents and unintending consequences. Safety-critical AI focused on AI machine learning technologies and making them safe. We find that there are some angles that we can work with them on and other prominent players in the ai space that we'll be able to connect with through that. 🔹Igor has been exploring partnerships and started communicating with the nonprofit agency that he believes will be very valuable to have in the future. Igor is also in talks with another nonprofit organization from New Zealand. On the design front for this month, Igor has been working on graphics and other branding material, facilitating the other Business team members' tasks. 🏆 Community member of the month is @ndrEw! Check out his TML YouTube channel here:

www.youtube.com

📣August's Questions & Answers Video from the team is live! 🎥https://youtu.be/qeZ-NwG70uY 👈 Ask your question to be answered next month here:

bit.ly

FAQs:

www.reddit.com

🚨Hot off the press🚨 Basic Logic: Truth and Consequences: "Logical AI Is All About True Consequences" Many other AI platforms choose to rely on machine learning instead. However, we want to empower you with Truth.

link.medium.com

Your last chance to post your question for this month's Q&A:

bit.ly

🚨Hot off the press🚨 We discuss one of the features of logical Knowledge Representation Languages (KRLs) that distinguishes it from other languages used for KR: Truth. Basic Logic: The Power of Truth

link.medium.com

🚨Hot off the press🚨 This week's installment explaining the concepts behind Tau's technology is here: "Beyond Mere Controlled Vocabularies and Towards “Big Magic”"

link.medium.com

📣 We're excited to announce Paweł Parys has joined the Tau team! Paweł holds a PhD in both Computer and Mathematical Sciences. He has a position as Assistant Professor at the University of Warsaw in the Institute of Informatics and is currently aiding Ohad with his research. Informatics is the study of the structure, behavior, and interactions of natural and engineered computational systems. Informatics studies the representation, processing, and communication of information in natural and engineered systems. It has computational, cognitive, and social aspects. His research focuses on automata theory, especially on extensions of finite automata, and connections between logics and automata. In particular: 🔹Data trees and XPath language (fast evaluation of XPath queries), 🔹Higher order pushdown automata, 🔹The complexity of mu-calculus evaluation on finite models, 🔹Timed automata. Welcome to the team Paweł!

www.mimuw.edu.pl

🚨Hot off the press🚨 The next instalment explaining the concepts behind Tau's technology is here: "Logic Is Everywhere, and Logical AI Just Tries To Capture It in Machines"

tauchain.medium.com

July's Development Video Update is Live! 🎥 https://youtu.be/54nec94r4nQ👈 Summary: 🔹Ohad worked with prof. Franconi on the knowledge representation language. He has a method of letting a language speak about its own sentences and can also enhance it to be a software specification language. This is a method to extend any other language, so he needs to find which languages to extend. They want these to be languages suitable for knowledge representation and engineering, so they are researching existing languages. They have also made significant progress on engineering a solver for such languages using existing solvers and methods we already have. They continue on this front and are getting very close to full implementation of the three levels: The base language, the language that can speak about its own sentences, and the specification language - all in one. 🔹David continued his work on TML optimization adding memorization to some critical paths of the optimization and he's also consolidated all uses of Z3 CQC engine and retired some of the CQC implementations that we had in TML. He's also improved the memory footprint significantly for mutated programs. He's also made some general source code improvements on the suggestion of Ohad. 🔹Juan made the two major installs as a result of long-time efforts giving us a functional version of the bit width inference engine also known as the type inference engine. He's also installed version 2 of the transformation to bit universe. 🔹Luca continued his work both on a theoretical front and on his implementation of the two CNF. He worked out a preliminary solution to the proof of execution algorithm for the BDD library specifically for the end operation, we're still working on disjunction. He's also explored some algorithms with respect to the task of transitive reduction and finished testing the persistent data structure for the two CNF extraction. He's also been reviewing the variable shifters implementation currently in TML making sure that it delivers on its promises of reduced memory footprint. 🔹Tomas continued his work on the TML IDE which is an increasingly popular feature. He fixed many issues including: - The hanging of the JavaScript engine when there are parse errors - The output stream by fixing the flushing Issue with respect to long execution in batch format - Improved the API for executing TML from JavaScript with enhanced memory management 🔹Andrei has finished improving the stability of the video conferencing system. Fixed many issues with Agoras Live including payment systems within video conferencing as well as interactions between Agoras live and the blockchain 🔹Luis worked on the relationships between logics and games and between games and automata with logical semantics and decision procedures in view. He's completing the transition from word automata to tree automata which will be the next focus of the weekly MSO sessions. There is also ongoing research into disjunctive data log namely the system DLV. He's also working on weekly introduction articles to what's behind Tau's Technology.

July's Business Video Update is Live! 🎥 https://youtu.be/E4Zs0hnbJHk👈 Summary: 🔹 Karolina wrote and published two articles in crypto publications. Assisted Luis in his work creating introductory articles to Tau's Technology. Currently working on a new IDNI website and business positioning statement. 🔹Kilian continued further outreach and vetting VCs, refining the relevant materials for them. In discussion with numerous VCs and have more lined up next week. Preparing documents for the community outlining IDNI's endeavors in more detail. 🔹Igor has continued work on design, website edits, community channel technical settings, and research 🏆 Community member of the month is @ndrEw! Check out his TML YouTube channel here:

www.youtube.com

July's Questions & Answers to the team is now live! 🎥

youtu.be

👈 Another round of Q&A's for July! Ask yours for next month here:

bit.ly

FAQs:

www.reddit.com

🚨Hot off the press🚨 First in a series of posts that'll introduce some of the concepts behind the technology of Tau:

medium.com

Tau will be the first-ever platform to take the thoughts, advice, and knowledge of its users and update its own software in real-time based on their discussions. As always, if you feel others should hear about what we're building, kindly like and share. Thanks for reading!

📣 Sounding the klaxon for another Tau article hot off the press. Let's let the internet know; Please like and share. "New AI Will Unlock Your Human Bandwidth Very Soon, And It’ll Be On The Blockchain" 👉

u.today

June's Development Video Update is Live! 🎥

youtu.be

👈 🔹Ohad, worked with Professor Franconi on the software specification language and wrote some precise formulations of the ideas, which look even more promising. It's a very exciting new software specification language—the sort of specification language that can speak about itself. A language extension allows us to take virtually any language and extend it with those abilities. We need to choose which language to extend to form the base logic, and Prof. Franconi realized that the logic should be some variant of OWL. Ohad continues implementing this, choosing a certain fragment of OWL for the base logic and further study of how it all comes together. 🔹Lucca continued his work on the two CNF extraction and implemented an efficient intersection algorithm for the union-find data structure. He finished integrating the two CNF data structure into the BDD library. He started testing, working on Proof of Computation algorithms using the sum check protocol resolved computational issues by allowing the prover to use our BDD library. A great solution if we get it to work. 🔹David continued work on Boolean algebra and CQC optimization of TML programs. He developed an algorithm for solving systems of boolean Equations or inequalities that is well suited to BDD representation. 🔹Tomas worked on the TML IDE enhancing build scripts to enable the compilation and translation of the latest parsing logic into JavaScript. He cleaned up the old regression tests, created new ones, and refactored some classes for built-ins. He's also added some priorities for parsing TML syntax to solve instability problems. 🔹Juan continued work on the core TML engine finalizing the bit transform operation, a critical optimization for a TML program. We hope that it will result in a much better runtime. We currently use a fixed instead of a variable number of bits. In doing so, he's doing his best to maintain backward compatibility between the new and old type system. 🔹Umar continued his work on the parse forest generation for the Earley parser re-implemented using a more incremental method that uses less memory at runtime. He's also working on left-right organizations. 🔹Andre resolved all 50 bugs found by Agoras live platform testers and made improvements to the payment systems and the video conferencing systems to make the applications more stable 🔹 Luis delivered weekly sessions for the academic panel; the topic in June was mostly infinite games as decision procedures for logic and formalisms such as episode model calculus and Boolean equation systems. Researching fixed point logics from the viewpoint of finite model theorem. More recently researching Datalog rules with junctions to find efficient algorithms to be adapted for TML.

June's Questions & Answer Video is now Live! 🎥

youtu.be

👈 Loads of great Q&A's during this month's session! Keep your questions coming! Ask them here for next month:

bit.ly

FAQs:

www.reddit.com

Founder Ohad Asor gives his insights on Tau & Social Choice!

tauchain.medium.com

We will always remember, honor, and take care of the people who believe in the project, let alone that we will never forget or betray them. The idea is simple: first priority, by all means, is to fulfill our promise to the community to develop Tau. Tau's technologies are so valuable, way beyond just Tau. It is possible to sell them in a way that is beneficial for AGRS holders. Firstly, nothing is or will be developed except Tau until Tau is finished. Then we can sell various technologies in a way that benefits AGRS holders in various ways: the products will increase the reputation of the network (so people who use those technologies at work will also want to use Tau at home), also we will be able to charge AGRS for licensing the technologies (e.g. 30% discount if customers pay in AGRS). There are many ways to go, none of which is final, but the principle of the community being first, is never going to change. All incentives are aligned here, and will always stay aligned. It all comes down to the simple question: is it better for AGRS holders that the technologies are sold in various packages, or not? We believe the answer is yes, and we will not compromise on a design that will result in a negative answer. Please share thoughts, ideas, comments, those are very important for us.

Since we're doing our Series A round and we're looking for investment, we're also creating a blockchain club for those interested investing in projects to gather as many investors as possible interested in Tau and other projects into one place. For that matter, we're looking for a Discord manager. Please reach out to us if you think you'd be a great fit for this role.

Hi, fellow Tauists! We're excited to share our latest article covering Agoras (AGRS) "Cryptocurrency run by its users" We'd appreciate it if you can kindly like, share, and comment! Hope you are all doing well. 🙏

news.bitcoin.com

May's Development Video Update! #49 🎥

youtu.be

👈 🔹Ohad continued work with Prof. Franconi on the software specification language we have. He's worked with Dr. Kramer on aspects of Social choice theory related to Tau. Further research done on Boolean algebra monomorphisms to enhance the languages we have with further capabilities and started on a plan to implement those. 🔹David has devised an algorithm for solving systems of Boolean inequalities. Continued work on TML's CQC and simplified the implemented branch inbound algorithm. 🔹Lucca has finished his work on the two CNF data structures and is working on integrating them into the rest of the codebase. He's started work on the proof of execution work which will make it into the Tau's blockchain. 🔹Tomas merged the Earley Parser branch into the TML's master branch and updated TML's codebase to C++ 20 standards. He's currently implementing all these into TML's IDE. 🔹Juan continued his work on TML refactoring, focusing on the type resolution transformation. 🔹Umar has been working with Tomas to integrate into the master branch. He's been looking at ways to resolve ambiguities within parse forests, implementing a lambda function-based callback. Umar and Thomas added priorities and reference keywords into TML key grammar to help the ambiguities. As a result, they implemented the Git parse tree function that will extract a single tree, disambiguating the grammar from the entire parse forest, which is all possible ways to parse a program. 🔹Andrei has finished the framework for Agoras live application, and it's in the hands of the tester this week. Report following next week. 🔹Luis continued work on weekly sessions on MSO for the academic panel. Working on additional topics that may be relevant for Tau, including parameterized Boolean equation systems. The focus during May was on infinite games on finite graphs, especially on parity games due to their essential role in game semantics and Automaton logics, crucial for MSO decidability.