Hacker Papers
- 01
A Critique of the CAP Theorem
Hacker News threads
- Sep 2015A Critique of the CAP Theorem
- Jun 2017A Critique of the CAP Theorem
- Sep 2015Call Me Maybe: Percona XtraDB Cluster
- Oct 2015The CAP FAQ
- Jun 2017The Limits of the CAP Theorem
- Sep 2021Why is IRC distributed across multiple servers?
- Jan 2024CAP twelve years later: How the "rules" have changed (2012)
- Oct 2024An illustrated proof of the CAP theorem (2018)
- Sep 2026Distributed Systems Classics (2017)
- 02
Parsing Gigabytes of JSON per Second
Hacker News threads
- Oct 2021Parsing gigabytes of JSON per second
- Sep 2024Parsing Gigabytes of JSON per Second
- May 2020Parsing Gigabytes of JSON per Second [pdf]
- Mar 2019An Intel Programmer Jumps over Wall: First Impressions of ARM SIMD Programming
- Jul 2019How fast can a BufferedReader read lines in Java?
- Oct 2021Word-Aligned Bloom Filters
- Mar 20241BRC merykitty's magic SWAR: 8 lines of code explained in 3k words
- Aug 2025Condor's Cuzco RISC-V Core at Hot Chips 2025
- Sep 2026Bitap: My favorite string matching algorithm
- 03
Flexible Paxos: Quorum intersection revisited
Hacker News threads
- Aug 2016Flexible Paxos: Quorum intersection revisited
- Aug 2016Flexible Paxos: Quorum intersection revisited
- Mar 2017In search of a simple consensus algorithm
- Mar 2017Paxos in 25 Lines
- Sep 2024Raft: Understandable Distributed Consensus (2014)
- Jan 2025Did we miss P In CAP? Partial Progress Conjecture under Asynchrony
- Aug 2026TigerBeetle Core System Architecture: Deconstructing Performance Engineering
- 04
AsicBoost - A Speedup for Bitcoin Mining
Hacker News threads
- 05
The Android Platform Security Model (2023)
Hacker News threads
- Apr 2019The Android Platform Security Model
- Apr 2025The Android Platform Security Model v3 (2023)
- Apr 2019The Android Platform Security Model [pdf]
- Mar 2022F-Droid – alternative to Google Play store
- Mar 2022F-Droid – alternative to Google Play store
- Mar 2025Everyone knows all the apps on your phone
- Mar 2026Motorola GrapheneOS devices will be bootloader unlockable/relockable
- Jul 2026Android May Soon Restrict On-Device ADB
- 06
Array Layouts for Comparison-Based Searching
Hacker News threads
- May 2017Array Layouts for Comparison-Based Searching
- Oct 2015Array Layouts for Comparison-Based Searching (Khuong and Morin, 2015)
- Oct 2015Array Layouts for Comparison-Based Searching
- Oct 2015Assist threads
- Oct 2015Memory Is Holding Up the Moore's Law Progression of Processing Power (2014)
- Jun 2017SIMD / GPU Friendly Branchless Binary Search
- May 2020Lomuto's Comeback
- Jul 2020Binary Search: A new implementation that is up to 25% faster
- Feb 2022Static B-Trees: A data structure for faster binary search
- Nov 2024Fastest Branchless Binary Search
- Jul 2026Static search trees: 40x faster than binary search (2024)
- 07
A partisan districting protocol with provably nonpartisan outcomes
Hacker News threads
- Nov 2017A partisan districting protocol with provably nonpartisan outcomes
- Jan 2021Auto-Redistrict – automatically creates electoral districts
- Nov 2022Towns are testing new ballot counting machines that use open source software
- Jun 2023Math Has Changed the Shape of Gerrymandering
- Feb 2024A Partisan Solution to Partisan Gerrymandering: The Define–Combine Procedure
- Jun 2026Show HN: Gerrymandle - Daily puzzle game where you redraw electoral districts
- 08
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Hacker News threads
- 09
What is algebraic about algebraic effects and handlers?
Hacker News threads
- 10
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
Hacker News threads
- Jan 2020OT and CRDT trade-offs for Real-Time collaboration
- Apr 2020OrbitDB: Peer-to-peer databases for the decentralized web
- Dec 2020Ask HN: What's the best paper you've read in 2020?
- Jun 2021Show HN: Fuzzynote – terminal-based, CRDT-backed, collaborative note-taking
- May 2026Show HN: Freenet, a peer-to-peer platform for decentralized apps
- 11
On the Impossibility of Supersized Machines
Hacker News threads
- Nov 2021On the Impossibility of Supersized Machines (2017)
- Jun 2024The Impossibility of Supersized Machines (2017)
- Apr 2017On the Impossibility of Supersized Machines
- Apr 2017The Myth of a Superhuman AI
- Nov 2017The impossibility of intelligence explosion
- Nov 2018Can we rule out near-term AGI? [video]
- Aug 2021The Myth of a Superhuman AI
- Nov 2021An argument for the impossibility of machine intelligence [pdf]
- Nov 2022Planes are still decades away from displacing most bird jobs
- Jan 2023How Organisms Come to Know the World: Fundamental Limits on AGI
- Jul 2025A non-anthropomorphized view of LLMs
- 12
Comparing the Effects of DNS, DoT, and DoH on Web Performance
Hacker News threads
- 13
Delta State Replicated Data Types
Hacker News threads
- 14
On the Impact of Programming Languages on Code Quality
Hacker News threads
- Jun 2019On the Impact of Programming Languages on Code Quality
- Jan 2019On the Impact of Programming Languages on Code Quality
- Mar 2021On the Impact of Programming Languages on Code Quality
- Apr 2019Correctness – A paradigm for sustainable software development
- Jun 2019Storm 2.0
- Jan 2021 Haskell is our first choice for building production software systems
- May 2021Functional Programming in Go with Generics
- Jun 2021Immutability Changes Everything (2016)
- May 2022Why We Switched from Python to Go (2021)
- May 2023Proposal to reduce loop variable scoping in Go
- Dec 2025The programmers who live in Flatland
- 15
Fansmitter: Acoustic Data Exfiltration from (Speakerless) Air-Gapped Computers
Hacker News threads
- 16
TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines
Hacker News threads
- Dec 2018MIT TabulaROSA: Tabular OS Arch for Massively Parallel Heterogeneous Comp Engine
- Feb 2025TabulaROSA: Tabular OS Massively Parallel Heterogeneous Compute Engines (2018)
- Jul 2018Replacing Linux with a Database System
- Dec 2018Ask HN: What was your experience using a graph database?
- Mar 2020Memory-Efficient Search Trees for Database Management Systems [pdf]
- Nov 2025Imperative to Relational
- 17
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation
Hacker News threads
- 18
Keeping CALM: When Distributed Consistency is Easy
Hacker News threads
- Sep 2024Keeping CALM: When distributed consistency is easy (2019)
- Jan 2019Keeping CALM: When Distributed Consistency Is Easy
- Jan 2019Keeping CALM: When Distributed Consistency Is Easy [pdf]
- May 2019ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications (2017) [pdf]
- Feb 2021Consensus Is Harder Than It Looks (2020)
- Apr 2023Transactions Aren't Everything
- Nov 2023Wrangling Monotonic Systems in TLA+
- Jan 2024RavenDB 6.0.2 (A Jepsen Report)
- Sep 2024Notes on Distributed Systems for Young Bloods
- Oct 2024An illustrated proof of the CAP theorem (2018)
- Sep 2025Strong Eventual Consistency – The Big Idea Behind CRDTs
- 19
Modular implicits
Hacker News threads
- Dec 2015Modular implicits for ad-hoc polymorphism in OCaml
- Mar 2016An OCaml manifesto – Problems and what's needed for widespread adoption
- Apr 2016OCaml 4.03.0 released (including flambda)
- Apr 2016OCaml 4.03.0 released (including flambda)
- Jun 2018Gluon – A static, type-inferred and embeddable language written in Rust
- Sep 2019A look back on OCaml since 2011
- Aug 2021Functional Programming in OCaml
- Dec 2021One Reason Typeclasses Are Useful
- Aug 2025OCaml as my primary language
- 20
MOSQUITO: Covert Ultrasonic Transmissions between Two Air-Gapped Computers using Speaker-to-Speaker Communication
Hacker News threads
- 21
Souper: A Synthesizing Superoptimizer
Hacker News threads
- Nov 2017Souper: A Synthesizing Superoptimizer
- Nov 2017Souper: A Synthesizing Superoptimizer
- Dec 2017Formal Verification: The Gap Between Perfect Code and Reality
- Feb 2019Syntax-Guided Synthesis
- Jan 2021Software Verification and Analysis Using Z3
- Feb 2021A Superoptimizer for LLVM IR
- Feb 2021A Superoptimizer for LLVM IR
- Jan 2025Tilde, My LLVM Alternative
- Jul 2025FFmpeg devs boast of another 100x leap thanks to handwritten assembly code
- 22
Xor Filters: Faster and Smaller Than Bloom and Cuckoo Filters
Hacker News threads
- Dec 2019Xor Filters: Faster and Smaller Than Bloom Filters
- Dec 2019Xor Filters: Faster and Smaller Than Bloom Filters
- Jul 2020Bloom filters debunked: Dispelling 30 Years of bad math with Coq
- Aug 2021Bloom Filters: More than a space-efficient hashmap
- May 2025Bloom Filters
- Jul 2025Efficient set-membership filters and dictionaries based on SAT
- 23
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Hacker News threads
- 24
Incompleteness Ex Machina
Hacker News threads
- 25
Engineering Record And Replay For Deployability: Extended Technical Report
Hacker News threads
- Jun 2020Engineering Record and Replay(rr) for Deployability Extended Technical Report
- May 2017Engineering Record and Replay for Deployability: Extended Technical Report
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2019Debuggers Suck
- Jun 2022What rr does
- Jul 2024rr – record and replay debugger for C/C++
- Jul 2024rr – record and replay debugger for C/C++
- Mar 2025Show HN: CodeTracer – A time-traveling debugger implemented in Nim and Rust
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.