Re: BUS: Re: DIS: Re: OFF: [Rulekeepor] Full Logical Ruleset: July 2019

2019-07-15 Thread Jason Cobb
Also, even with the correct Rule number, I think the answer is guaranteed to be TRUE, since the repeal of a Rule does not cause it to cease to exist, it just causes it to cease to be a rule, its power to be set to 0, and to relieve the Rulekeepor of the responsibility to maintain it. As a furth

Re: BUS: Re: DIS: Re: OFF: [Rulekeepor] Full Logical Ruleset: July 2019

2019-07-15 Thread Jason Cobb
Ooh! Then I favour this CFJ! Jason Cobb On 7/15/19 10:36 PM, James Cook wrote: On Mon, 15 Jul 2019 at 02:29, Rebecca wrote: CFJ: Rule 2157 exists. It's 2517.

Re: BUS: Re: DIS: Re: OFF: [Rulekeepor] Full Logical Ruleset: July 2019

2019-07-15 Thread James Cook
On Mon, 15 Jul 2019 at 02:29, Rebecca wrote: > CFJ: Rule 2157 exists. It's 2517.

DIS: Re: OFF: [Promotor] Distribution of Proposals 8188A-8192A, 8195A, 8202-8214

2019-07-15 Thread Jason Cobb
Notice from the Assessor: Due to the new system of evaluating proposals by program, all votes are now public on GitHub. New distributions will be kept in a branch on the assessor repo, and a pull request will be created for each batch of proposals. An example of a pull request is here: http

DIS: Re: BUS: Re: OFF: [Promotor] Distribution of Proposals 8188A-8192A, 8195A, 8202-8214

2019-07-15 Thread ais...@alumni.bham.ac.uk
On Mon, 2019-07-15 at 21:01 -0500, nch wrote: > Conditionally AGAINST unless G. pledges to give me a black ribbon > then FOR. There's no point in trying to control what a dictatorship does using pledges; the dictatorship would be strong enough to unilaterally negate the pledges. -- ais523

Re: BUS: Re: DIS: [Promotor] Draft

2019-07-15 Thread Jason Cobb
Whoops, this should have gone to the actual distribution. Jason Cobb On 7/15/19 8:26 PM, Jason Cobb wrote: CoE: Falsifian is the author of 8202 ("Police Power"), although e has listed me as a co-author.

Re: DIS: On the GitHub org

2019-07-15 Thread Jason Cobb
I assume everybody on the GitHub org got a message about me adding a key to Assessor - that's me trying to set up CI for the Assessor repo. Jason Cobb On 7/12/19 9:29 PM, Jason Cobb wrote: I see that there is a GitHub organization for Agora. As of right now, I've placed my assessor scripts at

Re: DIS: Non-explicit numeric values

2019-07-15 Thread Aris Merchant
On Mon, Jul 15, 2019 at 2:21 AM Kerim Aydin wrote: > > On 7/14/2019 7:56 PM, Jason Cobb wrote: > > I'm just curious on whether or not my reading of the Rules is correct > here. > > If I was to submit a proposal and specify the AI as something that needs > to > > be evaluated, say "the power of [s