Tau Forum

Tau => Tau Language => Topic started by: pk on Nov 19, 2024, 05:30 PM

Title: The Bug Bounty Program
Post by: pk on Nov 19, 2024, 05:30 PM
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):

Inconsistent normalization of T and F constants with xor operator GitHub Issue #6 (https://github.com/IDNI/tau-lang/issues/6)

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?
Title: Re: The Bug Bounty Program
Post by: BooleanBrian on Dec 09, 2024, 12:43 PM
Taurific work - thanks for pointing out the bug! I've been informed it wasn't part of the known issues, and as such, you've been noted, as a bounty winner. We'll be reaching out to you soon ;)
Title: Re: The Bug Bounty Program
Post by: pk on Dec 09, 2024, 03:12 PM
Taunx very much for the update! ;)