What do you like to know once Tau is able to do scaling discussions, with the cool feature of amplifying millions of our voice without the noise?

Yes, we need to see it running. I have tested TML, and it detects contradictions and infinite loops at tml.tau.net
For the tech people, you can play with the Tau REPL to run the simple demos, though the team are still fixing some bugs.

We need to see the actual demo working to showcase Tau abilities. For now, here is what I have I know,

System Trustworthy
(proofs)
https://www.youtube.com/watch?v=6FH_d0xecXM&list=PLeBSjZu0y6vWInPFgM7nCDD7VjqSDViu6
https://www.youtube.com/watch?v=kOJfvzo3mhY&list=PLeBSjZu0y6vWInPFgM7nCDD7VjqSDViu6&index=6
https://www.youtube.com/watch?v=TntPPkb2oDc&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&index=6

(credentials)
https://www.youtube.com/watch?v=ykVUja8m8JE&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=29


User-friendly
https://www.youtube.com/watch?v=ZcIQO5k7zr8&list=PLeBSjZu0y6vUOVx9LUtfLyL-yIyePg4O4

1, 2, 3 - I agree
4 - after we see the opinion map, it's wiser to first to ask deeper consequences, before implementing it, to see whether we really want that action or not. https://www.youtube.com/watch?v=GHaTieCheVA&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=41

And that's the reason I give lots of time and resources on my YTube videos on education. As more people learn and participate in Tau, the wider and deeper perspective will be shared, creating a holistic decision making process.

For a global problem, we need a global solution, a solution that comes from all people involved.

Could you rephrase question 1?

If my guess it correct, for non-tech people but community driven, there is a need for agencies that will do the attestation.
https://www.youtube.com/watch?v=ykVUja8m8JE&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=29

there is a need for a certifying entity that can certify the user of his credentials, check out here
https://drive.google.com/file/d/1F54OzMIcDQGE5cpP9gWy1WcLb0S_jVXl/view


2. I wrote something to do with the vision of Tau, in terms of scaling discussions. Tau is very new so I think we can start discussing that point here so we can start on something.

The vision for finding a cure
https://www.youtube.com/watch?v=gkU6HONAUv4&list=PLeBSjZu0y6vUN0pHmrfDpzmSJrnAlmae5&index=2

Solving global problems
https://www.youtube.com/watch?v=gil9twYlWSk&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW
https://www.youtube.com/watch?v=Rj4bc0oJ6cI&list=PLeBSjZu0y6vVNYA4mV2nrMW0lN9YVlnNz&index=11

The first time in history, collaborative decision-making in large scale.
https://www.youtube.com/watch?v=gil9twYlWSk&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW

3. Next step after mainnet
https://www.youtube.com/watch?v=uY848t_2DNY&list=PLeBSjZu0y6vXR09yXOXWjpzyCus9M_ZlE&index=16

How to help speed up Tau acceptance after mainnet?
https://www.youtube.com/watch?v=UyrJmbZ_g2k&list=PLeBSjZu0y6vXR09yXOXWjpzyCus9M_ZlE&index=30

Most probably, for the non-tech to be able to participate, we need the Controlled Natural Language Interface. When will we see CNL Interface, the priority right now is the fixing of bugs on Tau Language Alpha. After that, we may expect to see the Grand Demo featuring the abilities of Tau, then the testnet, then the mainnet.

This is the update in CNL:
https://www.youtube.com/watch?v=VK2S4Qa1Kis&list=PLeBSjZu0y6vW6Mg_iO2FivR-kwAHSAZvE&index=61

Those who can participate I think are those who knows Tau Language and are expert. For those who are non-expert, I think we need the CNL.
https://www.youtube.com/watch?v=wn-UkkSObhs&list=PLeBSjZu0y6vUhzIM1wJPMVe8DcbG79n-Y&index=4

What can we do while waiting? I think we can start developing ideas around Tau, it's possibilities, refining our thoughts and knowledge, so once Tau is ready, Tau community is also ready.

Right now we are the first people to prepare the world for Tau.

1.
The goal is "users only need to say their opinion, in a disorganized manner. Just like people go to Facebook at random times of the day, and put a random opinion of theirs. And by that, the system will be able to calculate which opinions the people agree on and disagree on." https://www.youtube.com/watch?v=m6t01smp5Hc&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=2

We can leverage llms to assist us in converting natural language into formal language.
https://www.youtube.com/watch?v=1MfC1d5rCjo&list=PLeBSjZu0y6vXot_3PQoYFx1lSWd9Eqhq0&index=2

There will be future efforts to have a better user interface of Tau.
https://www.youtube.com/watch?v=ZcIQO5k7zr8&list=PLeBSjZu0y6vUOVx9LUtfLyL-yIyePg4O4

Trusting Tau's output will depend on the user requirement. Some users may need mathematical proof in some cases, some may need credentials in some cases. It's case to case basis, so it's really up to the user.
https://www.youtube.com/watch?v=kOJfvzo3mhY&list=PLeBSjZu0y6vWInPFgM7nCDD7VjqSDViu6&index=6

Proof of Execution can provide short cryptographic proof that the execution was correct
https://www.youtube.com/watch?v=xfFl9H1yHzo&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&index=9


The Attestation and Verification System patent (credentials)
https://www.youtube.com/watch?v=ykVUja8m8JE&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=29

2.
Tau, a logical AI, will build the Opinion Map.
https://www.youtube.com/watch?v=gil9twYlWSk&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW

How to trust/verify the data or software?
Proof of Execution can give you a cryptographic proof that the running was correct.
https://www.youtube.com/watch?v=uNYa0W6xIBE&list=PLeBSjZu0y6vVNYA4mV2nrMW0lN9YVlnNz&index=7

How is Tau trustworthy?
"The world over Tau, everything is opinions. Therefore there can be of course contradicting opinions. Now for the case that the majority is wrong, this happens also in real life of course, but on Tau we don't have a full solution but we are in a better situation than in real life because a logical engine is able to detect contradictions. So sooner or later, a wrong opinion will run into a contradiction and by that be discarded. In this sense, we are in a better situation than in real life. "
https://www.youtube.com/watch?v=6FH_d0xecXM&list=PLeBSjZu0y6vWInPFgM7nCDD7VjqSDViu6

Thank you for this elaborate answer. I have 2 follow-up questions:

1. If all knowledge is stored as boolean algebra not many people understand, will the system be able to output knowledge in natural language autonomously  so basic (non-technical) users can verify the content?

2. If we need experts to translate knowledge to boolean algebra or develop software to do this for basic (non-technical) users, how can users trust/verify the data or software? How can we trust this translation process, from natural language to BA and vice versa, is and remains decentralised and verifyable for most people (and therefore that Tau is trustworthy)?

Your voice matters. We've made a short survey to learn more about your experiences, motivations, and what you need to succeed.

Your feedback helps shape the future of our community and what we're building together. Plus, it's a chance to make your mark. Let us know how we can better support you.

🛠 Take the Survey Here: https://forms.gle/CboE5Smy2MQc7LS28

It only takes a few minutes, but the impact will be huge! Thanks for being such great community members. Let's keep building!

Thanks,
Tau Team

Hi guys, there are new updates and changes.

Right now, it's easier to install Tau REPL. I made a short video for you.

https://www.youtube.com/watch?v=IKEx4YTpu_s&list=PLeBSjZu0y6vW6Mg_iO2FivR-kwAHSAZvE&index=77

This video is for educational purposes.

I hope it helps. Thanks! 

Right now, the Tau dev is fixing some bugs. You can help if you find some bugs, you can post it on this link https://github.com/IDNI/tau-lang/issues for the devs to see and check and fix. 


OS: Linux Ubuntu 22.04.4 amd64
1.) wget https://github.com/IDNI/tau-lang/releases/download/v0.7-alpha/tau-0.7-Linux.deb
2.) sudo dpkg -i tau-0.7-Linux.deb
3.) tau

OS: Windows 11
1.) go to github https://github.com/IDNI/tau-lang
2.) Click Windows Installer to download
3.) Run the tau app


To get the latest update, go to our Telegram group channel. https://t.me/tauchain 

It is in formal language. So in the beginning, Tau users need to know logic and boolean algebra and stuff Ohad mentioned in the video series lecture in order to be able to participate in the early stages.

Playlist:
https://www.youtube.com/watch?v=lNU1wS5rqtg&list=PLav2klOnTUlOeakJCbLZxoib_x0jYAQ5f&index=1

Atomless Boolean Algebras - Introduction - 1 / 8

This is also the plan for the Tau team to create a controlled natural language where users who are non experts could participate and write their opinions.

There is a difference between Natural Language & Controlled Natural Language. I recommend for anyone interested to see the difference, it was discussed by Prof. Franconi on the interview with David Shapiro,

in this link
https://www.youtube.com/watch?v=CGJ0qivcZJw&list=PLeBSjZu0y6vVNYA4mV2nrMW0lN9YVlnNz&index=4

where natural language is too powerful and we have to limit it, and that's why it is called Controlled Natural Language as what will be build in Tau in the future.

The Tau team is writing the code for Controlled Natural Language, though the priority at this stage right now is the Tau Language Demo.

https://www.youtube.com/watch?v=f5lZ2xw15R0&list=PLeBSjZu0y6vUOVx9LUtfLyL-yIyePg4O4&index=5

Here are tips for anyone in the future who wish to use the controlled natural language effectively,

> Make your sentence accurate and clear
> The more specific your the opinion, the better
> Avoid words that are subjective or can have different interpretation


Remember that self contradicting statements leads to unsatisfiability. I have seen this in TML (Tau Meta Language), you can run it,

here is the link:
choose https://tml.tau.net/

Go to folder
Regression tests>unsat>

where Tau which uses logical AI, cannot reason over (unsat contradition) and (unsat infinite loop), as this leads to undecidability.  I will give more examples in the future for Tau Language.

So when we build our worldview, for sure we may see ourselves having self contradicting thoughts our old self comparing to our new perspective and that's natural. Tau will help us by automatically highlighting our self contradictions 

https://www.youtube.com/watch?v=ZcIQO5k7zr8&list=PLeBSjZu0y6vUOVx9LUtfLyL-yIyePg4O4


and so we can fix it, refining our worldview as we do more iterations. It will be an ongoing process of refinement and optimizing our perspective and worldview in Tau.

 

Thanks Fola,

Here is the link to get what Ohad Asor, CTO and Founder of Tau has written in the video:

https://tau.net/Atomless-Boolean-Algebras-Algorithms-and-Applications.pdf

It makes sense to think that the challenges will not only be technical (having a functional Tau Engine that has also proven its worth to society); there will also be profound resistance from those who live off and profit from their representative positions. It wouldn't surprise me if the poorer the country, the more obstacles its representatives put in place to prevent the adoption of a Tau system.

From a practical standpoint, I imagine the system working like this:
1. A user/citizen creates an anonymized account (pay attention to Ohad's patent on this), which serves as their means to have a voice and vote within the system. 
2. The user can express their opinion on any topic at any time of the day through their computer or smartphone (through some kind of user-friendly interface or app so the user doesn't have to write code).
3. That opinion will be added to those of others. Tau will process them in real time and produce a conclusion that is coherent with the collective opinions. 
4. This conclusion will then be handed over to human actors (the executive body of the respective country) and implemented.