#pdf

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

Protocol-aware recovery for consensus-based storage (2018) https://lobste.rs/s/4bzboj #pdf #databases #distributed https://www.usenix.org/system/files/conference/fast18/fast18-alagappan.pdf

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) https://lobste.rs/s/dqp0oc #pdf #compilers #performance #plt https://dl.acm.org/doi/epdf/10.1145/74818.74831

Datalog Disassembly (2020) https://lobste.rs/s/zchcbj #pdf #logiclangs #reversing https://www.usenix.org/system/files/sec20-flores-montoya.pdf

Intuitive equals familiar via @fanf@mendeddrum.org https://lobste.rs/s/kmlhg1 #pdf #design https://dl.acm.org/doi/10.1145/182987.584629

What Improves Developer Productivity at Google? Code Quality https://lobste.rs/s/mwc2fu #pdf #practices https://dl.acm.org/doi/pdf/10.1145/3540250.3558940

Acid: A Debugger Built From A Language (1996) https://lobste.rs/s/nzzcn0 #pdf #debugging #plt https://inferno-os.org/inferno/papers/acidpaper.pdf

Forging 1024-bit RSA signatures in nearly SNFS time https://lobste.rs/s/ah5jnf #pdf #cryptography #security https://eprint.iacr.org/2026/2131.pdf

PDF Forgeries Are Surprisingly Rare (2022) https://gwern.net/blog/2022/pdf-forgery #HackerNews #Tech #PDF

Lifestreams: a storage model for personal data (1996) https://lobste.rs/s/xb9tkn #pdf #compsci #design https://www.ee.columbia.edu/~dpwe/papers/FreeG96-lifestreams.pdf

The Implications of Linguistic Illegibility for LLM Security https://lobste.rs/s/bkjmjg #pdf #security #vibecoding https://arxiv.org/abs/2609.02852

Malika Asman is my hero of the day! She build support for adding handwritten signatures to a #PDF into GNOMES pdf tool. I've complained for years that all pdf tools on Linux have, if at all, poor support for this. This makes me rally looking forward to #GNOME 51! https://release.gnome.org/51/

SplitFT: Fault Tolerance for Disaggregated Datacenters via Remote Memory Logging https://lobste.rs/s/eytyqv #pdf #distributed #performance https://ramalagappan.github.io/pdfs/papers/splitft.pdf

Is truth futureproof? On the possible futures of mechanized proofs https://lobste.rs/s/cmgzlj #pdf #math #plt https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf