Tau Language Alpha Release with Program Execution: Available Now!

[BooleanBrian(OP)]

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!