Re: DIS: Re: BUS: Re: OFF: [QAZ][ADoP] Metareport

NTTPF On Wed, 6 Sep 2017, V.J Rada wrote: I point my finger at Quazie for never resolving this CoE. I accept this CoE. On Fri, Aug 25, 2017 at 4:29 AM, Nic Evans wrote: On 08/21/17 18:46, Owen Jacobson wrote: Through the mechanism described in the agency “Quazie’s Autonomous Zeal,” I cau

Re: DIS: Re: OFF: [ADoP] Resolving Herald Election

NTTPF On Wed, 6 Sep 2017, V.J Rada wrote: This is not correct. The quorum was 3.0 as the most recently assessed proposal had 5 voters. The outcome is FAILED QUORUM and PSS remains Herald anyway. On Wed, Sep 6, 2017 at 4:36 PM, V.J Rada wrote: I deputize for ADoP. I resolve the election for H

Re: DIS: Re: OFF: Initiating elections.

NTTPF On Wed, 6 Sep 2017, V.J Rada wrote: For the Herald, I vote PSS. For the Prime Minister, I vote for myself. For the ADoP, I vote for myself. For the Reportor, I endorse the first person to vote non-conditionally for a player. On Wed, Sep 6, 2017 at 4:51 PM, V.J Rada wrote: As the ADoP,

Re: DIS: Re: BUS: Deregistration (of others)

NTTPF Greetings, Ørjan. On Wed, 6 Sep 2017, V.J Rada wrote: Finally I intend to deregister sproklem w/o objection

Re: DIS: Re: BUS: Re: OFF: Crowdsourcing the reportor (and [Reportor] Report)

lways state 24 hours notice for amending or destroying the agency in a way that doesn't make me own quazie, but that will still leave a small time window in which I own quazie. On Wed, Sep 6, 2017 at 2:27 PM, Ørjan Johansen wrote: On Wed, 6 Sep 2017, Quazie wrote: I rescind the quoted

DIS: Re: BUS: Re: OFF: Crowdsourcing the reportor (and [Reportor] Report)

On Wed, 6 Sep 2017, Quazie wrote: I rescind the quoted intent. I retract the quoted intent. I don't think Rule 1728 pays any attention to such retractions. Greetings, Ørjan.

Re: DIS: Re: BUS: I take an action

On Wed, 6 Sep 2017, Cuddle Beam wrote: Actually, is being non-registered a requirement to register? Couldn't registered people just... Register again? Wasn't there a CFJ about this recently? Or was that just discussion. Greetings, Ørjan.

Re: DIS: Re: OFF: [Arbitor] Appeal of CFJ 3537

On Fri, 1 Sep 2017, Alex Smith wrote: player has pledged not to judge a CFJ. ihope (who changed names several times, and I think might now be Tanner Swett, although I'm not 100% sure on that) pledged not to judge CFJ 1984. There was some movement to Latest Registrar's Report lists em as Zachar

DIS: Re: BUS: Routine deregistations

On Sun, 27 Aug 2017, Aris Merchant wrote: I don't think I ever did this. For each intent where it is possible, I do so. The actor SHOULD publish a list of supporters if the action depends on support, and a list of objectors if it depends on objections. Greetings, Ørjan.

Re: DIS: Re: OFF: [Arbitor] CFJ 3556 assigned to G.

On Sat, 26 Aug 2017, Alex Smith wrote: Cuddlebeam can't retract a CFJ /I/ called. Oops. I got confused by all the similar CFJs flying around. Greetings, Ørjan.

DIS: Re: OFF: [Arbitor] CFJ 3556 assigned to G.

On Sat, 26 Aug 2017, Alex Smith wrote: I now CFJ: "Cuddlebeam has a Platinum Ribbon". I call for judgement on the statement "Cuddlebeam has a Platinum Ribbon", by spending 1 Action Point. I assign the resulting CFJ the ID number 3556, and assign it to Cuddlebeam. Work your way through your me

DIS: Re: OFF: [Rulekeepor] Corrected FLR

On Thu, 24 Aug 2017, Gaelan Steele wrote: THE FULL LOGICAL RULESET Could you please rewrap the extra-long lines in (at least) rules 2166, 2493, 2494, 2464, 2459, 2489, 2491, 2483, 2497 and 2495? Greetings, Ørjan.

Re: OFF: [Arbitor] Re: BUS: Re: DIS: Fun fact

On Fri, 25 Aug 2017, Alex Smith wrote: Luckily, your CFJ isn't valid; you can't call a CFJ nowadays without paying for it. So it hasn't actually been called yet. Also luckily, we still have some vestiges of the old officer system in which officers had, in lieu of pay, a certain allowance for abu

DIS: Re: BUS: [AVM] Destruction

On Wed, 16 Aug 2017, Owen Jacobson wrote: I flip my Balance switch with the Agoran Voting Market to zero. I think you mean "Budget". Greetings, Ørjan.

DIS: Re: BUS: Not dead

On Wed, 16 Aug 2017, Owen Jacobson wrote: For each of the following, I point the finger at myself: Actually, only the first one works, see Rule 2478, last paragraph. Greetings, Ørjan.

Re: DIS: Re: BUS: [Surveyor] August Estate Auction

On Tue, 8 Aug 2017, Alex Smith wrote: We could do with an auction system that didn't incentivise everyone to bid at the last moment. 6:18 am in the morning (local time) is not a great time for timing scams. The simple solution: "Each auction ends seven days after it begins, or four days after

DIS: Re: BUS: [Superintendent] Weekly Report

On Mon, 7 Aug 2017, Publius Scribonius Scholasticus wrote: Superintendent's Weekly Report Reports should customarily be sent to official, not business. Greetings, Ørjan.

Re: DIS: Re: OFF: [Reportor] Weekly Report

On Tue, 1 Aug 2017, Owen Jacobson wrote: On Jul 30, 2017, at 11:43 PM, V.J Rada wrote: Title: I can't believe I get paid for this Weekly Times. Reportor notices own position is sinecure, refuses to work--- This is awfully close to violating one of the requirements of thi

Re: DIS: Proto Proposal: Hodgepodge

On Mon, 31 Jul 2017, V.J Rada wrote: In rule 1728, entitled "Dependant Actions" "Dependent". Greetings, Ørjan.

Re: DIS: Re: OFF: [Arbitor] CFJ 3537 reassigned to o

My terminal email reader shows no formatting distinction between the new and old parts of your message. As such, until I read more carefully, I was about to complain that it was now too late for you to move to reconsideration. It is possible that the raw html format version contains some kind

DIS: Re: BUS: Re: OFF: [Arbitor] CFJs 3544, 3545 assigned to Aris

On Thu, 27 Jul 2017, Alex Smith wrote: Ugh, you're right, looks like I forgot to add that to my records when I assign it. The assignment of ID 3545 worked, the assignment of 3544 to Publius Scribonius Scholasticus's CFJ didn't. Given that CFJ IDs are _entirely_ unregulated, I'm not sure "worke

Re: DIS: Re: BUS: Re: OFF: [Secretary] Weekly Report

On Wed, 26 Jul 2017, Owen Jacobson wrote: On Jul 26, 2017, at 9:48 PM, Nic Evans wrote: CoE: Gaelan paid me 2 shinies (through GII, when I published the Rulekeepor report). Note the report’s effective date. (Sorry - I was out of town on short notice.) That payment will appear in this week’

Re: DIS: Re: BUS: humble agoran farmer gives a win to everyone and then hopes to be given one too.

On Fri, 21 Jul 2017, Alex Smith wrote: On Thu, 2017-07-20 at 22:11 -0400, Owen Jacobson wrote: Attempting, as Cuddlebeam explicitly did, to issue Trust Tokens on behalf of others, without even the faintest attempt to find justification in the rules, is plainly and obviously an intentional misin

DIS: Re: BUS: Judgment on CFJ 3541

On Thu, 20 Jul 2017, grok (caleb vines) wrote: There is some ambiguity of what, exactly, a nickel is. Common knowledge tells us it is a metal, but one would rarely refer to an amount of nickel as "a nickel" without qualification--a lump of nickel, or a vein, or an atom. Nickel is ultimately an a

Re: DIS: [Proto] Vexity (was Re: humble agoran farmer attempts a stick-up.)

On Tue, 18 Jul 2017, Owen Jacobson wrote: If a person's Vexity is zero, the Referee may increase that person's Vexity with 1 Agoran Support. Otherwise, the Referee may increase that person's Vexity with N Agoran Support, where N is the present value of the Vexity switch for the perso

Re: DIS: Re: OFF: [Assessor] Resolution of Proposal(s) 7865-7866

. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com On Jul 17, 2017, at 11:52 AM, Ørjan Johansen wrote: On Sun, 16 Jul 2017, nichdel wrote: I deputise as Assessor to resolve the decisions to adopt proposals 7865-7866. Agora are ADOPTED (*), REJECTED (x), and FAILED

DIS: Re: OFF: [Assessor] Resolution of Proposal(s) 7865-7866

On Sun, 16 Jul 2017, nichdel wrote: I deputise as Assessor to resolve the decisions to adopt proposals 7865-7866. Agora are ADOPTED (*), REJECTED (x), and FAILED QUORUM (!). If a decision's voting period is still ongoing, I end it immediately before resolving it and after resolving the previo

Re: DIS: Re: BUS: CFJ judgement

But there's no pun in that. (Also, product[1..x] is shorter.addict>) Greetings, Ørjan. On Mon, 17 Jul 2017, Josh T wrote: I kind of prefer fact x = foldl (*) 1 [1..x] myself. 天火狐 On 16 July 2017 at 11:16, Ørjan Johansen wrote: On Sun, 16 Jul 2017, V.J Rada wrote: fun fact:

Re: DIS: Re: BUS: CFJ judgement

On Sun, 16 Jul 2017, V.J Rada wrote: fun fact: i'm dumb fun fact 0 = 1 | fact n = n * fact (n - 1) Greetings, Ørjan.

Re: BUS: Re: DIS: Re: OFF: [Reportor] News of Agora

Curiously, rule 2201 §2.1 doesn't use either "publish" or "announce(ment)", so I'm not sure you actually need to do that in the PF. Greetings, Ørjan. On Mon, 10 Jul 2017, V.J Rada wrote: Tttpf On Monday, July 10, 2017, V.J Rada wrote: I reject your CoE. The name of the newspaper is clearly

Re: DIS: We actually have no Officeholders.

On Sun, 9 Jul 2017, Cuddle Beam wrote: Additionally, such a Ratification would've attempted to Ratify the Ruleset (as in, the whole Ruleset), at once. But it wouldn't have been able to happen, because, " The number of the new rule cannot be specified by the enacting instrument; any attempt to so

Re: DIS: Re: BUS: Thesis "Spivak Culture" Submission (Attn. Herald)

On Sat, 8 Jul 2017, V.J Rada wrote: I just said the exact same with regard to your second point lmao. Oops. Me and responding as I read... :P Greetings, Ørjan.

DIS: Re: BUS: Thesis "Spivak Culture" Submission (Attn. Herald)

On Sat, 8 Jul 2017, Cuddle Beam wrote: This is my official submission of my Thesis "Spivak Culture". Hm. The current thesis process seems to be very loosely described with few "official" parts. I guess this is still the peer-review stage (which the Herald is supposed to coordinate). Anyw

DIS: Re: BUS: Re: OFF: [Arbitor] CFJ 3538 assigned to omd

On Fri, 7 Jul 2017, Quazie wrote: I point my finger at omd for breaking rule 478 by temporarily, and accidently, taking down the mailing lists on or around the 21st of June. I recommend a Green Card as I am just testing eir open question in the above judgement That would be more than 14 days

DIS: Re: BUS: Re: OFF: [Tailor] Ribbon Report

On Thu, 6 Jul 2017, Alex Smith wrote: On Thu, 2017-07-06 at 21:24 +0200, Ørjan Johansen wrote: COE: I do believe you awarded me a Magenta one (with ~95 minutes to  spare). I did. (Although I had a week to do so; the acknowledgement of the Birthday has to happen on the Birthday, the Ribbon

Re: DIS: Re: BUS: Re: OFF: CFJ 3537 assigned to V.J. Rada

NttPF. Greetings, Ørjan. On Thu, 6 Jul 2017, V.J Rada wrote: I move reconsideration. I recuse myself. On Thursday, July 6, 2017, Publius Scribonius Scholasticus < p.scribonius.scholasti...@googlemail.com> wrote: TTttPF Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.co

Re: DIS: Re: BUS: humble agoran farmer gets ribbons and holds auctions

On Tue, 4 Jul 2017, Quazie wrote: Ørjan - would you be interested in me making an agency that allows you to point my finger- Your insight is always welcome, and why not allow you to weild a finger. Thanks, but not really. Greetings, Ørjan.

DIS: Re: BUS: humble agoran farmer gets ribbons and holds auctions

On Tue, 4 Jul 2017, CuddleBeam wrote: I award myself a White Ribbon (I've been registered for more than 30 days. I registered on the 30th of May). The 30 days only apply when giving one to someone else. The rest of your message makes me wonder what's the point where something's so obviously

Re: DIS: Re: BUS: Complete Shiny Economy Overhaul

On Sun, 2 Jul 2017, Alex Smith wrote: Create a new rule, "Assisted Actions", at power 2, with the following text: {{{ If a rule states that a person can perform an action as an "assisted action", that means that that person can perform that action: 1. By announcement, if that person has not per

DIS: Re: BUS: Re: OFF: [Arbitor] Appeal of CFJ 3534; go vote!

On Sun, 2 Jul 2017, omd wrote: Oh, and I'd say Unicode basically doesn't matter, only visual appearance in common email clients. The following text: { ‮‭I do X.‬ ‭I do Y.‬‬ } uses the Unicode control characters LRO, RLO, and PDF; a pseudo-HTML equivalent would be: { I do X. I do Y. } In other w

Re: DIS: Thesis: Spivak Culture

On Sat, 1 Jul 2017, CuddleBeam wrote: I have never written a thesis in English, neither have I ever written a thesis based on Humanities like this lol. I hope I did alright. The formatting (as seen in the plain text version/in a terminal mail reader) could use a couple improvements: * Too m

Re: DIS: What's the Power of a cultural touchstone?

On Fri, 30 Jun 2017, Owen Jacobson wrote: I propose that the use of Spivak pronouns, and the use of English, are cultural norms entrenched so deeply that, in a conflict between the rules of Agora and these norms, players will defer to those norms. That suggests that _changing_ those norms - fo

Re: Re: DIS: What's the Power of a cultural touchstone?

On Fri, 30 Jun 2017, CuddleBeam wrote: Makes for an interesting example to compare Agora to. I'll see if I can dredge the webmail archives to see how Agoran use of Spivak has arisen and evolved. Culture is interesting. Spivak use was already in Agora's original ruleset (

Re: DIS: Re: BUS: Language Trophies

On Thu, 29 Jun 2017, Alex Smith wrote: A long time back there was a tradition of using -keepor for an office that kept records about something (e.g. Rulekeepor). I don't know all the details of the history there; it's possible that Ørjan does, or perhaps some other player from that era. I don'

Re: DIS: PROTO: Criminal Justice Reform

On Thu, 29 Jun 2017, Owen Jacobson wrote: Each player who, on the date this proposal is enacted, owes an Apology on a Yellow Card shall be assumed, for all purposes, to have Apologized correctly and completely, on the date this proposal is enacted. I suspect this will not work, bec

Re: DIS: Decoding attempt

On Thu, 29 Jun 2017, Publius Scribonius Scholasticus wrote: How many languages do you speak? More generally for everyone, what languages do you speak? Norwegian (native), English (reasonably fluent, I hope), Swedish (as well as any Norwegian can fake it), Danish (ditto, which is slightly wor

DIS: Decoding attempt

After googling a bit, here's my attempt using http://www.assyrianlanguages.org/akkadian/search.php and https://en.wikipedia.org/wiki/Akkadian: Orig. transcription Dictionary lookup Suggested translation šumma našpartamrāqtam szumma naszparturaqu If message-acc void,meaningless-fe

Re: DIS: Most Welcome

On Wed, 28 Jun 2017, Owen Jacobson wrote: I’m rather more pleased than you might have expected to see that Perth’s location is -correctly- noted in both maps. The first ASCII map I remember I think was someone's USENET signature. It was also of Australia, and Perth was the _only_ thing marked

Re: DIS: Re: BUS: Elections

On Tue, 27 Jun 2017, Quazie wrote: You aren't the ADOP, so you would need instead 4 support, but I'll get to those elections shortly - don't worry Hum, it's not clear from the text of Rule 2154 that e cannot do that: 1. by announcement, if e is the ADoP, if the office has been

Re: DIS: Re: BUS: pointless (has this been tried before?)

On Tue, 20 Jun 2017, grok (caleb vines) wrote: Those solutions make the ruleset a little easier (read: prevents us humanities majors from having to know what octonian space and lattice points are). You don't have to know what it is, but you _do_ have to spell it correctly. Greetings, Ørjan.

Re: DIS: Re: BUS: It's been a while.

On Tue, 20 Jun 2017, grok (caleb vines) wrote: oof, also my apologies for the walls of text. i'm playing with gmail's plain text editor and the input box doesn't automatically line break for me. those paragraphs are...denser than expected. For what it's worth, I did not consider there to be an

DIS: Re: BUS: humble agoran farmer lottery

On Thu, 15 Jun 2017, Aris Merchant wrote: I also object. -Aris Your objection is also not clear whether you are objecting just to V.J Rada's change or also to Cuddlebeam's. Greetings, Ørjan. On Thu, Jun 15, 2017 at 3:55 PM Publius Scribonius Scholasticus < p.scribonius.scholasti...@goog

DIS: Re: BUS: humble agoran farmer lottery

On Thu, 15 Jun 2017, Publius Scribonius Scholasticus wrote: I object. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com I note that the message you quoted contains within it _two_ attempted lottery rule changes, and you are not making it clear whether you are objecting

DIS: Re: OFF: [Secretary] Payday (revision 2)

On Wed, 14 Jun 2017, Owen Jacobson wrote: Sprocklem 10 天火狐 10 The 10 after 天火狐 isn't lined up with the rest. I'm viewing with a monospaced font and all three CJK characters are double width, which ISTR someone said was right. Greetings, Ø

Re: DIS: Not dead

On Fri, 9 Jun 2017, Owen Jacobson wrote: Hi folks, Sorry about the extended absence at a bad moment. I’m catching up, but I’m about 550 messages behind - bids and estates are a priority. Then I plan to issue myself a Card for the offices I’ve neglected before stepping down as Referee. Anyone

DIS: Re: BUS: Decorating

On Thu, 8 Jun 2017, Edward Murphy wrote: I award myself a White Ribbon. (According to the latest Tailor's report, I haven't had one since Rule 2438 was adopted.) Have you had one before that? I'm pretty sure the "under previous rulesets" wording in 2438 is intended to disallow your action, in

Re: DIS: Re: BUS: Proposal and CFJs

On Mon, 5 Jun 2017, Kerim Aydin wrote: Is there a different proposal out there that's removing the entire Junta thing (e.g. the Black-Ribbon granting powers, Patent Titles, and so forth)? I suppose we could wait for the munificence of our Dear Leader and hope e does a self-repeal, but I prefer

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Wed, 31 May 2017, Gaelan Steele wrote: On May 31, 2017, at 12:03 PM, Ørjan Johansen wrote: Probably. The error message doesn't say _why_ it doesn't verify, so it might also be some mismatch with the message I guess (does the data include the Subject:?). Your certificate i

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Wed, 31 May 2017, Gaelan Steele wrote: However, your messages curiously often makes Alpine give a loud beep and a complaint that their signature doesn't verify... I sign my messages with a self-signed cert, which probably doesn't help. Probably. The error message doesn't say _why_ it does

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Wed, 31 May 2017, grok (caleb vines) wrote: On Wed, May 31, 2017 at 4:23 AM, Ørjan Johansen wrote: On Tue, 30 May 2017, grok (caleb vines) wrote: I did write that message on mobile--happily willing to blame my phone assuming this email looks correct. Definitely much better. Greetings

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Wed, 31 May 2017, Gaelan Steele wrote: I'm not causing any trouble, am I? I'm using Apple Mail. You seem to top post, which makes it harder to break things _too_ horribly - and I say this despite preferring inline commenting when it's properly formatted. However, your messages curiously

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Wed, 31 May 2017, Ørjan Johansen wrote: Someone nuke gmail headquarters, please. Sorry I snapped, but it looks to me like half of the gmail-users have individually different garbled email formats, with my strategy for finding the unquoted parts of each of them failing on the next, my

Re: DIS: Re: BUS: [Proposal] Judicial Reform

On Tue, 30 May 2017, grok (caleb vines) wrote: And lots of the other things G. mentioned earlier in this thread. [No distinction between quoted and unquoted parts, whatsoever, in either version] A minor suggestion from an observer: you could use slightly kinder language on those dismissal

Re: Re: DIS: Re: BUS: This isn't what I thought it would be

On Tue, 30 May 2017, CuddleBeam wrote: Gah. Oh well. How would you put it? I'm digging a hole for myself, nvm, sorry So was I. Sorry. Greetings, Ørjan.

Re: DIS: Re: BUS: This isn't what I thought it would be

On Tue, 30 May 2017, CuddleBeam wrote: man saying that so stale makes me sound like a huge dick. ok so BASICALLY: -Dude it sucks that you have to leave -I'm not sorry about doing what I'm doing though -I want us both to play *together* in our *own way* and be HAPPY. Hopefully in the future tha

Re: Re: DIS: Re: BUS: humble agoran farmer is a humble agoran farmer

On Sun, 28 May 2017, Kerim Aydin wrote: On Mon, 29 May 2017, Ørjan Johansen wrote: Note that only withdrawals by the Objector emself count. Greetings, Ørjan. snap! I feel so redundant. Also, still waiting for you to snap and use the term ISIDTID. Greetings, Ørjan.

Re: Re: DIS: Re: BUS: humble agoran farmer is a humble agoran farmer

On Mon, 29 May 2017, CuddleBeam wrote: So I can just do the unregulated action of "I withdraw your objection" (would my proof of "all actions are regulation actions or not actions" not work) From rule 2124: An Objector to a depende

DIS: Re: OFF: [Registrar] Weekly Report

On Sun, 28 May 2017, Publius Scribonius Scholasticus wrote: The IRC channel does not require subscription; set your IRC client to server irc.freenode.net, port 6667, channel ##nomic, and whatever nickname you like. There are, of course, various variations of this that also work. (I u

Re: DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

On Sun, 28 May 2017, Aris Merchant wrote: On Sat, May 27, 2017 at 6:13 PM Ørjan Johansen wrote: I have recently started wondering if all the new players using "endorse" know what it customarily means in Agora. Especially since the term is no longer defined in the Rules. (Althoug

Re: DIS: Email formatting again

On Sat, 27 May 2017, Kerim Aydin wrote: Ugh, I see it now in the wrapping of the reply below. My screen's well past 100 wide, and I aim for 70ish but sometimes without any guide marks I unconsciously match whatever I'm replying to ... Sorry... I don't know how web Alpine is different, but the

DIS: Email formatting again

On Sat, 27 May 2017, Kerim Aydin wrote: This is what happened during the earliest crisis in Nomic World, the Lindrum World Crisis (I won't write about that because there are documents out there, but I can summarize separately if desired). When two groups disagree on some fundamental underlyin

DIS: Re: BUS: [Thesis] Actions in Nomic

On Sat, 27 May 2017, Publius Scribonius Scholasticus wrote: Second, let us consider actions in Suber’s original ruleset [2]. In Suber’s original ruleset, actions are not explicitly mentioned. However, all actions fall into one of two categories: regulated or unregulated. Regulated actions are

DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

On Sat, 27 May 2017, Josh T wrote: For all elections which the voting period has yet to close, I endorse the incumbent, if any; should the office be vacant, I vote PRESENT. I have recently started wondering if all the new players using "endorse" know what it customarily means in Agora. Espec

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On Sat, 27 May 2017, Martin Rönsch wrote: This is because the principle of explosion is a characteristic specific to classic first order predicate logic and it's extensions. Actually you just need propositional logic, and intuitionistic is enough. not A =def= A -> False False -> B are essent

Re: DIS: Re: BUS: Buy your way to victory

On Sat, 27 May 2017, Quazie wrote: I don't think it's a recordable event. If I 'submit 0 proporaals' or 'call 0 CFJs' both are non actions, how is there an action to record here? Rule 2483 includes: If Agora, a player, or an organization (A) 'pays' X shinies to Agora, a player, o

Re: DIS: Re: BUS: Buy your way to victory

On Sat, 27 May 2017, Owen Jacobson wrote: On May 24, 2017, at 8:02 PM, Ørjan Johansen wrote: On Wed, 24 May 2017, caleb vines wrote: On Wed, May 24, 2017 at 11:44 AM, Gaelan Steele wrote: In the victory election, I vote for myself, then the set of all players who gave me shinies during

Re: Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On Sat, 27 May 2017, CuddleBeam wrote: So, "absurdity" is not meant in a formal way (non sequitur) but rather how the consequences of the application of laws of logic feels like? No, it _is_ formal, but from logic. "Reductio ad absurdum" (reduction to the absurd) is the Latin term for proof b

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On Fri, 26 May 2017, Josh T wrote: I also don't think the Principle of Explosion applies because DISMISS is an option. Moreover, the Principle of Explosion is the quintessence of what Rule 217's second paragraph is meant to forbid. Greetings, Ørjan.

DIS: Re: BUS: humble agoran farmer cooks curry

On Sat, 27 May 2017, CuddleBeam wrote: I CFJ the following statement: "If this sentence is true, then Agora is Ossified." This seems a pretty clear DISMISS to me. Rule 591: The valid judgements, based on the facts of the case at the time the CFJ was initiated, are TRUE, FALSE, a

DIS: Re: OFF: [ADoP] (Corrected) Metareport

On Fri, 26 May 2017, Nic Evans wrote: Office M[1] Report Last Published Late[2] ADoP[3] Offices now Herald Y Patent titles 2017-05-20 Promotor

DIS: Re: BUS: Judgment on CFJ 3514

On Fri, 26 May 2017, grok (caleb vines) wrote: This recipe SHOULD fit in an eighty-character fixed-width line, for all our terminal-based or fixed-width font mail client users. While I appreciate the intention, (1) this arrived in my mailbox with the final parts of many lines already wrapped

DIS: Re: BUS: CFJ 3515 judged TRUE

On Fri, 26 May 2017, Publius Scribonius Scholasticus wrote: I judge CFJ 3515 TRUE in concurrence with the judgement of CFJ 3511 by Gaelan. Further, by this standard any rule-defined or non-rule-defined verb is an action. However, what it would be to “24 Hours Notice” is In addition to other p

Re: DIS: Trivial Proposals

On Thu, 25 May 2017, Quazie wrote: A player may pend a Trivial Proposal without Objection, by paying 1 Shiny to Agora. If an Objection occurs, this 1 paid Shiny may be used to as a partial payment towards the cost of pending the proposal. Note that by rule 1728, "without Objecti

Re: DIS: Re: BUS: Joining the fun

On Thu, 25 May 2017, Quazie wrote: How did you find us? Why are you here? What the heck is up with all these new players appearing? I LOVE IT! AAA It's an invasion!!! Greetings, Ørjan.

DIS: Re: BUS: CFJ 3509 Judgement (Dismissed, insufficient information)

On Thu, 25 May 2017, Publius Scribonius Scholasticus wrote: I hereby file a Motion to Reconsider with 2 Support. We actually do expect a judge to do further "scholarly" (if you like) research into the rules to make their decisions with. If you are unwilling to do such, you should remove yoursel

Re: DIS: Rule Numbering

On Wed, 24 May 2017, Gaelan Steele wrote: How attached is everyone to the current rule numbering scheme? I’ve Huh, that really is quite unspecified nowadays... you could even break the ordering without violating any rule. Clearly you should use quaternions. Greetings, Ørjan.

DIS: Re: BUS: Buy your way to victory

On Wed, 24 May 2017, Gaelan Steele wrote: I pledge not to change this vote. On May 24, 2017, at 9:44 AM, Gaelan Steele wrote: In the victory election, I vote for myself, then the set of all players who gave me shinies during the voting period, in decreasing order of total amount. Does th

DIS: Re: BUS: Buy your way to victory

On Wed, 24 May 2017, caleb vines wrote: On Wed, May 24, 2017 at 11:44 AM, Gaelan Steele wrote: In the victory election, I vote for myself, then the set of all players who gave me shinies during the voting period, in decreasing order of total amount. Gaelan I give Gaelan 0 shinies. Heh, i

DIS: Re: OFF: [Assessor] Resolution of Proposal(s) 7852

On Wed, 24 May 2017, nichdel wrote: Amend 2484 (Payday) to read, in full: Immediately afterward, for each duty-fulfilling report published last month (in chronological order of publication), Agora SHALL pay the publisher of the report the Report Rate for the office the rep

DIS: Re: BUS: Clerk of our hearts

On Wed, 24 May 2017, Quazie wrote: I can't seem to see an arbitrary way to award patent titles - though ais523 might have that via Junta? Rule 649, last paragraph: The Herald CAN award a specified Patent Title to a specified player With 2 Agoran Consent. Greetings, Ørjan.

Re: DIS: Gmail formatting

On Thu, 25 May 2017, Ørjan Johansen wrote: Ideally I'd wish that your quoted parts had quote marks before wrapped lines as well, but that may be too much to achieve. Actually, I see nichdel seems to be able to do that. Greetings, Ørjan.

DIS: Gmail formatting

On Wed, 24 May 2017, Josh T wrote: [...] to solve the problem of orgs receiving assets they don't want and don't know how to deal with [...] I think it's valuable to allow orgs to not want to take part in the Shiny system if they don't want to. I'd like to urge some of our gmail users (Aris a

DIS: Re: BUS: Bounty

On Tue, 23 May 2017, Gaelan Steele wrote: If Quazie did not successfully pay themselves a shiny, I pay Quazie a shiny and identify myself as the last person to pay them a shiny. Given the conditionalness, I'm not sure that is "clearly". :P Greetings, Ørjan. On Tue, May 23, 2017 at 20:00 Nic

DIS: Re: BUS: Bounty

On Wed, 24 May 2017, Quazie wrote: Correction: I pay myself 1 Shiny. I identify myself as the last person to pay me a Shiny. Heh doing that was my first thought too but I'm not a player and I have no Shinies. However, I'm afraid you're the only player with Shinies who _cannot_ do this -

DIS: Re: BUS: Deregistration and Assets

On Tue, 23 May 2017, Owen Jacobson wrote: "Heir" is a person switch, tracked by the Registrar, whose value is either Agora (the default value), or a player other than emself, or an Organization. A player may flip eir Heir by announcement. That "emself" seems to be a bit fishy grammar wit

Re: DIS: Re: BUS: No Sneakiness

On Mon, 22 May 2017, Gaelan Steele wrote: Why? There are other excuses for having long messages (scam attempts, for example), and we don’t want people trying to sneak things by in those either. Hiding scams in scam attempts? What gall! Greetings, Ørjan.

Re: DIS: CFJs 3502 , 3503 judged

NtTpF On Mon, 22 May 2017, Owen Jacobson wrote: On May 20, 2017, at 3:47 PM, Alex Smith wrote: On Sat, 2017-05-20 at 07:04 +, Quazie wrote: I CFJ on the following Two Linked Statements: It is possible to create an agency such that its acronym contains at least one integer symbol (e.g. 0

DIS: Re: BUS: CFJ: Call for Piñata

On Mon, 22 May 2017, Owen Jacobson wrote: Quis tonsoriet ipsos tonsores? Or something. My latin’s never been anything but shit. Wiktionary for all(?) your obscure grammar needs: custodes:tonsores::custodiet:tondebit https://en.wiktionary.org/wiki/quis_custodiet_ipsos_custodes https://en.wik

Re: DIS: Re: BUS: [Herald] Let us begin the winning

On Mon, 22 May 2017, Quazie wrote: I am unsure if you can make actions inside a report? In fact I believe you can't. I am pretty sure there was a precedent one way or the other. Greetings, Ørjan.

DIS: Re: BUS: [Herald] Let us begin the winning

On Sun, 21 May 2017, Nic Evans wrote: On 05/21/2017 05:10 PM, Publius Scribonius Scholasticus wrote: I hereby initiate a Victory Election with all players or announced non-players as valid options and the Herald as the vote collector. I would be in favor of all watchers (Ørjan and others) and

<    1   2   3   4   5   6   7   8   >