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
Java Generics are Turing Complete
Hacker News threads
- May 2016Java Generics Are Turing Complete
- Dec 2017Java generics are turing complete
- Feb 2018Java Generic Are Turing Complete
- Nov 2016The Unsound Playground: Java and Scala's Type Systems are Unsound
- Oct 2017Classification of the principal programming paradigms
- Apr 2019How Many Type Parameters Can a Java Method Have?
- Jun 2019Google/Oracle’s $9B Copyright Case Could Be Headed for the Supreme Court
- Jan 2021A Proposal for Adding Generics to Go
- Sep 2021LLVM 13's new pass manager improves Rust's compile times by up to 20%
- Oct 2022From zero to 10M lines of Kotlin
- Sep 2023When Zig Outshines Rust – Memory Efficient Enum Arrays
- 03
Dancing links
Hacker News threads
- Dec 2018Don Knuth: Dancing Links
- May 2009Dancing links, by Knuth
- Aug 2013Knuth's Dancing Links Algorithm
- Feb 2013All N-Rooks algorithm and a linear time N-Queens solution
- Jan 2015The Simple Proof of the Tetris Lamp
- Dec 2017Ask HN: What was the best CS paper you read in 2017?
- Sep 2019Solving Every Sudoku Puzzle (2006)
- Jan 2021 Haskell is our first choice for building production software systems
- Nov 2022In defense of linked lists
- Sep 2025Solving a wooden puzzle using Haskell
- Sep 2026Solving a corn puzzle with CP-SAT
- 04
Featherweight Go
Hacker News threads
- May 2020Featherweight Go
- May 2020Featherweight Go (A generics design for Go)
- Dec 2021Featherweight Go [pdf]
- Jun 2020Philip Wadler's talk on generics for Go (“Featherweight Go”)
- Jun 2020The Next Step for Generics
- Nov 2020Go Type Parameters – Draft Design
- Jan 2021A Proposal for Adding Generics to Go
- May 2021Oxide: The Essence of Rust (2020)
- Mar 2022How generics are implemented in Go 1.18
- Nov 2024Borgo Programming Language
- Aug 2026Golang proposal: container/: generic collection types
- 05
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++
- 06
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
- 07
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
- 08
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
- 09
A Categorical Theory of Patches
Hacker News threads
- Feb 2021A Categorical Theory of Patches (2013)
- Feb 2021A Categorical Theory of Patches (2013)
- Feb 2017Pijul – A free and open source distributed version control system
- Dec 2017The GNUnet System
- Feb 2019Pijul for Git users
- Mar 2019Serverless collaborative editor using CRDT
- May 2019Git rebase in depth
- Jan 2020Pijul: a distributed version control system, written in Rust (2019)
- Sep 2020Pijul: A intuitive VCS unlike Git that's based on sound theory of patches
- Nov 2020Pijul: Towards 1.0
- 10
Majority is not Enough: Bitcoin Mining is Vulnerable
Hacker News threads
- Nov 2013Majority is not Enough: Bitcoin Mining is Vulnerable
- Nov 2013Majority is not Enough: Bitcoin Mining is Vulnerable
- Dec 2013How the Bitcoin protocol actually works
- Jan 2014Why Bitcoin Matters
- Jun 2014It's Time For a Hard Bitcoin Fork
- Jul 2015Banks Forgot Who Was Supposed to Own Dell Shares
- Oct 2015Bitcoin-NG: A Secure, Faster, Better Blockchain
- Sep 2017Cryptographic vulnerabilities in IOTA
- Feb 2018Why Is It Taking 20 Minutes to Mine This Bitcoin Block?
- Apr 2018A blockchain is a specific set of choices suitable for a narrow set of use-cases
- 11
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
- 12
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
- 13
Virtual Machine Warmup Blows Hot and Cold
Hacker News threads
- Feb 2016Virtual Machine Warmup Blows Hot and Cold
- Feb 2016Akka, Haskell, Erlang, Go and .NET Core compared on 1M threads
- Mar 2016CS143: Compilers (2011)
- Oct 2016How to speed up the Rust compiler
- Dec 2016Nectar: A Native JavaScript Compiler Inspired by Crystal Lang and Nim Lang
- Oct 2021Jitterdämmerung (2015, Updated 2021)
- Aug 2022Big changes ahead for Deno
- Nov 2022More evidence for problems in VM warmup
- Sep 2023ClickHouse Keeper: A ZooKeeper alternative written in C++
- 14
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
Hacker News threads
- Jun 2024Copy-and-Patch: Fast compilation for high-level languages and bytecode (2020)
- Sep 2021Copy-and-Patch: Fast JIT Compilation for SQL, WebAssembly, and Others
- Sep 2022Wasmtime 1.0
- Nov 2022Building the fastest Lua interpreter automatically
- Dec 2023Brandt Bucher – A JIT Compiler for CPython
- Jan 2024Python 3.13 Gets a JIT
- Mar 2024Cranelift code generation comes to Rust
- Jul 2024Mining JIT traces for missing optimizations with Z3
- Apr 2025Co-designing a sparse music codec with ChatGPT o3
- Sep 2025Writing Memory Safe JIT Compilers
- 15
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
- 16
Asymmetric numeral systems: entropy coding combining speed of Huffman coding with compression rate of arithmetic coding
Hacker News threads
- Jul 2016Asymmetric numeral systems (2014)
- May 2016Asymmetric numeral systems: entropy encoding (2013)
- Jan 2023Asymmetric numeral systems: entropy coding and Huffman coding 2014 [pdf]
- Jul 2016Apple Open-Sources its Compression Algorithm LZFSE
- Jul 2016Apple Open-Sources its Compression Algorithm LZFSE
- Aug 2016Smaller and faster data compression with Zstandard
- Apr 2017JPEG Huffman Coding Tutorial
- Aug 2017Poland's oldest university denies Google's right to patent Polish coding concept
- Aug 2017Understanding Asymmetric Numeral Systems
- May 2022Silly Lossy Text Compression Idea
- Mar 2024The Montreal problem: Why programming languages need a style czar
- 17
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)
- 18
How To Break Anonymity of the Netflix Prize Dataset
Hacker News threads
- Nov 2007How to Break Anonymity of the Netflix Prize Dataset (PDF)
- Oct 2008"Anonymous" Facebook Dataset Is Identified as Harvard Students
- Jan 2011$3 million machine learning prize
- Dec 2015Ask HN: Papers you read in 2015?
- Dec 2017Netflix tweet raises privacy questions
- Jul 2023California moves to silence Stanford researchers who got data to study education
- Sep 2025Yt-dlp: Upcoming new requirements for YouTube downloads
- Apr 2026It Is Time to Ban the Sale of Precise Geolocation
- Apr 2026Show HN: I'm tracking 197 known exposures of health data from UK Biobank
- 19
Do Users Write More Insecure Code with AI Assistants?
Hacker News threads
- Jan 2024Do Users Write More Insecure Code with AI Assistants?
- Nov 2022Do Users Write More Insecure Code with AI Assistants?
- Jan 2023Do Users Write More Insecure Code with AI Assistants?
- Dec 2022The End of Programming
- Dec 2022Kickstarter shuts down campaign for Unstable Diffusion amid changing guidelines
- Feb 2023AI assistants: The convenient crutch for new developers or a recipe for disaster
- Mar 2023Lost at C: A user study on the security of LLM coding assistants
- Sep 2025To AI or not to AI
- Feb 2026Write-Only Code
- May 2026Mexican government breached by solo user with Claude, 150 GB exfiltrated
- Oct 2026Is this the new cyber normal?
- 20
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?
- 21
A Study of MAC Address Randomization in Mobile Devices and When it Fails
Hacker News threads
- Mar 2017A Study of MAC Address Randomization in Mobile Devices and When It Fails
- Sep 2017A Study of MAC Address Randomization in Mobile Devices and When It Fails
- Mar 2017A Study of MAC Address Randomization in Mobile Devices and When It Fails
- Aug 2017Does disabling Wi-Fi prevent my Android phone from sending Wi-Fi frames? [pdf]
- Sep 2017Apple switches from Bing to Google for Siri web search on iOS and Mac Spotlight
- Oct 2017Transport for London plans to collect data from passengers' mobiles
- Dec 2017Apple is sharing your facial wireframe with apps
- Feb 2018Stop replacing London’s phone boxes with corporate surveillance
- Nov 2018Researchers “see” through walls using ambient Wi-Fi signals and a smartphone
- Jan 2019Count the people around you by monitoring wifi signals
- 22
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)
- 23
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
- 24
An Empirical Analysis of Traceability in the Monero Blockchain
Hacker News threads
- Mar 2018An Empirical Analysis of Traceability in the Monero Blockchain
- Mar 2018Ask HN: Who is hiring? (March 2018)
- Sep 2018How Dirty Money Disappears into the Black Hole of Cryptocurrency
- Jan 2019Grin – A private and lightweight mimblewimble blockchain
- Jul 2020Live BTC transactions in Twitter hack
- Oct 2020Coinbase Card
- Dec 2020Zcash Open Major Grants
- Oct 2022Chainalysis CTO said blockchain is easier to trace than paper money
- 25
A Modern Compiler for the French Tax Code
Hacker News threads
- Nov 2020A Modern Compiler for the French Tax Code
- Jul 2024A Modern Compiler for the French Tax Code (2021)
- Jan 2023A Modern Compiler for the French Tax Code
- Dec 2020To the brain, reading computer code is not the same as reading language
- Mar 2021Templating for Lawyers
- May 2021Legalese – Computational Law
- Oct 2021Open Source Tax Software
- Oct 2021Open Source Tax Software
- Jun 2022Show HN: Calculator for US individual income tax, from 1970-present
- Feb 2023Intuit pouring money into lobbying amid push for free government-run tax filing
- May 2026Intuit to lay off over 3k employees to refocus on AI
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.