Hacker Papers
- 26
Fast Random Integer Generation in an Interval
Hacker News threads
- May 2018Fast Random Integer Generation in an Interval
- Mar 2019Fast Random Integer Generation in an Interval
- Sep 2019Algorithm No One Knows About (2016)
- Aug 2020Julia 1.5 Highlights
- Oct 2020Dissecting Lemire's nearly divisionless random number generator
- Oct 2020Dissecting Lemire's nearly divisionless random number generator
- Aug 2021A fast alternative to the modulo reduction (2016)
- Mar 2022It is high time we let go of the Mersenne Twister (2019)
- 27
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
- 28
A Conflict-Free Replicated JSON Datatype
Hacker News threads
- Aug 2016A Conflict-Free Replicated JSON Datatype
- Aug 2016A Conflict-Free Replicated JSON Datatype
- Feb 2018Automerge: JSON-like data structure for building collaborative apps
- May 2018Algorithms Behind Modern Storage Systems
- May 2019Local-first software: You own your data, in spite of the cloud
- Dec 2020Cerulean: Experimental micro-blogging app for Matrix
- Jul 2022Ask HN: What are some cool but obscure data structures you know about?
- 29
Don't Skype & Type! Acoustic Eavesdropping in Voice-Over-IP
Hacker News threads
- Oct 2016Don’t Skype and Type [a Password,] Acoustic Eavesdropping in VOIP
- Oct 2016Don’t Skype and Type—Acoustic Eavesdropping in Voice-Over-IP [pdf]
- Oct 2016Don't Skype and Type Acoustic Eavesdropping in Voice-Over-IP
- Sep 2018How Discord Handles Two and Half Million Concurrent Voice Users Using WebRTC
- Aug 2019Key Negotiation of Bluetooth Attack
- Apr 2020When in doubt: hang up, look up, and call back
- Aug 2022Tempest LCD: Playing songs from your LCD monitor with a radio
- Dec 2023Scary AI recognizes passwords by the sound of your typing
- 30
TinyLFU: A Highly Efficient Cache Admission Policy
Hacker News threads
- 31
BlockQuicksort: How Branch Mispredictions don't affect Quicksort
Hacker News threads
- Apr 2016BlockQuicksort: How Branch Mispredictions Don't Affect Quicksort
- Jun 2017Pattern-defeating quicksort
- Aug 2018On the Worst-Case Complexity of TimSort
- Jul 2021Do Low-Level Optimizations Matter? (2020)
- May 2023Ask HN: What is new in Algorithms / Data Structures these days?
- Jun 202310~17x faster than what? A performance analysis of Intel x86-SIMD-sort (AVX-512)
- 32
AsicBoost - A Speedup for Bitcoin Mining
Hacker News threads
- 33
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
- 34
Safe Pointers in SPARK 2014
Hacker News threads
- 35
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
- 36
Linear Haskell: practical linearity in a higher-order polymorphic language
Hacker News threads
- Nov 2017Linear Haskell: practical linearity in a higher-order polymorphic language
- Oct 2018Rust RAII is better than the Haskell bracket pattern
- Feb 2019When Rust is safer than Haskell
- Sep 2020Biscuit: A monolithic, POSIX-subset operating system kernel in Go
- Dec 2020GHC 9.0, supporting linear types
- Dec 2020GHC 9.0, supporting linear types
- Dec 2020GHC 9.0, supporting linear types
- 37
Mesh: Compacting Memory Management for C/C++ Applications
Hacker News threads
- Feb 2019Mesh: Compacting Memory Management for C/C++ Applications
- Jun 2021Mesh: Compacting Memory Managementfor C/C++ Applications
- Nov 2021Mesh: Compacting Memory Management for C/C++ Applications
- May 2019For Better Computing, Liberate CPUs from Garbage Collection
- May 2019A new core playlist for VLC 4
- May 2021The compiler will optimize that away
- Jul 2023Vale's First Prototype for Immutable Region Borrowing
- Jan 2025Using black magic to make a fast circular buffer (2017)
- 38
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
- 39
One SQL to Rule Them All
Hacker News threads
- May 2019One SQL to Rule Them All: Management of Streams and Tables
- Aug 2020Show HN: Jet – in-memory, fault-tolerant, distributed stream processing
- Aug 2020Show HN: Jet – in-memory, fault-tolerant, distributed stream processing
- Jan 2021Why isn't differential dataflow more popular?
- Apr 2021Internal Consistency in Streaming Systems
- Jun 2021Q – Run SQL Directly on CSV or TSV Files
- 40
Graph Isomorphism in Quasipolynomial Time
Hacker News threads
- Dec 2015Graph Isomorphism in Quasipolynomial Time
- Dec 2015Graph Isomorphism in Quasipolynomial Time (Babai's Preprint)
- Dec 2015Graph Isomorphism in Quasipolynomial Time
- Dec 2015Graph Isomorphism Algorithm Breaks 30-Year Impasse
- Dec 2015Graph Isomorphism Algorithm Breaks 30-Year Impasse
- Mar 2016The Global Rebellion Against “No-Skin-In-the-Game” Insiders
- Dec 2016An Algebra of Graphs
- Jun 2022Quantum chip takes microseconds to do task that takes a supercomputer 9k years
- 41
When the cookie meets the blockchain: Privacy risks of web payments via cryptocurrencies
Hacker News threads
- Aug 2017When the Cookie Meets the Blockchain [pdf]
- Aug 2017When the cookie meets the blockchain: Privacy risks of cryptocurrency payments
- Aug 2017Privacy risks of web payments via cryptocurrencies
- Aug 2017Web merchants routinely leak data about Bitcoin purchases
- Aug 2017Web merchants routinely leak data about Bitcoin purchases
- Sep 2017It’s time to kill the web app
- Mar 2018Bitcoin faces regulatory crackdown, Bank of England warns
- Jun 2022ZeroStableCoin is out from stealth mode
- 42
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
- 43
Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors
Hacker News threads
- May 2019Open source collaborative text editors
- May 2019Open source collaborative text editors
- May 2019Why CRDT didn't work out as well for collaborative editing xi-editor
- Jun 2019Creating a Collaborative Editor
- Jun 2023The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing
- Jul 2023The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing
- 44
Metamath Zero: The Cartesian Theorem Prover
Hacker News threads
- Oct 2019Metamath Zero, a bootstrapping theorem prover
- Nov 2020Building the Mathematical Library of the Future
- Feb 2021Translating My Z3 Tutorial to Coq
- Mar 2023
- Feb 2024Is something bugging you?
- 45
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
- 46
Algorand
Hacker News threads
- 47
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation
Hacker News threads
- 48
Resource Polymorphism
Hacker News threads
- 49
CRN++: Molecular Programming Language
Hacker News threads
- 50
Indexing dif/2
Hacker News threads
- May 2018Pure efficient “if” in Prolog
- May 2017Ask HN: Why isn't Prolog more popular?
- Oct 2019Swish: SWI Prolog Notebook
- Sep 2022Lunatic: Erlang-Inspired Runtime for WebAssembly
- Dec 2022Prolog at Work
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.
























