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
Defeating Prompt Injections by Design
Hacker News threads
- Apr 2025CaMeL: Defeating Prompt Injections by Design
- Apr 2025Defeating Prompt Injections by Design
- Apr 2025Defeating Prompt Injections by Design
- Apr 2025Show HN: MCP-Shield – Detect security issues in MCP servers
- Jun 2025EchoLeak – 0-Click AI Vulnerability Enabling Data Exfiltration from 365 Copilot
- Jul 2025Code execution through email: How I used Claude to hack itself
- Sep 2025Launch HN: Slashy (YC S25) – AI that connects to apps and does tasks
- Sep 2025Code Mode: the better way to use MCP
- Feb 2026Don't trust AI agents
- Jul 2026Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools
- Oct 2026Is sandboxing sufficient to contain rogue agents?
- 78
How real are real numbers?
Hacker News threads
- Apr 2017How real are real numbers? (2004)
- Aug 2020How real are real numbers? (2004)
- Feb 2019How real are real numbers?
- Nov 2016A One-Line Proof of the Infinitude of Primes
- Jun 2018Are real numbers really real?
- Oct 2018Church-Turing Thesis Cannot Possibly Be True [video]
- May 2019Von Neumann’s critique of automata theory and logic in computer science (1947)
- Aug 2020An Introduction to Godel's Theorems (Second Edition) [pdf]
- Dec 2021Quantum theory based on real numbers can be experimentally falsified
- Jan 2023An intutive counterexample to the axiom of choice
- Aug 2025God created the real numbers
- 79
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
- 80
Power-law distributions in empirical data
Hacker News threads
- Nov 2009Power Laws in Chess Openings
- Mar 2011Pioneer Anomaly Solved By 1970s Computer Graphics Technique
- Apr 2013Data Science of the Facebook World
- Jul 2016Anti Mediocracy Manifesto for Software Development
- Sep 2016Bitcoin Wealth Distribution
- Jun 2018Power Laws and Rich-Get-Richer Phenomena (2010) [pdf]
- Aug 2023Power Laws Have More Power Than You Think
- Feb 2026Formalization and Inevitability of the Pareto Principle
- 81
People cannot distinguish GPT-4 from a human in a Turing test
Hacker News threads
- May 2024People cannot distinguish GPT-4 from a human in a Turing test
- Jun 2024People cannot distinguish GPT-4 from a human in a Turing test
- Aug 2024Does Reasoning Emerge? Probabilities of Causation in Large Language Models
- Dec 2024GPT-5 is behind schedule
- Jan 2025Show HN: Killed by LLM – I catalogued AI benchmarks we thought would last years
- Feb 2025Modern-Day Oracles or Bullshit Machines? How to thrive in a ChatGPT world
- Apr 2025UCSD: Large Language Models Pass the Turing Test
- Oct 2025A definition of AGI
- Feb 2026Frontier AI agents violate ethical constraints 30–50% of time, pressured by KPIs
- May 2026Dear Richard Dawkins
- 82
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
- 83
Quantum Theory From Five Reasonable Axioms
Hacker News threads
- Sep 2015Quantum Theory from Five Reasonable Axioms (2001)
- Oct 2019Quantum Theory from Five Reasonable Axioms
- Aug 2010Quantum Theory From Five Reasonable Axioms
- Mar 2013Pilot waves: oil droplets model quantum behavior
- Sep 2014Quantum mechanics as a generalization of probability (2007)
- Aug 2017Deep Learning and Quantum Entanglement [pdf]
- Feb 2018You thought quantum mechanics was weird: check out entangled time
- Sep 2021Category Theory Illustrated – Logic
- Oct 2021Physicists take a key step in correcting quantum computer errors
- Dec 2023Schrödinger equation emerges mathematically from classical mechanics (2012)
- Mar 2025Math That Matters: The Case for Probability over Polynomials
- 84
LLaMA: Open and Efficient Foundation Language Models
Hacker News threads
- Mar 2024LLaMA: Open and Efficient Foundation Language Models (2023)
- Mar 2023The Most Cited AI Papers in 2022
- Mar 2023Using LLaMA with M1 Mac and Python 3.11
- Mar 2023The RWKV language model: An RNN with the advantages of a transformer
- Apr 2023The LLama Effect: Leak Sparked a Series of Open Source Alternatives to ChatGPT
- May 2023OpenLLaMA: An Open Reproduction of LLaMA
- Jun 2023OpenLLaMA 13B Released
- Sep 2023Mistral 7B, the most powerful language model for its size to date, Apache 2.0
- Feb 2025Meta torrented & seeded 81.7 TB dataset containing copyrighted data
- 85
The Platonic Representation Hypothesis
Hacker News threads
- May 2024Mutlimodal neural networks converge to a shared statistical model of reality
- Apr 2026The Platonic Representation Hypothesis
- May 2024Show HN: Tarsier – Vision utilities for web interaction agents
- May 2024Ask HN: What is your ChatGPT customization prompt?
- Mar 2025Gödel's theorem debunks the most important AI myth – Roger Penrose [video]
- Jul 2025Ask HN: Will AI models over time converge into the same system?
- Dec 2025The universal weight subspace hypothesis
- Mar 2026Language Model Contains Personality Subnetworks
- Mar 2026I tried Karpathy's Autoresearch on an old research project
- Jul 2026Emily Bender Sets the Record Straight on "Stochastic Parrots"
- 86
The Curse of Recursion: Training on Generated Data Makes Models Forget
Hacker News threads
- Dec 2024The Curse of Recursion: Training on generated data makes models forget (2023)
- Jun 2023The Curse of Recursion: Training on Generated Data Makes Models Forget
- Jun 2023The Curse of Recursion: Training on Generated Data Makes Models Forget
- Jun 2023Two US lawyers fined for submitting fake court citations from ChatGPT
- Jun 2023The Darwinian argument for worrying about AI
- Jul 2023LLaMA2 isn't “Open Source” – and why it doesn't matter
- Nov 2023Using GPT-4 Vision with Vimium to browse the web
- Jan 2024The Internet Is Full of AI Dogshit
- Feb 2024Generative AI Degrades Online Communities
- Apr 2024Tell HN: We should snapshot a mostly AI output free version of the web
- Jun 2024Gemma 2: Improving Open Language Models at a Practical Size [pdf]
- 87
Precise Zero-Shot Dense Retrieval without Relevance Labels
Hacker News threads
- Nov 2024Hypothetical Document Embeddings (HyDE) for Precise Zero-Shot Retrieval [pdf]
- Aug 2026Hypothetical Document Embeddings
- Jan 2023Precise Zero-Shot Dense Retrieval Without Relevance Labels
- Jan 2023How to implement Q&A against your docs with GPT3 embeddings and Datasette
- Feb 2023I made ChatGPT and Bing AI have a conversation
- Mar 2023
- Sep 2023A Comprehensive Guide for Building Rag-Based LLM Applications
- Dec 2023Build a search engine, not a vector DB
- May 2024Show HN: Hacker Search – A semantic search engine for Hacker News
- Sep 2024Contextual Retrieval
- Aug 2026Don't classify, hallucinate!
- 88
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
- 89
BitNet: Scaling 1-bit Transformers for Large Language Models
Hacker News threads
- Oct 2023BitNet: Scaling 1-Bit Transformers for Large Language Models
- Feb 2024The Era of 1-bit LLMs: ternary parameters for cost-effective computing
- Feb 2024The Era of 1-bit LLMs: ternary parameters for cost-effective computing
- Mar 2024Towards 1-bit Machine Learning Models
- Jun 2024Scalable MatMul-Free Language Modeling
- Nov 2024SVDQuant: 4-Bit Quantization Powers 12B Flux on a 16GB 4090 GPU with 3x Speedup
- May 2025Towards the Cutest Neural Network
- Mar 2026Microsoft BitNet: 100B Param 1-Bit model for local CPUs
- Jul 2026Neutrino-1 8B
- 90
The Cellular Automaton Interpretation of Quantum Mechanics
Hacker News threads
- Jul 2016The Cellular Automaton Interpretation of Quantum Mechanics
- Jun 2014Fluid Tests Hint at Concrete Quantum Reality
- Jan 2017The Trouble with Quantum Mechanics
- Jan 2017Fake Physics
- Jun 2017What Is Mathematics and What Should It Be? [pdf]
- Oct 2019Wolfram Rule 30 Prizes
- Mar 2020Superdeterminism may help us overcome the current crisis in physics
- Mar 2020Superdeterminism may help us overcome the current crisis in physics
- Oct 2020Einstein's description of gravity just got much harder to beat
- 91
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
- 92
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Hacker News threads
- Dec 2023DreamCoder: Growing Generalizable, Interpretable Knowledge
- Jun 2020DreamCoder: Growing generalizable, interpretable knowledge with program learning
- Feb 2021DreamCoder, a system that learns to solve problems by writing programs
- Dec 2020Ask HN: What's the best paper you've read in 2020?
- May 2021Kobra – visual programming language for machine learning
- Nov 2021GPT-3 is no longer the only game in town
- Feb 2022Competitive Programming with AlphaCode
- Feb 2022Competitive Programming with AlphaCode
- Jul 2022AI Coding with CodeRL: Toward Mastering Program Synthesis with Deep RL
- Sep 2023Doug Lenat has died
- May 2026Language Models Need Sleep
- 93
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)
- 94
NP-complete Problems and Physical Reality
Hacker News threads
- Jan 2015NP-complete Problems and Physical Reality (2005)
- Jul 2015NP-Complete Problems and Physical Reality (2005)
- Nov 2016NP-Complete Problems and Physical Reality (2005)
- Aug 2010Ask HN: If P = NP, what does it mean?
- May 2015Is Quantum Mechanics an Island in Theoryspace? (2004) [pdf]
- May 2015Physical Limits to Computation (2000) [pdf]
- Nov 2015Computability: The Greatest Law of Physics
- Dec 2015A bad citizen in Javaland (2006)
- Nov 2016The P=?NP Poll (2002) [pdf]
- Aug 2017Ask HN: What is your favorite CS paper?
- Aug 2023Thermodynamic Linear Algebra (solving linear systems in O(n))
- 95
"Why Should I Trust You?": Explaining the Predictions of Any Classifier
Hacker News threads
- Sep 2016“Why Should I Trust You?” Explaining the Predictions of Any Classifier [pdf]
- Apr 2016[pdf] Explaining the Predictions of Any Classifier
- Oct 2020Explaining black box models with LIME
- Sep 2016Explainable Artificial Intelligence (XAI) Darpa Funding
- Mar 2017War by any means: The story of DARPA
- Jul 2017Thoughts on OpenAI, reinforcement learning, and killer robots
- Dec 2017DeepVariant: Highly Accurate Genomes with Deep Neural Networks
- Dec 2017A friend of mine died and I didn't know because of algorithms
- Jul 2019Interpretable Machine Learning
- Apr 2020Introduction to Support Vector Machines in Machine Learning
- Jun 2024No physics? No problem. AI weather forecasting is already making strides
- 96
Deep Learning in Neural Networks: An Overview
Hacker News threads
- May 2014Deep learning in neural networks: An overview
- Dec 2023Deep Learning in Neural Networks: An Overview
- Dec 2014Unsupervised Feature Learning and Deep Learning Recommended Readings
- Dec 2014Technical Papers Every Programmer Should Read at Least Twice (2011)
- Sep 2016Artificial Intelligence Software Is Booming, But Why Now?
- Jan 2017AI Pioneer Wants to Build the Renaissance Machine of the Future
- Jul 2018Ernst Dickmanns, a German scientist who developed self-driving cars in the 1980s
- Jun 2019Ask HN: Please suggest review papers in CS topics
- Nov 2023Show HN: Tiny LLMs – Browser-based private AI models for a wide array of tasks
- Sep 2024OpenAI to become for-profit company
- 97
Book Review: 'A New Kind of Science'
Hacker News threads
- Oct 2015Review of Stephen Wolfram’s Book a New Kind of Science by Scott Aaronson (2002)
- Jun 2011Alpha Geek
- Aug 2013Does Gravity Travel at the Speed of Light? (1998)
- Feb 2016Black Hole Tech?
- Oct 2020Faster Than Light in Our Model of Physics: Some Preliminary Thoughts
- Oct 2020Faster Than Light in Our Model of Physics: Some Preliminary Thoughts
- Mar 2023Will AIs Take All Our Jobs and End Human History–Or Not? Well, It’s Complicated
- Dec 2023Finally We May Have a Path to the Fundamental Theory of Physics
- Jul 2024An approach to the fundamental theory of physics
- 98
The case for 4-bit precision: k-bit Inference Scaling Laws
Hacker News threads
- Jul 2023The case for 4-bit precision: k-bit Inference Scaling Laws
- Jan 2023Some Remarks on Large Language Models – Yoav Goldberg
- Mar 2023LLaMA-7B in Pure C++ with full Apple Silicon support
- Mar 2023Llama.cpp 30B runs with only 6GB of RAM now
- Aug 2023How Is LLaMa.cpp Possible?
- Nov 2023QUIK is a method for quantizing LLM post-training weights to 4 bit precision
- Jan 2024Meta AI releases Code Llama 70B
- Nov 2024AMD now has more compute on the top 500 than Nvidia
- Jun 2026Qwen 3.6 27B is the sweet spot for local development
- 99
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
- 100
On the genetic architecture of intelligence and other quantitative traits
Hacker News threads
- Oct 2014On the genetic architecture of intelligence and other quantitative traits [pdf]
- Mar 2017On the genetic architecture of intelligence and other quantitative traits
- Oct 2014On the genetic architecture of intelligence and other quantitative traits
- Oct 2014Super-Intelligent Humans Are Coming
- Nov 2015Increased intelligence is a myth so far (2014)
- Dec 2015The cult of genius?
- Apr 2016This is for PZ Myers
- Mar 2017Teenager's sickle cell reversed using a treatment to change his DNA
- May 2017Scientists Tie 52 Genes to Human Intelligence
- Jul 2017China Is Engineering Genius Babies (2013)
- Jul 2020Why Do People Stay Poor? [pdf]
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.