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.

This is a message to my future grandchildren: Your grandfather was here. "I hope you are using Tau to improve the world and not to spend all damn day playing video games on Staum or watching series on Tauflix".

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!

This is a great concept and an innovative way to encourage ethical behavior across the Tau Network, Dana.

I assume the TNEEE would function as a separate token?

Additionally, could this mechanism be initially deployed on the testnet? If the answer depends on the specifics of how the testnet will be structured, perhaps it would be worth asking the team to incorporate the necessary specifications (assuming it's feasible) so you can develop and test it there.

Be part of the Tau tribe and represent our mission by adding an official Tau signature to your profile! Signatures help spread awareness, connect users to key resources, and show your support for Tau and Agoras.

Below, you'll find ready-to-use BBCode for a clean, professional Tau-themed signature. We'll continue to add more options over time, so check back for updates!

Option 1: Minimalist Tau Signature

This sleek, compact design showcases Tau and Agoras with quick links.

Preview:

BBCode:

[center][img width=20]https://i.ibb.co/bdfRq79/Tau-Net-Logo-symbol.png[/img] Tau Net | [img width=20]https://i.ibb.co/MC2Crmb/Agoras-Logo-symbol-2.png[/img] Agoras | [url="https://tau.net/tau-net"]Website[/url] • [url="https://t.me/tauchain"]Telegram[/url][/center]
More Signatures Coming Soon!

We'll add new designs that fit different styles and preferences. Whether you want something more elaborate or highly personalized, there will be options for everyone.

Feel free to request features or share ideas for future signature designs in this thread! Let's grow the Tau community together!

Dear Tau Community,

We're excited to announce that the Alpha release of Tau Language is here! This release marks a significant leap towards realizing our vision of revolutionizing software development through logic-driven AI, bringing us a giant step closer to the Tau Net Testnet.


Key Alpha Feature: Program Execution

This Alpha release includes the long-awaited feature of program execution within Tau Language, enabling you to test and run software directly from logical specifications. This isn't just coding — it's transforming your logical statements into live, functioning software, providing instant feedback and validation of your ideas.


A Milestone on the Path to Tau Net Testnet

This Alpha release is a foundational step towards the Tau Net Testnet. Program execution within Tau Language is vital for the Tau Net ecosystem, bringing us closer to creating a fully user-driven, logic-powered blockchain network.


Looking Ahead: Software as Sentences™

Following this Alpha, we will focus on developing Software as Sentences™, allowing users to define software functionality in simple, Controlled Natural Language. Tau Language will handle the "how" while you focus on the "what," making software creation more accessible and intuitive.


Known Issues

As an early Alpha release, Tau Language does have known issues, including rough edges and potential bugs. Here are just a few:

- Cannot re-define Recurrence Relations in the REPL
- Strong Normalization Algorithm sometimes takes too long
- Error in Fixed Point Calculations
- Satisfiability algorithm sometimes gives erroneous results
- Incorrect type inference of Input / Output variables
- Boolean function normalization sometimes "blows up"
- Error in DNF/CNF conversions in the normalizer
- Simplification of Boolean equations sometimes takes too long
- Path simplification algorithm does not take equalities between variables into account, leading to later blow-ups
- Redundant "Sometimes" statements are not detected


Bug Bounty Program

Bug 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.


Get Involved: Tau Language GitHub & Bug Bounty

- GitHub Repository: Explore Tau Language code and contribute at https://github.com/IDNI/tau-lang.
- Earn Agoras Rewards: Participate in the Bug Bounty by reporting issues and helping Tau evolve.
- Shape Tau with Feedback: Help us build the tools you want to use by providing feedback on program execution.

Tau Language Alpha is live and ready for you to explore. Join us in shaping the future of Tau, and let's see what we can create together!

I tried to run the demo demo_1.1-basic_syntax_and_history.tau and got error.
I got the recent Tau version 0.7 (v0.7-alpha)
I'm running it on Windows with Virtual Machine Ubuntu OS.
I need to close the terminal as the program hangs.

I tried to run the demo demo_1.1-basic_syntax_and_history.tau and got errors on global operators
I got the recent Tau version 0.7 (v0.7-alpha)
I'm running it on Windows with Virtual Machine Ubuntu OS.
The Tau demo run perfectly from the beginning but suddenly got error in this part.