Forget formalism: mathematics was built on infighting and emotional turmoil
(feeds.nature.com)
391.
392.
Folding NASA Experience into an Origamist's Toolkit (2024)
(news.ycombinator.com)
393.
Folding NASA Experience into an Origamist's Toolkit
(news.ycombinator.com)
394.
395.
AI Models Are Starting To Crack High-Level Math Problems
(slashdot.org)
396.
The 500k-ton typo: Why data center copper math doesn't add up
(news.ycombinator.com)
397.
AI models are starting to crack high-level math problems
(techcrunch.com)
398.
Ancient pottery reveals early evidence of mathematical thinking
(feeds.nature.com)
399.
Global subsidence of river deltas
(feeds.nature.com)
400.
401.
402.
Nature-Inspired Computers Are Shockingly Good At Math
(slashdot.org)
403.
AI solves Erdos problem #728 (Terence Tao mathstodon post)
(news.ycombinator.com)
404.
Beating the House for the Love of Math
(news.ycombinator.com)
405.
Mathematics for Computer Science (2018) [pdf]
(news.ycombinator.com)
406.
A4 Paper Stories
(news.ycombinator.com)
407.
Two ways to crack a walnut, per Grothendieck (2025)
(news.ycombinator.com)
408.
Six-decade math puzzle solved by Korean mathematician
(news.ycombinator.com)
409.
410.
Street-Fighting Mathematics (2008)
(news.ycombinator.com)
411.
Feynman's Hughes Lectures: 950 pages of notes
(news.ycombinator.com)
413.
Line scan camera image processing
(news.ycombinator.com)
414.
Python Applied Mathematics Labs
(news.ycombinator.com)
415.
Some Junk Theorems in Lean
(news.ycombinator.com)
417.
Cursed circuits #3: true mathematics
(news.ycombinator.com)
418.
New mathematical framework reshapes debate over simulation hypothesis
(news.ycombinator.com)
419.
Space Math Academy
(news.ycombinator.com)
420.
Lean theorem prover mathlib
(news.ycombinator.com)