Bug in timsort!?

[MRAB]

On 2015-02-24 21:40, Zachary Ware wrote:
> On Tue, Feb 24, 2015 at 3:34 PM, Roy Smith <roy at panix.com> wrote:
>> http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/
>
> http://bugs.python.org/issue23515
>
> Note that the article does mention that Python is not vulnerable due
> to this bug (and best I can tell has no behavioral issues); no
> computer currently in existence can create a large enough array to
> cause a problem.
>
I think the key word here is "currently".