Datalog Disassembly (2020) https://lobste.rs/s/zchcbj #pdf #logiclangs #reversing
https://www.usenix.org/system/files/sec20-flores-montoya.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
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
Catching prompt injections hidden in PDFs by @tclancy https://lobste.rs/s/hreu0b #pdf #a11y #ai #security
https://tomclancy.info/joshua-judges-ruth.html
Bidirectional Type Slicing https://lobste.rs/s/odew1t #pdf #plt
https://arxiv.org/pdf/2607.12197
Following breadcrumbs in code - What accidentally committed Ad-Hoc logs reveal about developer comprehension via @kngl https://lobste.rs/s/b6ebju #pdf #practices
https://link.springer.com/article/10.1007/s10664-026-10988-z
When a language’s creator and its owners strongly disagree: C++26 post-DIS, historical experience, and paths forward https://lobste.rs/s/vlagyq #pdf #c++
https://isocpp.org/files/papers/P4454R0.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
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
B-Trees Are Back: Engineering Fast and Pageable Node Layouts via @fanf https://lobste.rs/s/gvbqdy #pdf #databases
https://www.cs.cit.tum.de/fileadmin/w00cfj/dis/papers/btrees-are-back.pdf
Mergeable Summaries (2013) https://lobste.rs/s/rddkyc #pdf #compsci
https://dl.acm.org/doi/pdf/10.1145/2500128
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