Hacker Papers
- 101
A Fast x86 Implementation of Select
Hacker News threads
- 102
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
- 103
Are Delayed Issues Harder to Resolve? Revisiting Cost-to-Fix of Defects throughout the Lifecycle
Hacker News threads
- Sep 2017Revisiting Cost-To-Fix of Defects Throughout the Lifecycle
- Apr 2019Are Delayed Issues Harder to Resolve? [pdf]
- Sep 2017The Cost of Skipping TDD and Code Reviews (2016)
- Sep 2017The Cost of Skipping TDD and Code Reviews (2016)
- Jul 2021The “bugs are 100x more expensive to fix in production” study might not exist
- Feb 2025Clean Code vs. A Philosophy Of Software Design
- 104
Your Classifier is Secretly an Energy Based Model and You Should Treat it Like One
Hacker News threads
- Sep 2020Score matching with Langevin Sampling: a new contender to GANs
- Sep 2020Show HN: Build a DIY license plate reader with machine learning
- Mar 2021Understanding deep learning requires rethinking generalization
- Aug 2024A new type of neural network is more interpretable
- Aug 2024Fun times with energy-based models
- Feb 2025Softmax forever, or why I like softmax
- 105
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)
- 106
A Tutorial Introduction to the Lambda Calculus
Hacker News threads
- 107
Surveying the Attitudes of Physicists Concerning Foundational Issues of Quantum Mechanics
Hacker News threads
- Dec 2016Surveying the Attitude of Physicists Concerning Foundations of Quantum Mechanics
- Apr 2017Atomic Spins Evade Heisenberg Uncertainty Principle
- Sep 2018Quantum observers with knowledge of quantum mechanics break reality
- Feb 2019In the foundations of physics we haven't seen progress for the past four decades
- Feb 2025When Bohr got it wrong: the impact of a little-known paper on quantum theory
- 108
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
- 109
Algebraic Databases
Hacker News threads
- Jan 2025Algebraic Databases [pdf]
- May 2016Stack Overflow: How We Do Deployment
- Aug 2021Difficult math is about recognizing patterns
- Jan 2025Composable SQL
- 110
Coz: Finding Code that Counts with Causal Profiling
Hacker News threads
- 111
Consistently faster and smaller compressed bitmaps with Roaring
Hacker News threads
- 112
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)
- 113
Extending the Algebraic Manipulability of Differentials
Hacker News threads
- Nov 2018Extending the Algebraic Manipulability of Differentials
- May 2019Extending the Algebraic Manipulability of Differentials
- Nov 2024Extending the Algebraic Manipulability of Differentials (2018) [pdf]
- Jul 2019Calculus for Beginners and Artists (2003)
- Jul 2019Tulsa Teacher discovers calculus flaw
- May 2022Correctness and composability bugs in the Julia ecosystem
- Jul 2022Notation for Differentiation
- Jan 2024On Leibniz Notation
- Jan 2024On Leibniz Notation
- Jan 2025Multiplicative Infinitesimals
- 114
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
- 115
Neural Guided Constraint Logic Programming for Program Synthesis
Hacker News threads
- 116
Relational inductive biases, deep learning, and graph networks
Hacker News threads
- Oct 2018Relational inductive biases, deep learning, and graph networks
- Dec 2024Relational inductive biases, deep learning, and graph networks
- Jun 2018Chatbots were the next big thing: what happened?
- Aug 20182018 Fields Medal and Nevanlinna Prize Winners
- Aug 2019Model-Based Reinforcement Learning for Atari
- 117
The Argument against Quantum Computers
Hacker News threads
- Aug 2019The Argument Against Quantum Computers by Gil Kalai [pdf]
- Oct 2019Quantum computers: amazing progress, but probably false supremacy claims
- Dec 2019Amazon Braket – Get Started with Quantum Computing
- Oct 2021Major Quantum Computing Strategy Suffers Serious Setbacks
- Feb 2023Towards quantum computers that are robust to errors
- Dec 2024The Google Willow Thing
- Dec 2024The case against Google's claims of "quantum supremacy"
- 118
Leveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits
Hacker News threads
- Oct 2019Leveraging secondary storage to simulate deep 54-qubit sycamore sircuits
- Oct 2019IBM casts doubt on Google's claims of quantum supremacy
- Dec 2020Physicists challenge Google’s ‘quantum advantage’
- Jul 2021Strong quantum computational advantage using a superconducting quantum processor
- Dec 2024The case against Google's claims of "quantum supremacy"
- 119
SPEAKE(a)R: Turn Speakers to Microphones for Fun and Profit
Hacker News threads
- 120
Bad Universal Priors and Notions of Optimality
Hacker News threads
- 121
XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks
Hacker News threads
- Mar 2016XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks
- Apr 2016Real-Time Texture Synthesis with Markovian Generative Adversarial Networks
- Jul 2016Notes from the fourth RISC-V workshop
- Jan 2017TensorFlow machine learning now optimized for the Snapdragon 835 and Hexagon 682
- Jan 2017XNOR.ai frees AI from the prison of the supercomputer
- Feb 2017Intel Gets Serious About Neuromorphic, Cognitive Computing Future
- Feb 2017Intel Gets Serious About Neuromorphic, Cognitive Computing Future
- Aug 2018Shrinking Machine Learning Models for Offline Use
- Nov 2024SVDQuant: 4-Bit Quantization Powers 12B Flux on a 16GB 4090 GPU with 3x Speedup
- 122
BinaryConnect: Training Deep Neural Networks with binary weights during propagations
Hacker News threads
- 123
Fast exact summation using small and large superaccumulators
Hacker News threads
- 124
One Model To Learn Them All
Hacker News threads
- Jun 2017One Model to Learn Them All
- Oct 2024One Model to Learn Them All
- Jul 2017One Model to Learn Them All
- Jun 2017Google advances AI with ‘one model to learn them all’
- Jul 2017The future of deep learning
- Nov 2017Low Hanging Fruit of Programming Language Design
- Feb 2018The Shallowness of Google Translate
- Mar 2019Yann LeCun, Geoffrey Hinton and Yoshua Bengio win Turing Award
- 125
Analyzing and Improving the Image Quality of StyleGAN
Hacker News threads
- Dec 2019Analyzing and Improving the Image Quality of StyleGAN
- Feb 2020This person does not exist
- Nov 2020This X Does Not Exist (2019)
- Dec 2020Ask HN: What's the best paper you've read in 2020?
- Feb 2021Accounts with GAN Faces Attack Belgium over 5G Restrictions
- Jun 2021Alias-Free GAN
- Jul 2022Show HN: This Food Does Not Exist
- Oct 2024Ask HN: What are you working on? (October 2024)
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.
























