Hacker News new | past | comments | ask | show | jobs | submit | from login
Anatomy of a Formal Proof (ams.org)
132 points by bikenaga 3 days ago | past | 11 comments
How Do How Do Physicists Publish Papers? [pdf] (ams.org)
1 point by agarttha 4 days ago | past | discuss
The pleasures of counting (1998) [pdf] (ams.org)
3 points by chautumn 12 days ago | past | discuss
Visualizing anti-trans legislation using RStudio (ams.org)
3 points by RafelMri 16 days ago | past
Treewidth? (ams.org)
33 points by RafelMri 16 days ago | past | 12 comments
Visualizing anti-trans legislation using RStudio (ams.org)
2 points by xlinux 23 days ago | past
What is a prime, and who decides? (ams.org)
5 points by luu 26 days ago | past
Machine-Assisted Proof [pdf] (ams.org)
199 points by jalcazar 31 days ago | past | 96 comments
Jim Simons (1938-2024) [pdf] (ams.org)
2 points by alexcos 39 days ago | past
Ribet to Receive 2025 AMS Steele Prize for Seminal Research (ams.org)
1 point by williamstein 46 days ago | past
The Importance of Illustration for Mathematical Research [pdf] (ams.org)
2 points by ColinWright 3 months ago | past
I Am So Glad You Made That Mistake (ams.org)
2 points by sebg 4 months ago | past
Hunting for Foxes with Sheaves [pdf] (ams.org)
2 points by hackandthink 4 months ago | past
A 1940 Letter of André Weil on Analogy in Mathematics (2003) [pdf] (ams.org)
88 points by gone35 5 months ago | past | 33 comments
A simple proof that pi is irrational [pdf] (1946) (ams.org)
66 points by pipopi 5 months ago | past | 56 comments
Mathematics Subject Classification Database (ams.org)
2 points by hyperific 6 months ago | past
Talent Search versus Talent Development (2019) [pdf] (ams.org)
107 points by JustinSkycak 6 months ago | past | 53 comments
Teaching general problem-solving skills is not a substitute for teaching math [pdf] (2010) (ams.org)
238 points by JustinSkycak 6 months ago | past | 227 comments
Lessons I Wish I Had Been Taught (1996) [pdf] (ams.org)
341 points by zerojames 7 months ago | past | 88 comments
Three Views on the California Math Framework [pdf] (ams.org)
4 points by rahimnathwani 7 months ago | past
New universes: Proof assistants and synthetic foundations (ams.org)
1 point by hackandthink 8 months ago | past
Disappointment (ams.org)
156 points by nsoonhui 8 months ago | past | 64 comments
A Tale of Two Sieves (1996) [pdf] (ams.org)
68 points by pera 8 months ago | past | 6 comments
Trees, Teeth, and Time: The mathematics of clock making (2008) (ams.org)
2 points by eh_why_not 9 months ago | past
The Quintic, the Icosahedron, and Elliptic Curves [pdf] (ams.org)
106 points by mathgenius 9 months ago | past | 22 comments
Will Machines Change Mathematics? (ams.org)
3 points by jjgreen 10 months ago | past | 1 comment
As If Summoned from the Void: The Life of Alexandre Grothendieck (2004) [pdf] (ams.org)
2 points by susam 11 months ago | past
The Felix Klein Protocols [pdf] (ams.org)
2 points by fisheuler 11 months ago | past
A tale of two sieves [pdf] (ams.org)
2 points by ykonstant 12 months ago | past | 1 comment
Golay Code (ams.org)
2 points by throwup238 12 months ago | past

Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: