http://qs1969.pair.com?node_id=428005


in reply to Re^10: Better mousetrap (getting top N values from list X)
in thread Better mousetrap (getting top N values from list X)

But the promise of provably correct code does not imply that you'll never code any errors.
Beware of bugs in the above code; I have only proved it correct, not tried it.
                    -- Donald E. Knuth in a memo to Peter van Emde Boas