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
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)
- 03
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
- 04
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
- 05
Two notes on notation
Hacker News threads
- Jun 2021Two notes on notation (1992)
- Jun 2019Donald E. Knuth: Two notes on notation (1992)
- Jun 2026Two notes on notation (Knuth, 1992)
- May 2013PEP 435 Accepted – Adding an Enum type to the Python standard library
- Apr 20140^0
- Apr 2015Defining zero factorial
- Jun 2016A Quirky Function
- Aug 2017Ask HN: What is your favorite CS paper?
- Oct 2017Boiling lead and black art: a history of mathematical typography
- Nov 2019A History of APL in Fifty Functions (2016)
- Apr 2021Floor, Ceiling, Bracket
- 06
Rethinking set theory
Hacker News threads
- Aug 2019Rethinking Set Theory (2012)
- Jun 2019Foundations of Mathematics (2015) [pdf]
- Dec 2019List of Statements Independent of ZFC
- Aug 2020Kindergarten Quantum Mechanics
- Sep 2020Programming with Categories
- Nov 2022Topology, a Categorical Approach (2020)
- Sep 2025How has mathematics gotten so abstract?
- Oct 2025Category Theory Illustrated – Natural Transformations
- 07
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
Hacker News threads
- Mar 2025A Universal Approach to Self-Referential Paradoxes - Noson S. Yanofsky [2003]
- May 2026Universal Approach to Self-Referential Paradoxes (2003)
- Nov 2015The Hardest Logic Puzzle: A step-by-step guide to true, false, and random
- Apr 2020John Conway – The Free Will Lectures (2009) [video]
- May 2020Weakening Cycles So That Turing Can Halt
- Jul 2021How many real numbers exist? New proof moves closer to an answer
- Jun 2023Basics of Proofs [pdf]
- Sep 2023Alan Turing and the Power of Negative Thinking
- 08
Seven Trees in One
Hacker News threads
- 09
Category theory for scientists (Old version)
Hacker News threads
- Oct 2019Category Theory for Scientists (2018) [pdf]
- May 2013Category theory for scientists
- Mar 2025Category theory for scientists (Old version)
- Jul 2013Monads Made Difficult
- Nov 2014A Categorical Manifesto (1991) [pdf]
- Dec 2014Category Theory by Tom LaGatta
- Feb 2021Ask HN: What mathematical background do I need to understand category theory?
- 10
The entropy formula for the Ricci flow and its geometric applications
Hacker News threads
- Sep 2025The entropy formula for the Ricci flow and its geometric applications
- May 2010Ask HN: Publish in peer-review journal without affiliation?
- Jan 2015ArXiv Hits 1M Submissions
- Feb 2019Beyond Einstein: Physicists find surprising connections in the cosmos
- Mar 2026ArXiv Declares Independence from Cornell
- 11
Sloane's Gap. Mathematical and Social Factors Explain the Distribution of Numbers in the OEIS
Hacker News threads
- 12
Computing in Operations Research using Julia
Hacker News threads
- 13
From Philosophy to Program Size
Hacker News threads
- 14
Finding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions
Hacker News threads
- 15
A theory of regularity structures
Hacker News threads
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.