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?

It does not require a separate token, but what could be done if a second token is desired, is to simply extend the AGRS token by mirroring it and Ethical Agoras (eAGRS), and using that. My guess though is most Agoras holders will want alignment, and will want ethics, but yes there may be other tokens.

So how would someone get EAGRS? Stake or time lock the AGRS, based on meeting the requirements to do so, and then it generates the EAGRS. You could even burn or lock forever the AGRS 1:1 to generate eAGRS, and have eAGRS function as an extended AGRS. It really is up to the community how many tokens they need or how to do it, but you need composability, you need derivatives market, you need the sort of features you see on Ethereum where you have wrapped tokens, or Hex, or buy and burn functions.

An intelligent agent can do something economically useful. It can collect fees or a profit from the economically useful activity. This would fuel the buy and burn either for AGRS or if preferred for eAGRS. For the most part all of this has been done before on other blockchains except for the intelligent agent part which can only be done on Tau Net. So we just can look at how other blockchains have done buy and burn, or derivatives, or lock up the original tokens to create the new tokens, to know exactly what can be done here.

Compounding can be achieved by rewarding the holders who locked up earliest for longest. Their share percentage of the rewards would increase based on a sort of ranking or ladder based on how early, how big, and how long they locked up. The lock up removes AGRS from the circulating supply which is good for tokenomics.

The development team would need to implement the opinion map feature, the ability to let the community agree on what an ethical vs unethical transaction is. The ability of the community to determine whether a transaction is beneficial for Tau Net or not. The discussion scaling capabilities should allow this. And we need an ability of an intelligent agent to do economic transactions, such as buy and burn or buy and hold forever which essentially is a buy and burn. The bot would buy tokens and simply never sell them, and with derivatives, it can borrow against them in the future, think of an intelligent agent which acts similarly to Microstrategy.  Think of the shareholders of this as holding eAGRS or AGRS.

I try to understand the statement ({ i1[t]'o1[t] = 0 } i1[t] = 0) ? (o1[t] = 0) : (o1[t] = 1) found in demo_1.1-basic_syntax_and_history.tau

What does it mean when Tau says (Error) Empty program?

What is the flow of the execution?

This is how I chunk the ideas

Tau Specification:
Simple boolean function represented as BDD (Binary Decision Diagram)
Input 1 is negated ANDed with output 1, if the statement result is T (1) then statement is equal to F (0)

{ i1[t]'o1[t] = 0 }

> talks about Tau Specification
The result of { } is ANDed to i1[t] and if the statement T (1) then is assigned as F (0)

({ i1[t]'o1[t] = 0 } i1[t] = 0)

> that talks about Tau Specification
The result of ( { } AND ) becomes the statement in the if ? then is the (o1[t] =0)   :  (o1[t] = 1) is the else

({ i1[t]'o1[t] = 0 } i1[t] = 0) ? (o1[t] = 0) : (o1[t] = 1)

We cannot say 1st, 2nd and 3rd in order as all of the three specs are executed at the same time [t]
({ i1[t]'o1[t] = 0 } i1[t] = 0) ? (o1[t] = 0) : (o1[t] = 1)

Please correct me if I'm wrong, thanks!

Hello Tauists! 

Had to comment to be part of this historic first post on Tau Forum. LFG!