#pdf

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

Efficient and accurate systems for querying unstructured data https://lobste.rs/s/v8atna #pdf #ai #databases https://stacks.stanford.edu/file/fk030tb6783/thesis-augmented.pdf

DIFF: A Relational Interface for Large-Scale Data Explanation https://lobste.rs/s/qlhcr5 #pdf #databases https://andrewxiwu.github.io/public/papers/2019/macrobase-sql-VLDB2019.pdf

Statement on finite-time blowup for forced 3D Euler, and OpenAI's conduct https://lobste.rs/s/b7k94m #pdf #math #vibecoding https://cims.nyu.edu/~tristanb/statement.pdf

The Dataflow Model Revisited via @lobsters@mastodon.social https://lobste.rs/s/r5b28u #pdf #databases https://www.vldb.org/pvldb/vol19/p4953-fernandez-moctezuma.pdf