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
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
- 08
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
- 09
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
- 10
Seven Trees in One
Hacker News threads
- 11
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?
- 12
Fast exact summation using small and large superaccumulators
Hacker News threads
- 13
Sloane's Gap. Mathematical and Social Factors Explain the Distribution of Numbers in the OEIS
Hacker News threads
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.