Hacker Papers

1. 01
   

   Grothendieck's use of equality

   Kevin Buzzard · 2024

   Hacker News threads

   • May 2024Grothendieck’s use of equality
   • Jul 2024Mathematicians Are Suddenly Rethinking the Equal Sign
   • Aug 2024Non-computability of solutions of certain equations on digital computers (2022)
   • Jun 2025A Lean companion to Analysis I
   • May 2026Alexander Grothendieck Revolutionized 20th-Century Mathematics

   arXiv ↗
2. 02
   

   Optimality of Gerver's Sofa

   Jineon Baek · 2024

   Hacker News threads

   • Dec 2024Optimality of Gerver's Sofa
   • Dec 2024The open problem -- the "moving sofa problem" -- has possibly just been solved!
   • Nov 2025Mathematical exploration and discovery at scale
   • Jan 2026Six-decade math puzzle solved by Korean mathematician

   arXiv ↗

Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.