Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]
(news.ycombinator.com)
451.
452.
Set theory with types
(news.ycombinator.com)
453.
American Kids Can't Do Math Anymore
(slashdot.org)
454.
DeepMind’s latest: An AI for handling mathematical proofs
(arstechnica.com)
455.
456.
Ford can't find mechanics for $120K: It takes math to learn a trade
(news.ycombinator.com)
457.
458.
459.
Mathematics and Computation (2019) [pdf]
(news.ycombinator.com)
460.
How Honda screwed up an expensive project with a simple math error (2008)
(news.ycombinator.com)
461.
My Favorite Math Problem
(news.ycombinator.com)
462.
463.
Linear algebra explains why some words are effectively untranslatable
(news.ycombinator.com)
464.
Linear Algebra Explains Why Some Words Are Effectively Untranslatable
(news.ycombinator.com)
465.
IBM Patented Euler's 200 Year Old Math Technique for 'AI Interpretability'
(news.ycombinator.com)
466.
Project Euler
(news.ycombinator.com)
467.
Figma bets on India to expand beyond design
(techcrunch.com)
468.
Olympiad-level formal mathematical reasoning with reinforcement learning
(feeds.nature.com)
469.
Mathematicians put AI model AlphaProof to the test
(feeds.nature.com)
470.
Cache-friendly, low-memory Lanczos algorithm in Rust
(news.ycombinator.com)
471.
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust
(news.ycombinator.com)
472.
473.
The Hidden Math of Ocean Waves
(wired.com)
474.
475.
Mathematical exploration and discovery at scale
(news.ycombinator.com)
476.
Mathematical Exploration and Discovery at Scale
(news.ycombinator.com)
478.
What is a manifold?
(news.ycombinator.com)
479.
KaTeX – The fastest math typesetting library for the web
(news.ycombinator.com)
480.
Offline Math: Converting LaTeX to SVG with MathJax
(news.ycombinator.com)