Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-28 Thread nch via agora-discussion
On 6/28/20 3:27 PM, Edward Murphy via agora-discussion wrote:
> Falsifian wrote:
>
>>> On Mon, Jun 22, 2020 at 1:12 PM Rebecca via agora-business <
>>> agora-busin...@agoranomic.org> wrote:
>>>
 See title

 Also all should join it, it has been a fun and very active atmosphere,
 although too small.
>>
>> On Mon, 22 Jun 2020 at 03:17, Rebecca via agora-discussion
>>  wrote:
>>> https://discord.gg/FwmJW8
>> You might consider trying to switch the Publicity of that forum from
>> Foreign to Discussion (R478).
>>
>> As Registrar I can do that without objection, but I have mixed
>> feelings about endorsing a proprietary service. I would rather see it
>> done by proposal (and I'm not sure how I'd vote).
> Also, the invite links are expired, can I get a fresh one? Not sure how
> easy/hard it would be to get the web site to auto-update its copy.

This one should work indefinitely:

https://discord.gg/JCC6YGc

-- 
nch
Prime Minister, Webmastor, NAX Exchange Manager




Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-28 Thread Edward Murphy via agora-discussion

Falsifian wrote:


On Mon, Jun 22, 2020 at 1:12 PM Rebecca via agora-business <
agora-busin...@agoranomic.org> wrote:


See title

Also all should join it, it has been a fun and very active atmosphere,
although too small.



On Mon, 22 Jun 2020 at 03:17, Rebecca via agora-discussion
 wrote:

https://discord.gg/FwmJW8


You might consider trying to switch the Publicity of that forum from
Foreign to Discussion (R478).

As Registrar I can do that without objection, but I have mixed
feelings about endorsing a proprietary service. I would rather see it
done by proposal (and I'm not sure how I'd vote).


Also, the invite links are expired, can I get a fresh one? Not sure how
easy/hard it would be to get the web site to auto-update its copy.


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread James Cook via agora-discussion
On Mon, 22 Jun 2020 at 21:16, Kerim Aydin via agora-discussion
 wrote:
> On 6/22/2020 1:55 PM, James Cook via agora-discussion wrote:
> > On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
> > agora-discussion  wrote:
> >> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
> >>> On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
> >>> wrote:
>  On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> > I can do that without objection
>  I can save everyone time by saying that I will object.
> 
>  --
>  
>  Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
>  Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
> >>>
> >>> Can I ask what detriment you feel there is to having an extra optional
> >>> discussion forum? We already have the irc and it doesn't seem to impede
> >>> normal play...
> >>>
> >>
> >> For me, I am concerned that it could normalize the use of a proprietary,
> >> locked-in platform as an official place of discussion.
> >
> > My concern exactly.
>
> It's a place that a critical mass of agorans are currently hanging out so
> as long as that's true, it should be advertised somehow regularly to be
> open/welcoming to newcomers.   Maybe at the top of the Newspaper, I dunno.
> Whether than makes it worth a buried mention in the Registrar's report
> alongside the nearly entirely defunct IRC channel is more of a ¯\_(ツ)_/¯,
> tho having the IRC listed while we're all over on discord pretty much
> confirms our fuddy-duddy nature...

Added it to the Registrar weekly (as Foreign asterisk)
https://agoranomic.org/Registrar/weekly/fresh.txt

I'll mention it in the Reportor summary for last week too.

- Falsifian


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Kerim Aydin via agora-discussion


On 6/22/2020 3:07 PM, Aris Merchant via agora-discussion wrote:
> On Mon, Jun 22, 2020 at 3:01 PM Aris Merchant wrote:
>> On Mon, Jun 22, 2020 at 2:58 PM Jason Cobb wrote:
>>>
>>> On 6/22/20 5:10 PM, James Cook via agora-discussion wrote:
 I still think it would be nice to have a party in Aris's and Jacob's
 MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>>>
>>>
>>> That is still running, so that's feasible. As for a bridge, you'd have
>>> to ask Aris about that.
>>
>> Uhhh... The short answer is no. The long answer is, if we have an
>> experienced python programer with an indeterminate but probably very
>> large amount of spare time, maybe?
> 
> Uhhh... Apparently I'm just plain wrong. The answer is actually yes.
> 
> Specifically, it may be trivially easy to bridge to IRC. So if someone
> bridges Discord to IRC, we can then bridge IRC to the MUD and relay
> Discord stuff through there. Probably. Here are the docs. [1] Don't
> hurt me if I turn out to be completely wrong.

new method: "send via 3 fora" (new office: the MitM)



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 6:07 PM, Aris Merchant via agora-discussion wrote:
> On Mon, Jun 22, 2020 at 3:01 PM Aris Merchant
>  wrote:
>>
>> On Mon, Jun 22, 2020 at 2:58 PM Jason Cobb via agora-discussion
>>  wrote:
>>>
>>> On 6/22/20 5:10 PM, James Cook via agora-discussion wrote:
 I still think it would be nice to have a party in Aris's and Jacob's
 MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>>>
>>>
>>> That is still running, so that's feasible. As for a bridge, you'd have
>>> to ask Aris about that.
>>
>> Uhhh... The short answer is no. The long answer is, if we have an
>> experienced python programer with an indeterminate but probably very
>> large amount of spare time, maybe?
> 
> Uhhh... Apparently I'm just plain wrong. The answer is actually yes.
> 
> Specifically, it may be trivially easy to bridge to IRC. So if someone
> bridges Discord to IRC, we can then bridge IRC to the MUD and relay
> Discord stuff through there. Probably. Here are the docs. [1] Don't
> hurt me if I turn out to be completely wrong.
> 
> Incidentally, it would be helpful to have someone working on the MUD
> who actually knows how to do Python.
> 
> [1] https://github.com/evennia/evennia/blob/master/docs/source/IRC.md
> 
> -Aris
> 

I'm not great with but passable at Python, so I can try to help.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Aris Merchant via agora-discussion
On Mon, Jun 22, 2020 at 3:01 PM Aris Merchant
 wrote:
>
> On Mon, Jun 22, 2020 at 2:58 PM Jason Cobb via agora-discussion
>  wrote:
> >
> > On 6/22/20 5:10 PM, James Cook via agora-discussion wrote:
> > > I still think it would be nice to have a party in Aris's and Jacob's
> > > MUD some time : ) (Could *that* be bridged to IRC/Discord?)
> >
> >
> > That is still running, so that's feasible. As for a bridge, you'd have
> > to ask Aris about that.
>
> Uhhh... The short answer is no. The long answer is, if we have an
> experienced python programer with an indeterminate but probably very
> large amount of spare time, maybe?

Uhhh... Apparently I'm just plain wrong. The answer is actually yes.

Specifically, it may be trivially easy to bridge to IRC. So if someone
bridges Discord to IRC, we can then bridge IRC to the MUD and relay
Discord stuff through there. Probably. Here are the docs. [1] Don't
hurt me if I turn out to be completely wrong.

Incidentally, it would be helpful to have someone working on the MUD
who actually knows how to do Python.

[1] https://github.com/evennia/evennia/blob/master/docs/source/IRC.md

-Aris


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Aris Merchant via agora-discussion
On Mon, Jun 22, 2020 at 2:58 PM Jason Cobb via agora-discussion
 wrote:
>
> On 6/22/20 5:10 PM, James Cook via agora-discussion wrote:
> > I still think it would be nice to have a party in Aris's and Jacob's
> > MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>
>
> That is still running, so that's feasible. As for a bridge, you'd have
> to ask Aris about that.

Uhhh... The short answer is no. The long answer is, if we have an
experienced python programer with an indeterminate but probably very
large amount of spare time, maybe?


-Aris


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Jason Cobb via agora-discussion
On 6/22/20 5:10 PM, James Cook via agora-discussion wrote:
> I still think it would be nice to have a party in Aris's and Jacob's
> MUD some time : ) (Could *that* be bridged to IRC/Discord?)


That is still running, so that's feasible. As for a bridge, you'd have
to ask Aris about that.

-- 
Jason Cobb



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Jason Cobb via agora-discussion
On 6/22/20 5:33 PM, nch via agora-discussion wrote:
>> This makes sense, but I think the solution to this is to try to
>> establish some sort of bridge or create some way for people to access it
>> without an account.
> I like the bridge idea too, but I'm not entirely sure on the specifics 
> of how to implement it yet. Someone with more server experience might 
> have a better idea.


I could look into this in my infinite free time.

-- 
Jason Cobb



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread nch via agora-discussion
On 6/22/20 4:28 PM, Publius Scribonius Scholasticus via agora-discussion 
wrote:
>> This is meant to give us back that ephemeral chat. And it already has,
>> frankly. In the discord right now is 9 established players, 1 observer,
>> and 1 new player. We've done a lot of collaboration on the github pages.
>> Nothing these permanent archives would miss, I promise. Things like
>> asking each other git technical questions and rapid feedback. Also,
>> we've told jokes and talked about side topics and generally goofed
>> around in an incredibly refreshing way that has no place on a mailing list.
>>
>> And every time anyone in the server wanted to say something longer
>> winded, they've sent it to the mailing lists. Because that's what
>> mailing lists are good at. Having two tools with two different strengths
>> makes us stronger than using one tool to do everything.
>>
>> Again, I shy away from proprietary. But it shouldn't be binary, it
>> should be a continuum. Discord fills a slot nothing us is filling for us
>> right now. It has a (in my personal opinion) good TOS and good revenue
>> plan, ones which are mostly kind to the user. If we find something that
>> performs a similar roll to it in the future but is open source, I'm all
>> for killing it for that.
> This makes sense, but I think the solution to this is to try to
> establish some sort of bridge or create some way for people to access it
> without an account.
I like the bridge idea too, but I'm not entirely sure on the specifics 
of how to implement it yet. Someone with more server experience might 
have a better idea.
>> I don't think we should turn away a good enough tool because it's not
>> perfect. That slowly kills us and alienates us. The fact that I've seen
>> 3 people show up and then disappear in the last few weeks, two of which
>> explicitly complaining about the avalanche of emails and uncertainty
>> about where they can ask questions, should be proof of that.
> If you're correct about the usage of this, only one of those problems
> will be solved. I think we should think about ways to better deal with
> the avalanche on top of this solution.

I agree that we should look for other solutions. But I do think this 
will help both sides. There's definitely been some discussion on the 
fora that would be better in chat, simply because we didn't have the 
option of chat (or we did, but nobody used it regularly enough for it to 
be practical). So it should help a little bit, and it's something we 
were able to do right away.

The Help pages I put up today are intended to assist both these problems 
too. Not by decreasing message volume, but by giving advice on how to 
manage message volume. There's definitely more brainstorming to do on 
this front though.

-- 
nch
Prime Minister, Webmastor, NAX Exchange Manager




Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Jason Cobb via agora-discussion
On 6/22/20 5:31 PM, ATMunn via agora-discussion wrote:
> Same. They both have the initials JC.


Maybe we're just the same person...

-- 
Jason Cobb



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread ATMunn via agora-discussion
On 6/22/2020 5:16 PM, Publius Scribonius Scholasticus via 
agora-discussion wrote:

On 6/22/20 5:13 PM, Jason Cobb via agora-discussion wrote:

On 6/22/20 5:11 PM, James Cook via agora-discussion wrote:

I still think it would be nice to have a party in Aris's and Jacob's
MUD some time : ) (Could *that* be bridged to IRC/Discord?)

- Falsifian

Er, sorry, Jason. (I shouldn't try to write emails while distracted.)

- Falsifian



This has happened a good bit in real life, but I never expected it to
follow me to Agora :).



I'm always very concerned that I'll mess up Falsifian and Jason because
the two initial "J" names are easily confused for me.



Same. They both have the initials JC.

--
ATMunn
friendly neighborhood notary here :)


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 5:18 PM, nch via agora-discussion wrote:
> On 6/22/20 3:55 PM, James Cook via agora-discussion wrote:
>> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
>> agora-discussion  wrote:
>>> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
 On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
 wrote:
> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
>> I can do that without objection
> I can save everyone time by saying that I will object.
>
> --
> 
> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
 Can I ask what detriment you feel there is to having an extra optional
 discussion forum? We already have the irc and it doesn't seem to impede
 normal play...

>>> For me, I am concerned that it could normalize the use of a proprietary,
>>> locked-in platform as an official place of discussion.
>> My concern exactly.
>>
>> - Falsifian
> 
> Trust me, I have spent my entire life using linux and working for non 
> profits, I don't like proprietary. I understand the wariness against 
> Embrace, Extend, Extinguish [1] strategies. But the concern about 
> lock-in for this seems overblown. We had the extremely ephemeral irc. 
> Nobody backed up the conversations there to some archive, and nobody 
> cares because it was specifically meant for conversations that aren't 
> meant to last.

That's an objection I have as well, and I've investigated good archiving
options, but they don't really exist and I have questions about the
ethics of it, but that ship has sailed.

> 
> This is meant to give us back that ephemeral chat. And it already has, 
> frankly. In the discord right now is 9 established players, 1 observer, 
> and 1 new player. We've done a lot of collaboration on the github pages. 
> Nothing these permanent archives would miss, I promise. Things like 
> asking each other git technical questions and rapid feedback. Also, 
> we've told jokes and talked about side topics and generally goofed 
> around in an incredibly refreshing way that has no place on a mailing list.
> 
> And every time anyone in the server wanted to say something longer 
> winded, they've sent it to the mailing lists. Because that's what 
> mailing lists are good at. Having two tools with two different strengths 
> makes us stronger than using one tool to do everything.
> 
> Again, I shy away from proprietary. But it shouldn't be binary, it 
> should be a continuum. Discord fills a slot nothing us is filling for us 
> right now. It has a (in my personal opinion) good TOS and good revenue 
> plan, ones which are mostly kind to the user. If we find something that 
> performs a similar roll to it in the future but is open source, I'm all 
> for killing it for that.

This makes sense, but I think the solution to this is to try to
establish some sort of bridge or create some way for people to access it
without an account.

> 
> I don't think we should turn away a good enough tool because it's not 
> perfect. That slowly kills us and alienates us. The fact that I've seen 
> 3 people show up and then disappear in the last few weeks, two of which 
> explicitly complaining about the avalanche of emails and uncertainty 
> about where they can ask questions, should be proof of that.

If you're correct about the usage of this, only one of those problems
will be solved. I think we should think about ways to better deal with
the avalanche on top of this solution.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread nch via agora-discussion
On 6/22/20 3:55 PM, James Cook via agora-discussion wrote:
> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
> agora-discussion  wrote:
>> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
>>> On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
>>> wrote:
 On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> I can do that without objection
 I can save everyone time by saying that I will object.

 --
 
 Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
 Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
>>> Can I ask what detriment you feel there is to having an extra optional
>>> discussion forum? We already have the irc and it doesn't seem to impede
>>> normal play...
>>>
>> For me, I am concerned that it could normalize the use of a proprietary,
>> locked-in platform as an official place of discussion.
> My concern exactly.
>
> - Falsifian

Trust me, I have spent my entire life using linux and working for non 
profits, I don't like proprietary. I understand the wariness against 
Embrace, Extend, Extinguish [1] strategies. But the concern about 
lock-in for this seems overblown. We had the extremely ephemeral irc. 
Nobody backed up the conversations there to some archive, and nobody 
cares because it was specifically meant for conversations that aren't 
meant to last.

This is meant to give us back that ephemeral chat. And it already has, 
frankly. In the discord right now is 9 established players, 1 observer, 
and 1 new player. We've done a lot of collaboration on the github pages. 
Nothing these permanent archives would miss, I promise. Things like 
asking each other git technical questions and rapid feedback. Also, 
we've told jokes and talked about side topics and generally goofed 
around in an incredibly refreshing way that has no place on a mailing list.

And every time anyone in the server wanted to say something longer 
winded, they've sent it to the mailing lists. Because that's what 
mailing lists are good at. Having two tools with two different strengths 
makes us stronger than using one tool to do everything.

Again, I shy away from proprietary. But it shouldn't be binary, it 
should be a continuum. Discord fills a slot nothing us is filling for us 
right now. It has a (in my personal opinion) good TOS and good revenue 
plan, ones which are mostly kind to the user. If we find something that 
performs a similar roll to it in the future but is open source, I'm all 
for killing it for that.

I don't think we should turn away a good enough tool because it's not 
perfect. That slowly kills us and alienates us. The fact that I've seen 
3 people show up and then disappear in the last few weeks, two of which 
explicitly complaining about the avalanche of emails and uncertainty 
about where they can ask questions, should be proof of that.

[1] https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguish

-- 
nch
Prime Minister, Webmastor, NAX Exchange Manager




Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 5:13 PM, Jason Cobb via agora-discussion wrote:
> On 6/22/20 5:11 PM, James Cook via agora-discussion wrote:
>>> I still think it would be nice to have a party in Aris's and Jacob's
>>> MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>>>
>>> - Falsifian
>> Er, sorry, Jason. (I shouldn't try to write emails while distracted.)
>>
>> - Falsifian
> 
> 
> This has happened a good bit in real life, but I never expected it to
> follow me to Agora :).
> 

I'm always very concerned that I'll mess up Falsifian and Jason because
the two initial "J" names are easily confused for me.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Kerim Aydin via agora-discussion


On 6/22/2020 1:55 PM, James Cook via agora-discussion wrote:
> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
> agora-discussion  wrote:
>> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
>>> On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
>>> wrote:
 On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> I can do that without objection
 I can save everyone time by saying that I will object.

 --
 
 Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
 Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
>>>
>>> Can I ask what detriment you feel there is to having an extra optional
>>> discussion forum? We already have the irc and it doesn't seem to impede
>>> normal play...
>>>
>>
>> For me, I am concerned that it could normalize the use of a proprietary,
>> locked-in platform as an official place of discussion.
> 
> My concern exactly.

It's a place that a critical mass of agorans are currently hanging out so
as long as that's true, it should be advertised somehow regularly to be
open/welcoming to newcomers.   Maybe at the top of the Newspaper, I dunno.
Whether than makes it worth a buried mention in the Registrar's report
alongside the nearly entirely defunct IRC channel is more of a ¯\_(ツ)_/¯,
tho having the IRC listed while we're all over on discord pretty much
confirms our fuddy-duddy nature...



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Jason Cobb via agora-discussion
On 6/22/20 5:11 PM, James Cook via agora-discussion wrote:
>> I still think it would be nice to have a party in Aris's and Jacob's
>> MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>>
>> - Falsifian
> Er, sorry, Jason. (I shouldn't try to write emails while distracted.)
>
> - Falsifian


This has happened a good bit in real life, but I never expected it to
follow me to Agora :).

-- 
Jason Cobb



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread James Cook via agora-discussion
> I still think it would be nice to have a party in Aris's and Jacob's
> MUD some time : ) (Could *that* be bridged to IRC/Discord?)
>
> - Falsifian

Er, sorry, Jason. (I shouldn't try to write emails while distracted.)

- Falsifian


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread James Cook via agora-discussion
On Mon, 22 Jun 2020 at 21:05, Publius Scribonius Scholasticus via
agora-discussion  wrote:
> On 6/22/20 5:02 PM, Aris Merchant via agora-discussion wrote:
> > On Mon, Jun 22, 2020 at 1:55 PM James Cook via agora-discussion
> >  wrote:
> >>
> >> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
> >> agora-discussion  wrote:
> >>> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
>  On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
>  wrote:
> > On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> >> I can do that without objection
> > I can save everyone time by saying that I will object.
> >
> > --
> > 
> > Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> > Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
> 
>  Can I ask what detriment you feel there is to having an extra optional
>  discussion forum? We already have the irc and it doesn't seem to impede
>  normal play...
> 
> >>>
> >>> For me, I am concerned that it could normalize the use of a proprietary,
> >>> locked-in platform as an official place of discussion.
> >>
> >> My concern exactly.
> >
> > Would you two be less concerned if there were an IRC-Discord bridge?
> >
> > -Aris
> >
>
> I would be less concerned but still somewhat concerned. If that were set
> up, I'd still want to ensure that the official designation were given to
> the general location and not specifically the Discord interface for it.

Same. Personally I feel a little guilty asking for someone to go to
the effort, though, since I don't expect to use it a lot. I do think
it's nice R. Lee went to the effort already to set up a discussion
channel people (apparently) are more likely to use than IRC.

I still think it would be nice to have a party in Aris's and Jacob's
MUD some time : ) (Could *that* be bridged to IRC/Discord?)

- Falsifian


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 5:02 PM, Aris Merchant via agora-discussion wrote:
> On Mon, Jun 22, 2020 at 1:55 PM James Cook via agora-discussion
>  wrote:
>>
>> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
>> agora-discussion  wrote:
>>> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
 On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
 wrote:
> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
>> I can do that without objection
> I can save everyone time by saying that I will object.
>
> --
> 
> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth

 Can I ask what detriment you feel there is to having an extra optional
 discussion forum? We already have the irc and it doesn't seem to impede
 normal play...

>>>
>>> For me, I am concerned that it could normalize the use of a proprietary,
>>> locked-in platform as an official place of discussion.
>>
>> My concern exactly.
> 
> Would you two be less concerned if there were an IRC-Discord bridge?
> 
> -Aris
> 

I would be less concerned but still somewhat concerned. If that were set
up, I'd still want to ensure that the official designation were given to
the general location and not specifically the Discord interface for it.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Aris Merchant via agora-discussion
On Mon, Jun 22, 2020 at 1:55 PM James Cook via agora-discussion
 wrote:
>
> On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
> agora-discussion  wrote:
> > On 6/22/20 4:06 PM, nch via agora-discussion wrote:
> > > On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
> > > wrote:
> > >> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> > >>> I can do that without objection
> > >> I can save everyone time by saying that I will object.
> > >>
> > >> --
> > >> 
> > >> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> > >> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
> > >
> > > Can I ask what detriment you feel there is to having an extra optional
> > > discussion forum? We already have the irc and it doesn't seem to impede
> > > normal play...
> > >
> >
> > For me, I am concerned that it could normalize the use of a proprietary,
> > locked-in platform as an official place of discussion.
>
> My concern exactly.

Would you two be less concerned if there were an IRC-Discord bridge?

-Aris


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread James Cook via agora-discussion
On Mon, 22 Jun 2020 at 20:53, Publius Scribonius Scholasticus via
agora-discussion  wrote:
> On 6/22/20 4:06 PM, nch via agora-discussion wrote:
> > On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion
> > wrote:
> >> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> >>> I can do that without objection
> >> I can save everyone time by saying that I will object.
> >>
> >> --
> >> 
> >> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> >> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
> >
> > Can I ask what detriment you feel there is to having an extra optional
> > discussion forum? We already have the irc and it doesn't seem to impede
> > normal play...
> >
>
> For me, I am concerned that it could normalize the use of a proprietary,
> locked-in platform as an official place of discussion.

My concern exactly.

- Falsifian


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 4:06 PM, nch via agora-discussion wrote:
> On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion 
> wrote:
>> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
>>> I can do that without objection
>> I can save everyone time by saying that I will object.
>>
>> --
>> 
>> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
>> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth
> 
> Can I ask what detriment you feel there is to having an extra optional 
> discussion forum? We already have the irc and it doesn't seem to impede 
> normal play...
> 

For me, I am concerned that it could normalize the use of a proprietary,
locked-in platform as an official place of discussion.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Kerim Aydin via agora-discussion


On 6/22/2020 1:00 PM, Publius Scribonius Scholasticus wrote:
> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
>> I can do that without objection
> 
> I can save everyone time by saying that I will object.

There's a weird, edge-case, legal precedent (that I won't bother to look
for, it just rings a bell) that discussion fora are actually *less*
communicative than non-fora.

The argument is specific for cases where something is done by
"informing/submitting to the [officer]" (e.g. Cantus Cygneus).  The idea
being that in the DF, it's a general open optional forum with no
expectation that an officer see what's posted there, even if e posts there
regularly (I mean, I regularly skim/skip stuff here - we all do).  But if
you meet the officer in a random place online and tell em, it could create
the assumption/evidence more strongly that e'd been "informed", especially
if the medium supports directed saved personal messaging and so forth.

-G.



Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread nch via agora-discussion
On 6/22/20 3:00 PM, Publius Scribonius Scholasticus via agora-discussion 
wrote:
> On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
>> I can do that without objection
> I can save everyone time by saying that I will object.
>
> --
> 
> Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
> Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth

Can I ask what detriment you feel there is to having an extra optional 
discussion forum? We already have the irc and it doesn't seem to impede 
normal play...

-- 
nch
Prime Minister, Webmastor, NAX Exchange Manager




Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread Publius Scribonius Scholasticus via agora-discussion
On 6/22/20 3:50 PM, James Cook via agora-discussion wrote:
> I can do that without objection

I can save everyone time by saying that I will object.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: DIS: Re: BUS: Put the discord on the agora home page

2020-06-22 Thread James Cook via agora-discussion
> On Mon, Jun 22, 2020 at 1:12 PM Rebecca via agora-business <
> agora-busin...@agoranomic.org> wrote:
>
> > See title
> >
> > Also all should join it, it has been a fun and very active atmosphere,
> > although too small.


On Mon, 22 Jun 2020 at 03:17, Rebecca via agora-discussion
 wrote:
> https://discord.gg/FwmJW8

You might consider trying to switch the Publicity of that forum from
Foreign to Discussion (R478).

As Registrar I can do that without objection, but I have mixed
feelings about endorsing a proprietary service. I would rather see it
done by proposal (and I'm not sure how I'd vote).

- Falsifian


DIS: Re: BUS: Put the discord on the agora home page

2020-06-21 Thread Rebecca via agora-discussion
https://discord.gg/FwmJW8

On Mon, Jun 22, 2020 at 1:12 PM Rebecca via agora-business <
agora-busin...@agoranomic.org> wrote:

> See title
>
> Also all should join it, it has been a fun and very active atmosphere,
> although too small.
>
> --
> From R. Lee
>


-- 
>From R. Lee