[Python-Dev] Re: Changing Python's string search algorithms

> On Oct 17, 2020, at 2:40 PM, Tim Peters wrote: > > Still waiting for someone who thinks string search speed is critical > in their real app to give it a try. In the absence of that, I endorse > merging this. Be bold. Merge it. :-) Raymond __

[Python-Dev] Re: Changing Python's string search algorithms

On 17/10/20 3:26 pm, Tim Peters wrote: Tal Einat posted earlier that he was keen to try to work up a clear explanation, and I look forward to that. All the expositions I've found of this algorithm so far are hard to approach. Maybe Mathologer or 3blue1brown could be persuaded to help? They seem

[Python-Dev] Re: os.scandir bug in Windows?

On 10/18/2020 12:25 PM, Rob Cliffe via Python-Dev wrote: How do I do that, please?  I can't see an obvious create option on that web page.  Do I need to log in? Yes, you need to log in before you can open an issue. You might need to create an account first if you don't have one: it's called "R

[Python-Dev] Re: os.scandir bug in Windows?

How do I do that, please?  I can't see an obvious create option on that web page.  Do I need to log in? Thanks Rob Cliffe On 18/10/2020 05:31, Gregory P. Smith wrote: Could you please file this as an issue on bugs.python.org ? Thanks! -Greg On Sat, Oct 17, 2020 at 7:

[Python-Dev] Re: os.scandir bug in Windows?

On 10/15/20, Rob Cliffe via Python-Dev wrote: > > TLDR: In os.scandir directory entries, atime is always a copy of mtime > rather than the actual access time. There are inconsistencies in various scenarios between between the stat info from the directory entry and the stat info from the File Cont