Hacker Papers
- 01
Spectre is here to stay: An analysis of side-channels and speculative execution
Hacker News threads
- Feb 2019Spectre is here to stay: An analysis of side-channels and speculative execution
- Feb 2019Google Says Spectre and Meltdown Are Too Difficult to Fix
- Mar 2019Firefox 66.0 Aims to Reduce Online Annoyances
- Apr 2019Lisp Operating System (2015)
- Sep 2019OpenBSD was right to disable hyperthreading [video]
- Dec 2019C Is Not a Low-level Language (2018)
- Mar 2021Post-Spectre Web Development, Editor's Draft, 2021-03-10
- Mar 2021Linus Torvalds on where Rust will fit into Linux
- Aug 2023Sandy Bridge: Setting Intel’s Modern Foundation
- 02
Software Engineering at Google
Hacker News threads
- Jan 2019Software Engineering at Google (2017)
- Feb 2017Software Engineering at Google
- May 2021Software Engineering at Google [pdf]
- Feb 2017How terrible code gets written by sane people
- Apr 2017Ask HN: What Is the Google 'Software Engineer, Machine Learning' Interview Like?
- Feb 2018Advantages of monolithic version control
- Mar 2019List of dead Google products, services, and devices
- Sep 2019How to do a code review
- Mar 2020Software Engineering at Google
- Oct 2020Ask HN: How is architecture practiced at FAANG companies?
- Jul 2022Google Launches Carbon, an Experimental Replacement for C++
- 03
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
- 04
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
- 05
The Renewed Case for the Reduced Instruction Set Computer: Avoiding ISA Bloat with Macro-Op Fusion for RISC-V
Hacker News threads
- Sep 2016Avoiding ISA Bloat with Macro-Op Fusion for RISC-V
- Jul 2016Show HN: Accelerating SHA256 by 100x in Golang on ARM
- Dec 2016Ask HN: What's the value proposition of RISC-V?
- Sep 2017BOOM v2: an open-source out-of-order RISC-V core
- Dec 2017Power9 to the People
- Dec 2017Boom v2: Open-source out-of-order RISC-V core [video]
- Mar 2022RISC-V is succeeding
- May 2022India reveals RISC-V CPU roadmap, expects product by 2023
- Jan 2025XiangShan – Open-source high performance RISC-V processor
- 06
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Hacker News threads
- Aug 2019Counting Immutable Beans: Reference Counting for Purely Functional Programming
- Dec 2020A Review of the Lean Theorem Prover
- Feb 2021A simple ray tracer in Lean 4
- Jul 2022Reference count, don't garbage collect
- Sep 2022Ask HN: Is Clojure Dead?
- Jun 2023Microsoft Research: Fully In-Place Functional Programming [pdf]
- Oct 2023Lean4 helped Terence Tao discover a small bug in his recent paper
- Nov 2023HN thread 38359488
- Feb 2025Neut Programming Language
- 07
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)
- 08
Why Johnny Still, Still Can't Encrypt: Evaluating the Usability of a Modern PGP Client
Hacker News threads
- Nov 2015Why Johnny Still Can't Encrypt: Evaluating the Usability of a Modern PGP Client
- Nov 2015Why Johnny Still Can't Encrypt: Evaluating the Usability of a Modern PGP Client
- Nov 2015Evaluating the Usability of a Modern PGP Client [pdf]
- May 2017NSA secretly conducted illegal searches on Americans for years
- Nov 2018Ask HN: Older textbooks/papers you consider classics still worth studying today?
- Jan 2020Doug Tygar, author of Why Johnny Can't Encrypt, has died
- Nov 2021My WhatsApp Security code changed, with no login or logout
- Dec 2021Fiatjaf/nostr – a censorship-resistant alternative to Twitter
- Mar 2024Messaging Layer Security (MLS)
- Apr 2024Why can't my mom email me?
- 09
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)
- 10
Route Planning in Transportation Networks
Hacker News threads
- Oct 2024Route Planning in Transportation Networks (2015)
- Apr 2016Route Planning in Transportation Networks
- Apr 2015On Dijkstra's Algorithm
- Oct 2016Show HN: Dijkstra’s algorithm in the web browser with OpenStreetMap
- Feb 2017JPS+: Over 100x Faster than A* (2015) [video]
- Mar 2018B-Heap vs. Binary Heap (2010)
- Oct 2019New pathfinding algorithm
- Jan 2024A* tricks for videogame path finding
- Jan 2024A* tricks for videogame path finding
- Mar 2024Hexagons and Hilbert curves – The headaches of distributed spatial indices
- 11
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
- 12
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
- 13
Real Differences between OT and CRDT for Co-Editors
Hacker News threads
- Oct 2018Real Differences Between OT and CRDT for Co-Editors
- Oct 2018Real differences between ot and crdt for co-editors
- Oct 2018Lessons learned from creating a real-time collaborative rich-text editor
- May 2019Open source collaborative text editors
- Jul 2021Faster CRDTs: An Adventure in Optimization
- Sep 2021The web is swallowing the desktop whole (2017)
- Jun 2023The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing
- Jul 2023The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing
- 14
Bandwidth-Efficient Transaction Relay for Bitcoin
Hacker News threads
- May 2019Bandwidth-Efficient Transaction Relay
- Jun 2019Bitcoin climbs to $10k
- Dec 2019Erlay: A performance improvement to the Bitcoin network
- Mar 2020Erlay: Bandwidth-efficient Bitcoin transaction relay protocol
- Aug 2020Network Coding in P2P Networks
- Dec 2020Using Bloom filters to efficiently synchronise hash graphs
- Aug 2024A Technical Look at BitMessage: Learning From a Dead Project
- 15
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
- 16
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)
- 17
AsicBoost - A Speedup for Bitcoin Mining
Hacker News threads
- 18
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
- 19
Safe Pointers in SPARK 2014
Hacker News threads
- 20
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
- 21
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
- 22
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?
- 23
Algorand
Hacker News threads
- 24
Resource Polymorphism
Hacker News threads
- 25
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.