Re: [Python-ideas] New Project to Capture summaries from this

2019-03-29 Thread Paul Moore
Bah. Tablet client defaults to reply, not reply to all... On Fri, 29 Mar 2019 at 08:10, Paul Moore wrote: > On Fri, 29 Mar 2019 at 03:25, Chris Angelico wrote: > >> On Fri, Mar 29, 2019 at 2:07 PM Stephen J. Turnbull >> wrote: >> > >> > There's a big difference, though. Email users choose the

Re: [Python-ideas] New Project to Capture summaries from this

2019-03-29 Thread Steven D'Aprano
Without getting into the pros and cons of mailing lists versus github versus discourse versus Stackoverflow versus ... On Fri, Mar 29, 2019 at 02:23:52PM +1100, Chris Angelico wrote: > Have you ever actually > convinced someone to move off Gmail onto some other client? Gmail is an email provid

Re: [Python-ideas] New Project to Capture summaries from this

2019-03-29 Thread Chris Angelico
On Fri, Mar 29, 2019 at 8:41 PM Steven D'Aprano wrote: > On Fri, Mar 29, 2019 at 02:23:52PM +1100, Chris Angelico wrote: > > > Have you ever actually > > convinced someone to move off Gmail onto some other client? > > Gmail is an email provider with a web interface. As a provider, it is > availabl

Re: [Python-ideas] New Project to Capture summaries from this

2019-03-29 Thread Steven D'Aprano
On Fri, Mar 29, 2019 at 10:20:41PM +1100, Chris Angelico wrote: > In those terms, I'm talking about convincing someone to move off the > _Gmail client_, whether or not they continue using the Gmail service. > Have you ever convinced someone to stop using the Gmail web interface > and start using s

Re: [Python-ideas] Unified style of cache management API

2019-03-29 Thread Brett Cannon
On Thu, Mar 28, 2019 at 10:53 AM Serhiy Storchaka wrote: > 28.03.19 19:45, Brett Cannon пише: > > So I would say that a cache-clearing function convention would be a > > reasonable starting point. If that turns out to not be enough for folks > > we can talk about expanding it, but I think we shou

Re: [Python-ideas] New explicit methods to trim strings

2019-03-29 Thread Christopher Barker
Could we try to keep the discussion about the topic at hand? There are a broad set if considerations that apply to any change, but they don’t all apply equally to all proposals. The proposal at hand is to add two fairly straightforward methods to string. So: > > > We are balancing equities here.

Re: [Python-ideas] New explicit methods to trim strings

2019-03-29 Thread Steven D'Aprano
On Fri, Mar 29, 2019 at 04:05:55PM -0700, Christopher Barker wrote: > This proposal would provide a minor gain for an even more minor disruption. I don't think that is correct. I think you are underestimating the gain and exaggerating the disruption :-) Cutting a prefix or suffix from a string

Re: [Python-ideas] New explicit methods to trim strings

2019-03-29 Thread Cameron Simpson
On 30Mar2019 12:37, Steven D'Aprano wrote: On Fri, Mar 29, 2019 at 04:05:55PM -0700, Christopher Barker wrote: This proposal would provide a minor gain for an even more minor disruption. I don't think that is correct. I think you are underestimating the gain and exaggerating the disruption :-