5 ms·
Another tip: the vast majority of ArXiv papers have the LaTeX source available under "other formats". I used to download those instead of the pdfs for better s
by amathres_info 4y ago
Another tip: the vast majority of ArXiv papers have the LaTeX source available under "other formats". I used to download those instead of the pdfs for better searching. Now I don't really bother keeping a personal collection of papers, however.
Downloading the LaTeX source also has the advantage that you can see the comments the authors made that don't show in the pdf version. Sometimes appalling: "% Author 1: Is this lemma even true? This proof seems like bs to me % Author 2: Eh screw it who knows, it's probably true."
- podiki 4y agoA good one I saw once (and saved me tedious image->data extraction): something like "Why are you trying to copy this image for the data, find the full data tables at..."
- mr_mitm 4y agoYou just strengthened my opinion that PDF is a format of the past, considering people prefer to read the LaTeX source instead of the finished document.
- atoav 4y agoLet me quote an electrical engineer who thought me about norms: "Always use PDF because it comes accross more real, because it cannot be edited (!)". This is the perception non-IT-people have of PDF in comparison to e.g. .docx or similar editable formats those people know.
- PartiallyTyped 4y agoPersonally, I would like to see a pdf-like format with video/animations/gifs, possibly the ability to play with models and variables.
- m4lvin 4y agoPDFs can already contain videos and JavaScript. But given the security problems, I consider it a feature of most non-Adobe PDF viewers to not support that.
- PartiallyTyped 4y agoRight, I hadn't thought about those issues, and it's impossible to expect that venues and conferences will be capable of vetting the documents without introducing inefficiencies. Perhaps we should move to sandboxed webpages embedded within electron, where each paper is its own page?
- throwrugtime 4y agoAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHHHHHHHHHHH!
- PartiallyTyped 4y agoI take that as an emphatic no.