Re: DIS: Re: BUS: [proposal] let's B safe out there

2022-08-18 Thread juan via agora-discussion
Kerim Aydin via agora-discussion [2022-08-18 09:23]: > > On 8/18/2022 9:07 AM, juan via agora-discussion wrote: > > Kerim Aydin via agora-business [2022-08-18 07:51]: > >> I submit the following Proposal: > >> Title: "Time B Safe" > >> AI: 4 > >> co-authors: Jason, Murphy. > >>

Re: DIS: Re: BUS: [proposal] let's B safe out there

2022-08-18 Thread Kerim Aydin via agora-discussion
On 8/18/2022 9:07 AM, juan via agora-discussion wrote: > Kerim Aydin via agora-business [2022-08-18 07:51]: >> I submit the following Proposal: >> Title: "Time B Safe" >> AI: 4 >> co-authors: Jason, Murphy. >> - >> >> Amend Rule 1698 (Agora Is A Nomic) by

DIS: Re: BUS: [proposal] let's B safe out there

2022-08-18 Thread juan via agora-discussion
Kerim Aydin via agora-business [2022-08-18 07:51]: > I submit the following Proposal: > Title: "Time B Safe" > AI: 4 > co-authors: Jason, Murphy. > - > > Amend Rule 1698 (Agora Is A Nomic) by replacing: > adopted within a four-week period. > with: >

Re: DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread ais523 via agora-discussion
On Thu, 2022-08-18 at 09:00 -0700, Kerim Aydin via agora-discussion wrote: > Ah - that's plausible. On the other hand, I'm thinking that if you could > ratify the ossification statement and thus flip a switch, you could also > perform a direct ratification of that switch without mentioning >

Re: DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread Kerim Aydin via agora-discussion
On 8/18/2022 7:50 AM, ais523 via agora-discussion wrote: > On Thu, 2022-08-18 at 07:38 -0700, Kerim Aydin via agora-discussion wrote: >> On 8/18/2022 7:33 AM, ais523 via agora-discussion wrote: >>> On Thu, 2022-08-18 at 07:26 -0700, Kerim Aydin via agora-discussion wrote: On 8/18/2022 3:18

Re: DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread ais523 via agora-discussion
On Thu, 2022-08-18 at 07:38 -0700, Kerim Aydin via agora-discussion wrote: > On 8/18/2022 7:33 AM, ais523 via agora-discussion wrote: > > On Thu, 2022-08-18 at 07:26 -0700, Kerim Aydin via agora-discussion wrote: > > > On 8/18/2022 3:18 AM, Madrid via agora-business wrote: > > > > I intend to

Re: DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread Kerim Aydin via agora-discussion
On 8/18/2022 7:33 AM, ais523 via agora-discussion wrote: > On Thu, 2022-08-18 at 07:26 -0700, Kerim Aydin via agora-discussion wrote: >> On 8/18/2022 3:18 AM, Madrid via agora-business wrote: >>> I intend to ratify without objection the following: "Agora is not ossified." >> >> [snip] >> >> If

Re: DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread ais523 via agora-discussion
On Thu, 2022-08-18 at 07:26 -0700, Kerim Aydin via agora-discussion wrote: > On 8/18/2022 3:18 AM, Madrid via agora-business wrote: > > I intend to ratify without objection the following: "Agora is not ossified." > > [snip] > > If such a statement is ratified when it *doesn't* match the

DIS: Re: BUS: humble agoran farmer has had visions of a dark future

2022-08-18 Thread Kerim Aydin via agora-discussion
On 8/18/2022 3:18 AM, Madrid via agora-business wrote: > I intend to ratify without objection the following: "Agora is not ossified." So this is sorta instructive in terms of the behavior of switches versus attributes. Ossification as per 1698 is a continuously-evaluated condition encoded in