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.

Subject: Tau Language

Time: October 2024 Q&A

1 - Vision for UI Specification in Tau Language 🚀

Q: If UI can be formally specified using Tau Language, does it mean vector graphics, widgets, 3D, or what? What is the vision for what needs to be possible?

Karim Kaddache – VP of Research & Development:  If you're specifying UI in Tau Language, it'll probably be at the widget level. So you'll be able to kind of like in HTML, where you can specify boxes, scrolling elements, input and output lists, things like that. It will probably be at that level. It definitely won't be at the 3D or vector graphics level, that's just way too low level to deal with. I think that's the vision of what could be possible. Basically you describe what the interface should look like in Tau Language and Tau would be able to generate the HTML form.

#TauLanguage #UISpecification #FormalMethods #HTMLGeneration #WidgetLevelUI

Thank you for the question: Dana E

In the educational videos it is mentioned knowledge in Tau net will need to be written in computer readable language.

What is this language, what does it look like and will it be readable by common users or only by experts that understand this language?

Let's hope so!  

This is the key reason I'm interested in Tau so we'd better work hard to make this work. It's the only chance we have AFAIK to hand the world over to the next generation in a somewhat decent state.

Some time ago, I mentioned potential applications of Tau beyond the field of software development, such as implementing a large-scale democratic election system. The concept isn't very different from developing software with Tau—except instead of involving a single person or a team, an entire nation would use Tau to collectively agree on how to function. The key advantage is that decisions would be made in real time, with greater accuracy, making many political representatives obsolete. One of the main hurdles I see is how to make this system trustworthy and user-friendly for voters.

That said, allow me to quote Fola's comment on Reddit:

QuoteThe Tau Net not only allows consensus between multiple parties removing current bottlenecks in modern democracies but also allows you to propose your own laws avoiding being gaslighted by the system or simply not being heard due to too many voices.

QuoteAbsolutely, Tau is bigger than just software development and may be integrated in large scale governmental systems.

We, as a society know for sure that voting doesn't stay fair and scale at the same time. We always default to hierarchies because individual needs and issues do not propagate up to the highest levels of the pyramid. We are sold the dream that we have the equal right to vote, but it's meaningless as we don't have the equal right to propose what to vote over.
Let's say all citizens of your country had the equal right to propose what to vote over. Who would be able to read and process the millions of proposals per day across the the voter base? Not only would you propose, but you'd have to read every single other proposal up and down the country. There have been attempts at solving this with machine learning but this also fails because machine learning is inherently statistical/ probabilistic and doesn't have access to the individual meaning or intent that each user may have, so there's huge probability of misunderstanding.

How Tau solves this is by coming knowledge representation with it's advanced specification language. Users are able to say what they desire in logical sentences, and define the meaning/intent of the words to the system using user generated or off the shelf ontologies so the Tau system may logically reason over every users wishes. In that, Tau is able to compute where every user agrees and disagrees at large scale, yielding the ability to have a 1 million person concurrent conversation.

I like to give this thought as an example to give perspective. Take one of Elon Musk's tweets, you'll see 100,000 comments. But, if you were able to read every single one there wouldn't be 100,000 different opinions. There would probably be less than 100 interwoven complex opinions that overlap and disagree in various manners. Tau Net is able to detect this so everyone instantly knows who agrees and disagrees with one another across the entire platform.

What do you think? Do you believe this idea could be implemented?

Feel free to share content here (literature, movies, others) connected to Tau, Artificial Intelligence, and similar topics. I'll start.


The Last Question
by Isaac Asimov

The story centers around Multivac, a self-adjusting and self-correcting computer. Multivac had been fed data for decades, assessing data and answering questions, allowing man to reach beyond the planetary confines of Earth. However, in the year 2061, Multivac began to understand deeper fundamentals of humanity. In each of the first six scenes, a different character presents the computer with the same question, how the threat to human existence posed by the heat death of the universe can be averted.

You can read it here: http://www.thelastquestion.net/

As you might know from the Alpha Release announcment there is a bug bounty for reporting newly found issues with Tau Language.

As per the announcement:

QuoteBug Bounty program with Agoras ($AGRS) rewards. Your reports will help us identify and fix issues, contributing directly to Tau's refinement. The way it'll work is that if you prove a bug that we haven't found yet, we'll reward the first.

My question is whether we can claim a bounty on each reported issue individually or will there be a periodical announcment of eligible bounty winners?
And in any case how do we find out if what we reported meets the criteria of the program?

For starters I can offer, as a test case, an example of an issue that I reported on GitHub (as the issue had been successfully resolved it was moved to the closed category):


The issue was labelled as a "bug" on the site, but still it would be good to know if it is considered to be a newly discovered one and hence eligible for the bounty?