Hacker Papers
- 01
Dissolving the Fermi Paradox
Hacker News threads
- Jun 2018Dissolving the Fermi Paradox
- May 2021Dissolving the Fermi Paradox
- Jun 2025Dissolving the Fermi Paradox
- Jun 2018Model predicts we're the only advanced civilization in the observable universe
- Jun 2019End-User Probabilistic Programming [pdf]
- May 2020Timeline of the Far Future
- Dec 2020Aliens Likely Annihilated Themselves Through Progress
- May 2021Milky Way not unusual, astronomers find
- Oct 2022Grabby Aliens: A Resolution to the Fermi Paradox
- Apr 2024Webb captures iconic Horsehead Nebula in unprecedented detail
- Jan 2026SETI Home Is in Hiberation
- 02
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Hacker News threads
- Jul 2019Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- Mar 2018Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- May 2018Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- Feb 2019A monad is a monoid in the category of endofunctors, what’s the problem?
- Apr 2019Applied Category Theory
- Jan 2020To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)
- Apr 2020Ask HN: What are you learning?
- Feb 2021Ask HN: What mathematical background do I need to understand category theory?
- Apr 2021Category theory is a universal modeling language
- Nov 2022Applied category theory in chemistry, computing, and social networks [pdf]
- Sep 2024The Theory of Topos-Theoretic 'Bridges' – A Conceptual Introduction (2016)
- 03
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
Hacker News threads
- Apr 2018When algorithms surprise us
- Mar 2018Surprising Creativity: Anecdotes from Evolutionary Computation
- Mar 2018The Surprising Creativity of Digital Evolution: Artifical Life and EC Anecdotes
- Mar 2018Evolution Is the New Deep Learning
- Jun 2018Can “effective altruism” maximise the bang for each charitable buck?
- Nov 2018Evolved antenna
- Apr 2019Notes on AI Bias
- Mar 2021Lying to the Ghost in the Machine
- Jun 2021One bee has cloned itself millions of times over the past three decades
- Aug 2022John Carmack's new AGI company, Keen Technologies, has raised a $20M round
- Jun 2023Own-Goal Football (2022)
- 04
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
- 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
In-Datacenter Performance Analysis of a Tensor Processing Unit
Hacker News threads
- Dec 2017In-Datacenter Performance Analysis of a Tensor Processing Unit
- May 2017Dave Patterson: Evaluation of the Tensor Processing Unit
- Jun 2017The Age of Nvidia
- Aug 2017Google TPU Performance Analysis
- Feb 2018Cloud TPUs in Beta
- Apr 2019Tesla Live Stream – Autonomy Day [video]
- Feb 2023Introduction to FPGAs
- Oct 2024Video Surveillance with YOLO+llava
- Apr 2025Google is winning on every AI front
- 09
Responses to Critiques on Machine Learning of Criminality Perceptions (Addendum of arXiv:1611.04135)
Hacker News threads
- Nov 2016Automated Inference on Criminality Using Face Images
- Nov 2016Automatic Racial Discrimination via Artificial Intelligence
- Dec 2016Unexpected sources of bias in artificial intelligence
- Aug 2017China's Plan for World Domination in AI Isn't So Crazy
- Sep 2017Deep neural networks more accurate than humans at detecting sexual orientation
- Feb 2018Preparing for Malicious Uses of AI
- Jun 2019BIY: Believe It Yourself
- Dec 2019The Liar's Walk: Detecting Deception with Gait and Gesture
- May 2020HU facial recognition software predicts criminality
- Aug 2022America’s First Black Physician (2021)
- 10
On the Turing Completeness of Modern Neural Network Architectures
Hacker News threads
- May 2019On the Turing Completeness of Modern NN Architectures (Transformer, Neural GPU)
- Jul 2020Is This a Turing Machine?
- Sep 2020Graph Representations for Higher-Order Logic and Theorem Proving (2019)
- Sep 2022Ladybird: A new cross-platform browser project
- Jan 2023Petals: Run 100B+ language models at home bit-torrent style
- Mar 2023GPT-4
- Apr 2023There Is No A.I
- Sep 2024Tinygrad will be the next Linux and LLVM
- Feb 2025Efficient Reasoning with Hidden Thinking
- 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
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
- 13
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)
- 14
SLIDE : In Defense of Smart Algorithms over Hardware Acceleration for Large-Scale Deep Learning Systems
Hacker News threads
- Mar 2020Smart Algorithms beat Hardware Acceleration for Large-Scale Deep Learning
- Mar 2019In Defense of Smart Algorithms over Hardware Acceleration for Deep Learning
- Mar 2020Slide: In Defense of Smart Algorithms over Hardware Accelerated Deep Learning
- Mar 2020Deep Learning Breakthrough Sees One Xeon Destroying 8x Nvidia Tesla V100 GPUs
- Dec 2020Researchers propose faster, more efficient alternatives to backpropagation
- Apr 2021CPU-based algorithm trains deep neural nets up to 15 times faster than top GPU
- Apr 2021CPU-based algorithm trains deep neural nets up to 15 times faster than top GPU
- Aug 2021pHash – An open source perceptual hash library (2013)
- Oct 2021New features coming in Julia 1.7
- Feb 2022Two sparsities are better than one: Performance of sparse-sparse networks
- Feb 2025(Ab)using general search algorithms on dynamic optimization problems (2023)
- 15
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?
- 16
The Matrix Calculus You Need For Deep Learning
Hacker News threads
- Apr 2021The matrix calculus you need for deep learning (2018)
- Feb 2018The Matrix Calculus You Need For Deep Learning
- Jan 2020The Matrix Calculus You Need for Deep Learning
- Aug 2018Learning Math for Machine Learning
- Oct 2021Ask HN: As a professional, does it worth it to learn the math behind NN?
- Apr 2023Matrix Calculus: Calculate derivatives of matrices
- Jul 2023The Matrix Calculus You Need for Deep Learning
- Jan 2024Calculus on Computational Graphs: Backpropagation (2015)
- Sep 2024Ask HN: Calculus Refresher for AI/ML?
- Mar 2025Matrix Calculus (For Machine Learning and Beyond)
- 17
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)
- 18
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
- 19
Knowledge Representation in Bicategories of Relations
Hacker News threads
- Jun 2017A computational linguistic farce in three acts
- Nov 2017Modeling Science as a Directed Graph
- May 2018The Logical Disaster of Null
- Jul 2018Kialo – a platform for rational debate
- Dec 2018A Formal Apology for Metaphysics [pdf]
- Aug 2019Software Architecture Guide
- Feb 2020Contextualise: Manage your knowledge
- 20
Universal adversarial perturbations
Hacker News threads
- Oct 2016Universal adversarial perturbations
- Nov 2016How close are we to solving vision?
- Nov 2016Show HN: Interactive deep convnet visualization for Keras and Tensorflow
- Jan 2017OpenNMT: Open-Source Neural Machine Translation
- Jun 2017Noninvasive Deep Brain Stimulation via Temporally Interfering Electric Fields
- Jul 2017Robust Adversarial Examples
- Oct 2017AI Model Fundamentally Cracks Captchas, Scientists Say
- Oct 2017One pixel attack for deceiving deep neural networks
- Nov 2018Adversarial Examples That Fool Both Computer Vision and Time-Limited Humans
- 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
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
- 23
A Simple Proof of the Quadratic Formula
Hacker News threads
- Oct 2019A Simple Proof of the Quadratic Formula
- Dec 2019A Simple Proof of the Quadratic Formula
- Dec 2019A Simple Proof of the Quadratic Formula [pdf]
- Dec 2019A new way to make quadratic equations easy
- Nov 2021A new way to make quadratic equations easy (2019)
- Nov 2021A new way to make quadratic equations easy (2019)
- Mar 2022Articles from arXiv.org as responsive HTML5 web pages
- Oct 2022Teenager solves stubborn riddle about prime number look-alikes
- Apr 2024The Stacks Project: A Wikipedia of algebraic geometry (2022)
- May 2026The surprisingly complex journey to text-selectable client-side generated PDFs
- 24
What is Applied Category Theory?
Hacker News threads
- Feb 2021What Is Applied Category Theory? (2018)
- May 2019What Is Applied Category Theory?
- May 2019What Is Applied Category Theory? [pdf]
- Apr 2019Applied Category Theory
- Sep 2019A Simple Structure Unites All Human Languages
- Dec 2019Category Theory for Programmers (2014) [pdf]
- Apr 2020Ask HN: What are you learning?
- May 2020Have you ever asked yourself “how did research get done before LateX?”
- May 2021An Introduction to Knowledge Graphs
- 25
Practical Black-Box Attacks against Machine Learning
Hacker News threads
- Feb 2016Practical Attacks against Deep Learning Systems using Adversarial Examples
- Jun 2020Practical Black-Box Attacks Against Machine Learning
- Aug 2017Practical Black-Box Attacks Against Machine Learning
- Apr 2016I’m not a human: Breaking the Google reCAPTCHA [pdf]
- Aug 2017Why Deep Learning surprises me
- Nov 2017How Adversarial Attacks Work
- Jan 2018Audio Adversarial Examples
- Mar 2018AI Has a Hallucination Problem That's Proving Tough to Fix
- Oct 2019Introduction to Adversarial Machine Learning
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.