Re: [Python-Dev] What does a double coding cookie mean?

On 17.03.16 16:55, Guido van Rossum wrote: On Thu, Mar 17, 2016 at 5:04 AM, Serhiy Storchaka wrote: Should we recommend that everyone use tokenize.detect_encoding()? Likely. However the interface of tokenize.detect_encoding() is not very simple. I just found that out

Re: [Python-Dev] What does a double coding cookie mean?

On Wed, Mar 16, 2016 at 12:59 AM, M.-A. Lemburg wrote: > The only reason to read up to two lines was to address the use of > the shebang on Unix, not to be able to define two competing > source code encodings :-) I know. I was just surprised that the PEP was sufficiently vague

Re: [Python-Dev] PEP 515: Underscores in Numeric Literals (revision 3)

I'm happy to accept this PEP as is stands, assuming the authors are ready for this news. I recommend also implementing the option from footnote [11] (extend the number-to-string formatting language to allow ``_`` as a thousans separator). On Thu, Mar 17, 2016 at 11:19 AM, Brett Cannon