[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Craig Citro
>> I would go so far as to recommend >> that we auto-email the logs each day to sage-devel. >> Note that typically less than 20 people are logged into #sage-devel at >> any time, and there is no posted log, so the people that benefit from >> #sage-devel are about 2% of the subscribers to the sage-

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Marshall Hampton
I have mixed feelings but in general I think it would be good to log. Knowing that it is logged will affect how I interact with it - I would say fewer personal things - but I have learned a huge amount from #sage-devel and it could be of great use to other people. So, overall, +1 to a formal log.

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Robert Bradshaw
On Sep 23, 2009, at 2:24 PM, William Stein wrote: > > On Wed, Sep 23, 2009 at 2:20 PM, Rob Beezer > wrote: >> >> +/- 0 to logging. I can argue both sides. >> >> On the one hand, I know I have seen things on #sage-devel that I >> think >> would be better off not being posted and indexed - in

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Timothy Clemans
On Wed, Sep 23, 2009 at 2:33 PM, Rob Beezer wrote: > > On Sep 23, 2:24 pm, William Stein wrote: >> For the Sage project I think it would *best* if we changed our >> behavior on #sage-devel and make the #sage-devel logs public and >> searchable.   The benefit to the project overall is that less g

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Rob Beezer
On Sep 23, 2:24 pm, William Stein wrote: > For the Sage project I think it would *best* if we changed our > behavior on #sage-devel and make the #sage-devel logs public and > searchable.   The benefit to the project overall is that less gets > discussed "in secret", process -- such as release man

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread William Stein
On Wed, Sep 23, 2009 at 2:20 PM, Rob Beezer wrote: > > +/- 0 to logging.  I can argue both sides. > > On the one hand, I know I have seen things on #sage-devel that I think > would be better off not being posted and indexed - in particular, a > flamer and a naive-sage-support-poster being critiqu

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread William Stein
On Wed, Sep 23, 2009 at 2:18 PM, William Stein wrote: > On Wed, Sep 23, 2009 at 1:44 PM, Harald Schilly > wrote: >> >> On Sep 23, 10:23 pm, Tim Joseph Dumol wrote: >>> #sagemath... >> >> about that channel, i registered it because it seems to be a good fit >> in the name with sagemath.org and s

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Rob Beezer
+/- 0 to logging. I can argue both sides. On the one hand, I know I have seen things on #sage-devel that I think would be better off not being posted and indexed - in particular, a flamer and a naive-sage-support-poster being critiqued. Nothing necessarily wrong with that, mostly folks blowing

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread William Stein
On Wed, Sep 23, 2009 at 1:44 PM, Harald Schilly wrote: > > On Sep 23, 10:23 pm, Tim Joseph Dumol wrote: >> #sagemath... > > about that channel, i registered it because it seems to be a good fit > in the name with sagemath.org and similar. some are OPs (i.e. it is a > moderated channel) there and

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Harald Schilly
On Sep 23, 10:23 pm, Tim Joseph Dumol wrote: > #sagemath... about that channel, i registered it because it seems to be a good fit in the name with sagemath.org and similar. some are OPs (i.e. it is a moderated channel) there and we should discuss to make this the official channel. i think it's b

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Jaap Spies
William Stein wrote: > On Wed, Sep 23, 2009 at 12:35 PM, kcrisman wrote: >>> There are privacy issues at play here -- I would like some debate >>> about this before we go ahead. Personally, I think #sage-devel should >>> be logged, because it's a development channel, but there is a great >>> dea

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Tim Joseph Dumol
+1 for logging. Any flames, we can use #sagemath, or a new channel for. I would love to have at least see yesterday's logs posted. I saw a bit of it, but I forgot to save my logs. On Thu, Sep 24, 2009 at 4:14 AM, William Stein wrote: > > On Wed, Sep 23, 2009 at 12:35 PM, kcrisman wrote: > > >

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread William Stein
On Wed, Sep 23, 2009 at 12:35 PM, kcrisman wrote: > >> There are privacy issues at play here -- I would like some debate >> about this before we go ahead.  Personally, I think #sage-devel should >> be logged, because it's a development channel, but there is a great >> deal of personal information

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread kcrisman
> There are privacy issues at play here -- I would like some debate   > about this before we go ahead.  Personally, I think #sage-devel should   > be logged, because it's a development channel, but there is a great   > deal of personal information exchanged in that venue. -1. At least for me, I

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread Nick Alexander
On 23-Sep-09, at 9:40 AM, William Stein wrote: > > On Wed, Sep 23, 2009 at 3:14 AM, Tim Dumol wrote: >> >> Are there any IRC logs up for #sage-devel? If there isn't, then >> perhaps we can have a bot (http://www.eggheads.org/) do logging >> automatically, and have them automatically posted onli

[sage-devel] Re: IRC logs for #sage-devel?

2009-09-23 Thread William Stein
On Wed, Sep 23, 2009 at 3:14 AM, Tim Dumol wrote: > > Are there any IRC logs up for #sage-devel? If there isn't, then > perhaps we can have a bot (http://www.eggheads.org/) do logging > automatically, and have them automatically posted online. It will be > helpful for people to catch up with any