On 23-Sep-09, at 9:40 AM, William Stein wrote:
> > On Wed, Sep 23, 2009 at 3:14 AM, Tim Dumol <t...@timdumol.com> 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 discussion made in IRC. > > There are no logs. It would be great if somebody could set one up. 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. Nick --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
