Condensed from here: https://news.ycombinator.com/item?id=16035402
The Case for Learned Index Structures https://arxiv.org/pdf/1712.01208v1.pdf
State the Problem Before Describing the Solution (1978) https://lamport.azurewebsites.net/pubs/state-the-problem.pdf
Formal Verification of an OS Kernel (2009) https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf
Raft consens algorithm https://raft.github.io/raft.pdf http://openlife.cc/system/files/4-modifications-for-Raft-consensus.pdf
An Incremental Approach to Compiler Construction http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf
Dancing Links https://arxiv.org/abs/cs/0011047
Bringing The Web Up To Speed With WebAssembly https://github.com/WebAssembly/spec/raw/master/papers/pldi2017.pdf
The Bitcoin Whitepaper https://bitcoin.org/bitcoin.pdf