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
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)
- 04
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
- 05
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
- 06
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
- 07
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
- 08
A Simple Proof of the Quadratic Formula
Hacker News threads
- Oct 2019A Simple Proof of the Quadratic Formula
- Dec 2019A Simple Proof of the Quadratic Formula
- Dec 2019A Simple Proof of the Quadratic Formula [pdf]
- Dec 2019A new way to make quadratic equations easy
- Nov 2021A new way to make quadratic equations easy (2019)
- Nov 2021A new way to make quadratic equations easy (2019)
- Mar 2022Articles from arXiv.org as responsive HTML5 web pages
- Oct 2022Teenager solves stubborn riddle about prime number look-alikes
- Apr 2024The Stacks Project: A Wikipedia of algebraic geometry (2022)
- May 2026The surprisingly complex journey to text-selectable client-side generated PDFs
- 09
What is Applied Category Theory?
Hacker News threads
- Feb 2021What Is Applied Category Theory? (2018)
- May 2019What Is Applied Category Theory?
- May 2019What Is Applied Category Theory? [pdf]
- Apr 2019Applied Category Theory
- Sep 2019A Simple Structure Unites All Human Languages
- Dec 2019Category Theory for Programmers (2014) [pdf]
- Apr 2020Ask HN: What are you learning?
- May 2020Have you ever asked yourself “how did research get done before LateX?”
- May 2021An Introduction to Knowledge Graphs
- 10
An aperiodic monotile
Hacker News threads
- Mar 2023An Aperiodic Monotile
- Mar 2023Mathematicians discover shape that can tile a wall and never repeat
- Oct 2023Hexagonal Grids
- Nov 2023A Brief History of Tricky Mathematical Tiling
- Dec 2023What can you do with an Einstein?
- Feb 2024
- Mar 2024How to Start Google
- 11
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
- 12
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
- 13
Seven Trees in One
Hacker News threads
- 14
Basic Category Theory
Hacker News threads
- Jan 2017Basic Category Theory
- Jan 2017[1612.09375] Basic Category Theory [pdf]
- Jan 2017Basic Category Theory (textbook)
- Aug 2019Linguistics Using Category Theory (2018)
- Aug 2020Graphical Linear Algebra
- Oct 2022Algebra, Topology, Differential Calculus, and Optimization Theory [pdf]
- Apr 2026Category Theory Illustrated – Orders
- 15
Grothendieck's use of equality
Hacker News threads
- 16
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?
- 17
Almost all orbits of the Collatz map attain almost bounded values
Hacker News threads
- Sep 2019Almost all orbits of the Collatz map attain almost bounded values
- Sep 2019Almost all orbits of the Collatz map attain almost bounded values
- Dec 2019Almost all orbits of the Collatz map attain almost bounded values [pdf]
- Dec 2019Terence Tao Proves Result on the Collatz Conjecture
- Aug 2020Computer scientists attempt to corner the Collatz conjecture
- Jun 2022Pen and paper exercises in machine learning (2021)
- Oct 2026Collatz Conjecture
- 18
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
- 19
Fast exact summation using small and large superaccumulators
Hacker News threads
- 20
Sloane's Gap. Mathematical and Social Factors Explain the Distribution of Numbers in the OEIS
Hacker News threads
- 21
Computing in Operations Research using Julia
Hacker News threads
- 22
Unexpected biases in the distribution of consecutive primes
Hacker News threads
- Mar 2016Unexpected biases in the distribution of consecutive primes
- Mar 2016A previously unnoticed property of prime numbers
- Mar 2016A previously unnoticed property of prime numbers
- Jun 2016Prime After Prime
- Feb 2020Mathematicians Discover Prime Conspiracy (2016)
- Feb 2020Mathematicians Discover Prime Conspiracy (2016)
- 23
Optimality of Gerver's Sofa
Hacker News threads
- 24
From Philosophy to Program Size
Hacker News threads
- 25
A convex polyhedron without Rupert's property
Hacker News threads
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.