2025.12.30 12:56:06 (Mastodon 115808624085027259, Twitter 2005986264550617157) from Daniel J. Bernstein:
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.