why do PDF readers need multiple seconds to search through something like a thousand pages of formatted text when grep can dig through the equivalent plaintext in ~50ms? is extracting plaintext from PDF that costly?
-
-
It's definitely doing way more work than necessary, but extracting text was bolted on rather it being designed to do just that.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.