Bill Baxter wrote:
It seems to me that the built-in .sort uses a randomized algorithm that leads to results that differ from run-to-run when there are elements with identical keys.
No, it doesn't use random sorts. The source code is included, so this should be easy to verify.
