Re: DIS: Re: BUS: Loophole attempt - Poor man's Radiance

2023-03-20 Thread Aspen via agora-discussion
On Mon, Mar 20, 2023 at 1:22 PM nix via agora-discussion
 wrote:
>
>
> On Mon, Mar 20 2023 at 10:32:39 AM -07:00:00, Yachay Wayllukuq via
> agora-business  wrote:
> > I do the action stated in Rule 2659 that is in its third paragraph
> > ("Any
> > player  CAN
> > , once per week
> > , pay X Stamps, where each
> > specified Stamp is a different type, to gain (X^2)-X radiance.")
> > paying 0
> > Stamps to gain 1 Radiance.
> >
> > 0^0 - 0 = 1
> >
> > I need to be able to destroy the asset in order to do the fee-based
> > action
> > (Rule 2579), and all attempts to destroy no assets, so zero assets,
> > are
> > successful (Rule 2577).
>
> Besides the issue snail mentioned, I've been wondering if it's possible
> to pay zero "different" stamps, since there's nothing for it to be
> "different" from.

It should be? I'd think Agora would translate "each" as universal
quantification in this context, which trivially evaluates to true if
applied to an empty set of stamps.

-Aspen


DIS: Re: BUS: Loophole attempt - Poor man's Radiance

2023-03-20 Thread nix via agora-discussion



On Mon, Mar 20 2023 at 10:32:39 AM -07:00:00, Yachay Wayllukuq via 
agora-business  wrote:
I do the action stated in Rule 2659 that is in its third paragraph 
("Any

player  CAN
, once per week
, pay X Stamps, where each
specified Stamp is a different type, to gain (X^2)-X radiance.") 
paying 0

Stamps to gain 1 Radiance.

0^0 - 0 = 1

I need to be able to destroy the asset in order to do the fee-based 
action
(Rule 2579), and all attempts to destroy no assets, so zero assets, 
are

successful (Rule 2577).


Besides the issue snail mentioned, I've been wondering if it's possible 
to pay zero "different" stamps, since there's nothing for it to be 
"different" from.





Re: DIS: Re: BUS: Loophole attempt - Poor man's Radiance

2023-03-20 Thread Yachay Wayllukuq via agora-discussion
Oh, I'm terribly silly.

On Monday, March 20, 2023, secretsnail9 via agora-discussion <
agora-discussion@agoranomic.org> wrote:

>
>
> > On Mar 20, 2023, at 12:33 PM, Yachay Wayllukuq via agora-business <
> agora-busin...@agoranomic.org> wrote:
> >
> > I do the action stated in Rule 2659 that is in its third paragraph ("Any
> > player  CAN
> > , once per week
> > , pay X Stamps, where each
> > specified Stamp is a different type, to gain (X^2)-X radiance.") paying 0
> > Stamps to gain 1 Radiance.
> >
> > 0^0 - 0 = 1
> >
> > I need to be able to destroy the asset in order to do the fee-based
> action
> > (Rule 2579), and all attempts to destroy no assets, so zero assets, are
> > successful (Rule 2577).
>
> This would be 0^2 - 0 which definitely equals 0.
> Although i think 0^0 is undefined and wouldn't have worked anyways. Good
> try though! There's bound to be a bug somewhere in the ruleset you can use,
> though Agora runs a tight ship.
>
> --
> snail


DIS: Re: BUS: Loophole attempt - Poor man's Radiance

2023-03-20 Thread secretsnail9 via agora-discussion



> On Mar 20, 2023, at 12:33 PM, Yachay Wayllukuq via agora-business 
>  wrote:
> 
> I do the action stated in Rule 2659 that is in its third paragraph ("Any
> player  CAN
> , once per week
> , pay X Stamps, where each
> specified Stamp is a different type, to gain (X^2)-X radiance.") paying 0
> Stamps to gain 1 Radiance.
> 
> 0^0 - 0 = 1
> 
> I need to be able to destroy the asset in order to do the fee-based action
> (Rule 2579), and all attempts to destroy no assets, so zero assets, are
> successful (Rule 2577).

This would be 0^2 - 0 which definitely equals 0.
Although i think 0^0 is undefined and wouldn't have worked anyways. Good try 
though! There's bound to be a bug somewhere in the ruleset you can use, though 
Agora runs a tight ship.

--
snail