Daniel J. Bernstein on Nostr: Haven't really been satisfied with the tools I've tried over the years for comparing ...
Haven't really been satisfied with the tools I've tried over the years for comparing PDFs (for example, comparing paper-v6.pdf to paper-v7.pdf), so wrote yet another tool:
https://cr.yp.to/2025/pdfspotthediff-20251230 Internally, this is a short Python script that calls pymupdf for the real work.
Published at
2025-12-30 12:56:06 UTCEvent JSON
{
"id": "6c37f9f7739c6db35edbfe8da3e341d90cd1e25686fca1b2ba2d45547fe60ab9",
"pubkey": "dfc7d34aef2cd15aa9eb1c20d755dbf8cafb7bbd155f737c941e14d8c3c1f95a",
"created_at": 1767099366,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.cr.yp.to/users/djb/statuses/115808624085027259",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "Haven't really been satisfied with the tools I've tried over the years for comparing PDFs (for example, comparing paper-v6.pdf to paper-v7.pdf), so wrote yet another tool: https://cr.yp.to/2025/pdfspotthediff-20251230 Internally, this is a short Python script that calls pymupdf for the real work.",
"sig": "a51808be7d8b999677862e64e7071fe83a02111aeaa2bba912b15bcb87083c9b0d0c5e807481e2b3bd5a7778fa8d2db35729bc27c0314de75363ff0d731d960d"
}
