j
k
j a
j l
I think it's obvious that reverse() is a lot slower than search().
reverse is actually a lot faster, though. :-) 25s for 1000 reverses of a 6Mb string.
Back to the thread
Back to the list