Hacker Papers
- 76
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
- 77
The Silurian Hypothesis: Would it be possible to detect an industrial civilization in the geological record?
Hacker News threads
- Sep 2020Would it be possible to detect an industrial civilization in geological record?
- Sep 2018Is it be possible to detect an industrial civilization in the geological record?
- Jul 2025The Silurian Hypothesis (2018)
- Jun 2019Two potentially life-friendly planets found orbiting a nearby star
- Aug 2019Humans Dominated Earth Earlier Than Previously Thought
- Oct 2019The Arrogance of the Anthropocene
- Aug 2020Lost Advanced Civilizations
- Jan 2021Who Invented the Alphabet?
- Aug 2023Asteroid crater 520km in diameter buried deep in southeast Australia
- May 2024Was the Stone Age the Wood Age?
- Nov 2024The Silurian Hypothesis
- 78
MOSQUITO: Covert Ultrasonic Transmissions between Two Air-Gapped Computers using Speaker-to-Speaker Communication
Hacker News threads
- 79
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
- 80
Theoretical Impediments to Machine Learning With Seven Sparks from the Causal Revolution
Hacker News threads
- 81
OTEANN: Estimating the Transparency of Orthographies with an Artificial Neural Network
Hacker News threads
- 82
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
- 83
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Hacker News threads
- 84
Incompleteness Ex Machina
Hacker News threads
- 85
A postquantum theory of classical gravity?
Hacker News threads
- 86
Gradient-based Hyperparameter Optimization through Reversible Learning
Hacker News threads
- 87
What if Planet 9 is a Primordial Black Hole?
Hacker News threads
- Sep 2019What If Planet 9 Is a Primordial Black Hole?
- Aug 2021What if Planet 9 is a Primordial Black Hole? (2019)
- Sep 2023What if Planet 9 is a Primordial Black Hole? (2019)
- Oct 2019Hubble Observes First Confirmed Interstellar Comet
- Jul 2020What if Planet 9 is a Primordial Black Hole?
- Sep 2020A Black Hole at the Center of Earth
- Mar 2021The case for, and against, the still-unseen Planet 9
- Apr 2024New evidence found for Planet 9
- May 2024Nasa’s Roman Mission Will Hunt for Primordial Black Holes
- May 2025Evidence of controversial Planet 9 uncovered in sky surveys taken 23 years apart
- 88
Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
Hacker News threads
- Dec 2017Mastering Chess and Shogi by Self-Play with General Reinforcement Learning
- Dec 2017Google's AlphaZero Beats Stockfish In 100-Game Match
- Dec 2017Is AlphaZero really a breakthrough in AI?
- Feb 2018Lessons from Optics, the Other Deep Learning
- Feb 2018Likelihood of discontinuous progress around the development of AGI
- Nov 2019John Carmack: I’m going to work on artificial general intelligence
- Feb 2023Poisoning Web-Scale Training Datasets Is Practical
- Jul 2023Ask HN: Which recently research paper blow your mind?
- May 2025Achieving Human Level Competitive Robot Table Tennis
- 89
Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions
Hacker News threads
- 90
Privacy Loss in Apple's Implementation of Differential Privacy on MacOS 10.12
Hacker News threads
- Sep 2017Privacy Loss in Apple's Implementation of Differential Privacy on MacOS 10.12
- Apr 2019Privacy Loss in Apple’s Implementation of Differential Privacy (2017)
- Sep 2017Privacy
- Nov 2017Forget iPhone X–Apple's Best Product Is Its Privacy Stance
- Mar 2018The Algorithmic Foundations of Differential Privacy (2014) [pdf]
- Apr 2025Understanding Aggregate Trends for Apple Intelligence Using Differential Privacy
- 91
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
- 92
Universal Language Model Fine-tuning for Text Classification
Hacker News threads
- Mar 2025The algo that advanced natural language processing and influenced OpenAI's LLMs
- Jan 2018Language Models for Classification (state of art on everything)
- Jan 2018Fine-Tuned Language Models for Text Classification [pdf]
- Feb 2018Learning Word Vectors for 157 Languages
- May 2018State-of-the-art text classification with universal language models
- May 2018Our machine learning and NLP journey
- Jun 2018Improving Language Understanding with Unsupervised Learning
- Jul 2018NLP's ImageNet Moment: From Shallow to Deep Pre-Training
- Jul 2020Classifying 200k articles in 7 hours using NLP
- Nov 2023OpenAI Announces Leadership Transition
- 93
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)
- 94
Learning to learn by gradient descent by gradient descent
Hacker News threads
- Jun 2016Learning to learn by gradient descent by gradient descent
- Jun 2016Learning to learn by gradient descent by gradient descent
- Jun 2016Learning to learn by gradient descent by gradient descent
- Aug 2016News Feed FYI: Further Reducing Clickbait in Feed
- Dec 2016Tool AIs want to be agent AIs
- Jan 2017Darpa Goes “Meta” with Machine Learning for Machine Learning (2016)
- Jan 2017Darpa Goes “Meta” with Machine Learning for Machine Learning (2016)
- Feb 2017The Convex Geometry of Inverse Problems [video]
- Jul 2017Hacker's guide to Neural Networks (2012)
- Oct 2019Gradient Descent: The Ultimate Optimizer
- Mar 2025Optimizing ML training with metagradient descent
- 95
Understanding deep learning requires rethinking generalization
Hacker News threads
- Feb 2017Understanding deep learning requires rethinking generalization
- Dec 2018Understanding deep learning requires rethinking generalization
- Aug 2020Understanding Deep Learning Requires Re-Thinking Generalization (2017)
- Dec 2016LSTM Neural Networks for Time Series Prediction
- May 2017Deep Learning’s Impact on Image Processing, Mathematics, and Humanity
- Jan 2018Cloud AutoML: Making AI accessible to every business
- Oct 2018The Mixed Track Record of Machine Learning Algorithms
- Feb 2020A popular self-driving car dataset is missing labels for hundreds of pedestrians
- Mar 2021Understanding deep learning requires rethinking generalization
- May 2024Gradient descent visualization
- Mar 2025Deep Learning Is Not So Mysterious or Different
- 96
Troubling Trends in Machine Learning Scholarship
Hacker News threads
- Nov 2019Troubling trends in machine learning scholarship (2018)
- Jul 2018Troubling Trends in Machine Learning Scholarship
- Sep 2019A.I. researchers are making more than $1M, even at a nonprofit
- Oct 2020AI Is an Ideology, Not a Technology
- Sep 2024Why Most Published Research Findings Are False (2005)
- Mar 2025The cultural divide between mathematics and AI
- 97
Undecidability of the Spectral Gap (full version)
Hacker News threads
- Dec 2015Quantum mechanics is undecidable ()
- Dec 2015A first for physics: Fundamental quantum physics problem proved unsolvable
- Dec 2015A first for physics: Fundamental quantum physics problem proved unsolvable
- Jun 2016Physicists discover an infinite number of quantum speed limits
- Nov 2023How Gödel's Proof Works (2020)
- Mar 2025'Next-Level' Chaos Traces the True Limit of Predictability
- 98
Semi-Supervised Learning with Ladder Networks
Hacker News threads
- 99
Deep Learning Recommendation Model for Personalization and Recommendation Systems
Hacker News threads
- 100
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
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.