#pdf

Hi Fediverse! I'm Eduard, an accessibility consultant and C++ developer. I've just opened the beta of Tagafolio, a tool that checks PDFs for accessibility (PDF/UA and WCAG) and helps fix them. It runs entirely in your browser, using WebAssembly. Your documents are never uploaded anywhere. Try it: https://tagafolio.com It's a beta, so feedback is gold, especially from screen reader users. #Introduction #A11y #Accessibility #PDF #PDFUA

A brief history of just-in-time (2003) via @fanf@mendeddrum.org https://lobste.rs/s/h6dt6e #pdf #compilers #historical https://dl.acm.org/doi/10.1145/857076.857077

Non-Determinism and Overcount on Modern Hardware Performance Counter Implementations https://lobste.rs/s/pswl6z #pdf #hardware #performance https://web.eece.maine.edu/~vweaver/projects/deterministic/deterministic_counters.pdf

Censor, a new document redaction tool, is there! It allows to draw black rectangles on PDF documents and to permanently remove the text and images below. Find it on @Codeberg@social.anoxinon.de: https://codeberg.org/censor/Censor get it from @flathub@floss.social: https://flathub.org/apps/page.codeberg.censor.Censor or translate it on Codeberg Translate: https://translate.codeberg.org/engage/censor It is a free and open-source graphical user interface (GUI) for #Linux and the #GNOME desktop, and uses the #MuPDF library with its #python bindings from the #PyMuPDF module. #censorship #redaction #PDF #Codeberg #Flatpak #Flathub

“A historic moment for Censor” #Censor – the PDF redaction tool for the @gnome@floss.social desktop – comes now with a new edit history. It allows you to undo and redo redactions using the right-click context menu or keyboard shortcuts. Also, a bug that prevented repeated saving to the same file path was fixed. Get the new version from @flathub@floss.social: https://flathub.org/apps/page.codeberg.censor.Censor and find it on @Codeberg@social.anoxinon.de: https://codeberg.org/censor/Censor/releases/tag/v0.4.0 You may now talk Chinese, Dutch, English, Estonian, Finnish, French, German, Italian, and Vietnamese with Censor (thanks a lot to the translators!). If your language is missing from this list I invite you to contribute at Codeberg Translate: https://translate.codeberg.org/engage/censor #censorship #redaction #PDF #Codeberg #Flatpak #Flathub #GNOME #python #MuPDF #PyMuPDF #Linux

ACLs don’t (2009) via @fanf@mendeddrum.org https://lobste.rs/s/9h6lc4 #pdf #security https://shiftleft.com/mirrors/www.hpl.hp.com/techreports/2009/HPL-2009-20.pdf

An Evening with Berferd: In Which a Cracker is Lured, Endured, and Studied (1992) https://lobste.rs/s/7bbzjf #pdf #security #unix https://www.cheswick.com/ches/papers/berferd.pdf

A stackless floodfill automation (2023) via @lobsters@mastodon.social https://lobste.rs/s/tp0zlk #pdf #compsci https://t3x.org/files/floodfill.pdf

The Exponential Time Hypothesis Is False [pdf] https://lobste.rs/s/pq6ju6 #pdf #math https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf

An Incremental Approach to JIT Construction via @bd103@hachyderm.io https://lobste.rs/s/hmtqfl #pdf #compilers #education https://dl.acm.org/doi/pdf/10.1145/3830440.3832304

CLP: Efficient and Scalable Search on Compressed Text Logs (2021) https://lobste.rs/s/pgcvkc #pdf #databases #performance https://www.usenix.org/system/files/osdi21-rodrigues.pdf

DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) https://lobste.rs/s/rji3qe #pdf #databases https://arxiv.org/pdf/cs/0701155

Mergeable Summaries (2013) https://lobste.rs/s/rddkyc #pdf #compsci https://dl.acm.org/doi/pdf/10.1145/2500128

JSON Tiles: Fast Analytics on Semi-Structured Data (2021) https://lobste.rs/s/7mllxi #pdf #databases #performance https://db.cit.tum.de/~durner/papers/json-tiles-sigmod21.pdf

How To Write Shared Libraries (2011) https://lobste.rs/s/tenn7k #pdf #programming https://www.cs.dartmouth.edu/sergey/cs108/ABI/UlrichDrepper-How-To-Write-Shared-Libraries.pdf

B-Trees Are Back: Engineering Fast and Pageable Node Layouts via @fanf@mendeddrum.org https://lobste.rs/s/gvbqdy #pdf #databases https://www.cs.cit.tum.de/fileadmin/w00cfj/dis/papers/btrees-are-back.pdf

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs https://lobste.rs/s/axmhji #pdf #formalmethods #math #reversing #vibecoding https://arxiv.org/abs/2610.08144

How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #formalmethods #math https://www.brics.dk/RS/97/18/BRICS-RS-97-18.pdf

Bidirectional Type Slicing https://lobste.rs/s/odew1t #pdf #plt https://arxiv.org/pdf/2607.12197

Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging https://lobste.rs/s/oevwp5 #pdf #databases https://nivdayan.github.io/dostoevsky.pdf