Hacker Papers
- 01
On proof and progress in mathematics
Hacker News threads
- Dec 2009On proof and progress in mathematics
- Sep 2026Proof and Progress in Mathematics (1994)
- Aug 2012What do Mathematicians Do?
- Nov 2009A proposal on patent reform
- Aug 2013I hate the Pumping Lemma
- Nov 2014Ask HN: What are your favorite scholarly papers? Why?
- Oct 2017Boiling lead and black art: a history of mathematical typography
- Jul 2021Some stuff I found interesting about number theory research
- Nov 2023The Sokal Hoax
- Aug 2026Mathematics in the Age of AI
- Oct 2026The alien space of science: Coherent but cognitively unavailable directions
- 02
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
- 03
Jewish Problems
Hacker News threads
- Oct 2011Jewish problems
- Oct 2017These problems were designed to prevent Jewish people from passing (2011)
- Jan 2016Jewish problems (2011)
- Feb 2012Harvard, Princeton Targeted in Asian Discrimination Probe
- Nov 2013Silicon Valley Isn’t a Meritocracy
- Jun 2018Harvard Is Wrong That Asians Have Terrible Personalities
- Jul 2020Ridiculous Math Problems
- Sep 2020Over 90% of Indian techies in the US are upper-caste Indians
- Jun 2022The case for expanding rather than eliminating gifted education programs (2021)
- Feb 2024David Hahn, the 'radioactive boy scout' who tried to build a nuclear reactor (2022)
- May 2026Why American Parents Send Their Kids to 'Russian Math' (2017)
- 04
Language Modeling Is Compression
Hacker News threads
- Sep 2023Language Modeling Is Compression
- Sep 2023Language Modeling Is Compression
- Sep 2023Language Modeling Is Compression
- Sep 2023Show HN: 78% MNIST accuracy using GZIP in under 10 lines of code
- Jan 2024Getting Lossless Compression Adopted for Rigorous LLM Benchmarking
- Apr 2024EURISKO Lives
- May 2025The copilot delusion
- Jun 2025Fine-tuning LLMs is a waste of time
- Jan 2026Show HN: AI in SolidWorks
- Jun 2026Dune's Butlerian Jihad and the Future of AI
- Oct 2026OpenAI and Anthropic cut their LLM prices by up to 80% within a few months. Why?
- 05
TinyStories: How Small Can Language Models Be and Still Speak Coherent English?
Hacker News threads
- Jan 2025TinyStories: How Small Can Language Models Be and Still Speak Coherent English? (2023)
- May 2023TinyStories: How Small Can Language Models Be and Still Speak Coherent English?
- May 2023How Small Can Language Models Be and Still Speak Coherent English?
- May 2023Apple bans ChatGPT use by employees, report says
- Jun 2023Modern language models refute Chomsky’s approach to language
- Jun 2023The Darwinian argument for worrying about AI
- Oct 2023Disney Packed Big Emotion into a Little Robot
- Jan 2024Ten Noteworthy AI Research Papers of 2023
- May 2024“Imprecise” language models are smaller, speedier, and nearly as accurate
- Nov 2025Ask HN: How are Markov chains so different from tiny LLMs?
- Sep 2026MicroLLM Lab – Try 7 tiny LLM's in the browser
- 06
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)
- 07
The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits
Hacker News threads
- Feb 2024The Era of 1-bit LLMs: ternary parameters for cost-effective computing
- Feb 2024The Era of 1-Bit LLMs: All Large Language Models Are in 1.58 Bits
- Mar 2024The Era of 1-Bit LLMs: All Large Language Models Are in 1.58 Bits
- Mar 2024Nvidia CEO Jensen Huang announces new AI chips: ‘We need bigger GPUs’
- May 2024GPUs Go Brrr
- Jun 2024Scalable MatMul-Free Language Modeling
- Jan 2025Run DeepSeek R1 Dynamic 1.58-bit
- Jun 2025AMD's Freshly-Baked MI350: An Interview with the Chief Architect
- Jan 2026Kimi Released Kimi K2.5, Open-Source Visual SOTA-Agentic Model
- Mar 2026Microsoft BitNet: 100B Param 1-Bit model for local CPUs
- Sep 2026Breaking the 1.58-bit Barrier for Ternary LLMs
- 08
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)
- 09
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
- 10
Are Black Hole Starships Possible
Hacker News threads
- Dec 2009The Physics of Building a Black Hole Powered Starship [pdf]
- Oct 2016Are Black Hole Starships Possible (2009) [pdf]
- Mar 2023Are Black Hole Starships Possible?
- Jun 2011Why we are unlikely to ever leave the solar system.
- Dec 2011Sending a spacecraft to Alpha Centauri
- Nov 2013Interstellar travel: Starship troupers
- Apr 2015First 26 pages of Neal Stephenson's new novel Seveneves
- Jul 2018Timeline of the far future
- Nov 2019New type of black holes – Non interacting low-mass black hole
- May 2022Can we make a black hole? And if we could, what could we do with it?
- Nov 2025Physicists drive antihydrogen breakthrough at CERN
- 11
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
- 12
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++
- 13
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
- 14
Training Large Language Models to Reason in a Continuous Latent Space
Hacker News threads
- Dec 2024Training LLMs to Reason in a Continuous Latent Space
- Apr 2026Training Large Language Models to Reason in a Continuous Latent Space [pdf]
- Dec 2024Coconut from Meta lets language models think without words
- Dec 2024Coconut by Meta AI – Better LLM Reasoning with Chain of Continuous Thought?
- Jan 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via RL
- Apr 2025The Llama 4 herd
- Jun 2025Reasoning by Superposition: A Perspective on Chain of Continuous Thought
- Dec 2025Universal Reasoning Model (53.8% pass 1 ARC1 and 16.0% ARC 2)
- Jun 2026Claude Code's "extended thinking" is a summary- not authentic thinking
- Sep 2026What is Nueralese and Why is it Bad
- 15
Large Language Models Pass the Turing Test
Hacker News threads
- Apr 2025UCSD: Large Language Models Pass the Turing Test
- Jun 2025The Illusion of “The Illusion of Thinking”
- Jul 2025OpenAI's ChatGPT Agent casually clicks through "I am not a robot" verification
- Dec 2025Show HN: Use Claude Code to Query 600 GB Indexes over Hacker News, ArXiv, etc.
- Feb 2026I don't know how you get here from "predict the next word."
- Mar 2026Based on its own charter, OpenAI should surrender the race
- Apr 2026We found an undocumented bug in the Apollo 11 guidance computer code
- Aug 2026Qwen 3.8 27B is excellent, but it defaults to overthinking things
- Oct 2026An AI agent emailed researchers for help. It told us why
- 16
Think before you speak: Training Language Models With Pause Tokens
Hacker News threads
- Oct 2023Think Before You Speak: Training Language Models with Pause Tokens
- Oct 2023Want to get started with LLMs? Here's what you need to know
- Oct 2023Ask HN: Why are current LLMs not considered AGI?
- Mar 2024Yi: Open Foundation Models by 01.AI
- Apr 2024Self-reasoning tokens: teaching models to think ahead
- Jul 2024The A.I. Bubble is Bursting with Ed Zitron [video]
- Mar 2025Understanding R1-Zero-Like Training: A Critical Perspective
- May 2025Claude 4
- Oct 2025Why do LLMs freak out over the seahorse emoji?
- 17
Universal Intelligence: A Definition of Machine Intelligence
Hacker News threads
- Jun 2016Universal Intelligence: A Definition of Machine Intelligence
- Oct 2017Universal Intelligence: A Definition of Machine Intelligence (2007)
- Feb 2015Human-level control through deep reinforcement learning
- Aug 2016Will This “Neural Lace” Brain Implant Help Us Compete with AI?
- Sep 2017Where will artificial general intelligence come from?
- Aug 2018Artificial Intelligence Still Isn’t All That Smart
- Dec 2018Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
- Jan 2022Intuition is a “superpower”
- Apr 2022The singularity is close?
- Mar 2023And yet It Understands
- 18
Learning in High Dimension Always Amounts to Extrapolation
Hacker News threads
- Oct 2023Learning in High Dimension Always Amounts to Extrapolation
- Nov 2023Learning in High Dimension Always Amounts to Extrapolation
- Dec 2021Training computer vision models on random noise instead of real images
- May 2022The Scaling Hypothesis (2021)
- Oct 2023The copyright fight over authors and OpenAI's ChatGPT
- Nov 2023Transformers struggle with generalizing tasks beyond pre-training data
- Mar 2024Large language models can do jaw-dropping things. But nobody knows why
- Oct 2024GitHub cuts AI deals with Google, Anthropic
- Feb 2026GPT-5.2 derives a new result in theoretical physics
- Oct 2026“Math 2.0” will need to value mathematical progress more holistically
- 19
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
- 20
Meta Math! The Quest for Omega
Hacker News threads
- Sep 2010Book review: The Limits of Mathematics by Gregory Chaitin
- Aug 2013Digital physics
- Apr 2014Far From 'Infinitesimal': A Mathematical Paradox's Role In History
- Apr 2015When is proof by contradiction necessary?
- Apr 2016On the (Small) Number of Atoms in the Universe
- Oct 2017Ask HN: How and where can I publish my research on AI as a college dropout?
- Sep 2022How Big Is Infinity?
- Feb 2024Floats Are Weird
- 21
Emergent World Representations: Exploring a Sequence Model Trained on a Synthetic Task
Hacker News threads
- Feb 2023Emergent World Representations in Neural Networks
- Jan 2023Do Large Language Models learn world models or just surface statistics?
- Feb 2023What Is ChatGPT Doing and Why Does It Work?
- Mar 2023GPT-4
- Mar 2023HN thread 35348353
- Apr 2023HN thread 35356648
- May 2023Just Calm Down About GPT-4 Already
- Jun 2024Legal models hallucinate in 1 out of 6 (or more) benchmarking queries
- Apr 2026Where the Goblins Came From
- 22
Let's Think Dot by Dot: Hidden Computation in Transformer Language Models
Hacker News threads
- Apr 2024Let's Think Dot by Dot: Hidden Computation in Transformer Language Models
- May 2024Vision Transformers Need Registers
- May 2024Ask HN: What is your ChatGPT customization prompt?
- Jan 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via RL
- Mar 2025Understanding R1-Zero-Like Training: A Critical Perspective
- Feb 2026Evaluating AGENTS.md: are they helpful for coding agents?
- Apr 2026Talk like caveman
- Sep 2026How concerned should we be about Astra's recurrent architecture?
- Oct 2026I'm the AGI that's wiping out humanity
- 23
Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets
Hacker News threads
- Jul 2022Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets
- May 2023Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets
- Apr 2023Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets
- Feb 2022I asked GPT-NeoX-20B a hundred arithmetic questions
- Apr 2022Socratic Models – Composing Zero-Shot Multimodal Reasoning with Language
- Feb 2023Jailbreaking ChatGPT with Dan (Do Anything Now)
- Apr 2023DyLoRA: Parameter Efficient Tuning of Pre-Trained Models
- Aug 2023Do Machine Learning Models Memorize or Generalize?
- May 2024Groq surpasses 1,200 tokens/sec with Llama 3 8B
- Feb 2026Who discovered grokking and why is the name hard to find?
- Jun 2026"They're made out of weights"
- 24
Amortized Planning with Large-Scale Transformers: A Case Study on Chess
Hacker News threads
- Feb 2024Grandmaster-Level Chess Without Search
- Feb 2024Grandmaster-Level Chess Without Search
- Feb 2024Grand-Master Level Chess Without Search: Modeling Choices and Their Implications
- Apr 2024EURISKO Lives
- Sep 2024Ilya Sutskever's SSI Inc raises $1B
- Oct 2024Grandmaster-level chess without search
- Nov 2024Something weird is happening with LLMs and Chess
- Nov 2024Something weird is happening with LLMs and chess
- Mar 2025Ask HN: Any insider takes on Yann LeCun's push against current architectures?
- Mar 2026Based on its own charter, OpenAI should surrender the race
- 25
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
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.