Hello dearest Tauist and Agorrillas!

I just uploaded my first Basic Tutorial Series for Tau Language REPL

In this video, you will be able to get to build the release, an important step to automatically run the demos step by step.

Also, in this video, I will teach you how to use the History Function to help you navigate and locate your many formulas in Tau Language. There are needed refinement and I'm continuously improving my way in teaching and organizing it. There maybe errors or missing pieces you may see, so please help me by commenting on how to improve this educational material. Your feedback is well appreciated to help me do a better job in giving quality education to the world.

Here is the link: https://www.youtube.com/watch?v=Fa-DPrxs0kE

Thank you!

Thanks for one of the suggestion of our community member in our Tau Dev Chat in telegram <ptt kk> I am no able to run the release.sh

Before I had a problem running it but I think its because of this code that's why I was able to run it.
I'm not sure if this help or there are updates made. What's important is its now working.

In Linux Ubuntu, type in
sudo apt install build-essential

# this is to make sure I am not missing any sth basic in my VM

Next is this, type in
sudo apt install libboost-all-dev build-essential

Then I type in,
To update Tau REPL
1.) git pull
2.) ./release.sh

To install Tau REPL
1.) cd tau-lang
3.) ./release.sh

To run Tau REPL
1.) cd tau-lang/build-Release
2.) ./tau

What many people fail to understand is that in today's crypto sphere, success is heavily influenced by having a hardcore community on X (formerly Twitter) spreading the word and positive vibes. There is no better marketing than a cult-like community actively championing the project.

Want a Binance listing? There is no better way to achieve that than having everyone in our community continuously making Binance aware of us. Want to make more people aware of Agoras? Go on X and spread the word.

Memecoin communities embody this concept and have mastered it. Look at the most successful projects in that space; they all thrive on a dedicated, hardcore community relentlessly sharing the word. This is what truly attracts others: seeing a community that is genuinely engaged with the project and radiating positivity.

We could also choose to share "crying vibes" every day, but obviously, that creates a different kind of image, one that new people will immediately pick up on, shaping their perception of the project. In contrast, successful memecoin communities never ask their team, "When marketing?" because they inherently understand that much of the marketing lies in their own hands.

This does not mean that we are not doing any marketing. We are actively advancing on various fronts, as outlined in the pinned message. However, we would be in a much stronger position if more people here understood that a significant portion of the marketing everyone is asking for ultimately lies with each one of us.

There is a lot to learn from memecoin communities. They have shown us the power of grassroots enthusiasm and organic momentum. For a deeper dive into this concept, I highly recommend checking out this video: https://youtu.be/6nqzwdGxTGc?si=onw-k0hAxZ2c_ey8.

Let us take inspiration from these communities and show the world what makes Agoras and Tau Net special. By working together and taking the initiative, we can amplify our presence and build something truly extraordinary.

Currently, huge time and money are spend in software debugging and fixes. With Tau, we can cut such losses.

What are your experience of using Tau with no bugs instead of the traditional way of developing software, with bugs?

Let the world know your success story, for the first time in history, of developing software without bugs.

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