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?
-
-
so looks like it fully layouts every page it's searching through?
Show this thread -
Show this thread
End of conversation
New conversation -
-
-
it likely is actually graytone mapping (tone curves are the gamma curves for displays from the old CRT days) so it's even worse than you thought.. since you're not searching for color
-
so I guess maybe I should try to see whether I can patch it to not bother with colors (and maybe some other things like that) when rendering pages for search
End of conversation
New conversation -
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.