Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
451.
Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (news.ycombinator.com)
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.
Shared and language-specific phonological processing in the human temporal lobe (feeds.nature.com)
456.
Ford can't find mechanics for $120K: It takes math to learn a trade (news.ycombinator.com)
457.
Google unveils Gemini 3 claiming the lead in math, science, multimodal, and agentic AI benchmarks (venturebeat.com)
458.
Google unveils Gemini 3 claiming the lead in math, science, multimodal and agentic AI benchmarks (venturebeat.com)
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.
Phi-4 proves that a 'data-first' SFT methodology is the new differentiator (venturebeat.com)
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.
The Mysterious Math Behind the Brazilian Butt Lift (wired.com)
473.
The Hidden Math of Ocean Waves (wired.com)
474.
With EV Tax Credits Gone, We Did the Math to See if EVs Are Still Cheaper Than Gas Cars (cnet.com)
475.
Mathematical exploration and discovery at scale (news.ycombinator.com)
476.
Mathematical Exploration and Discovery at Scale (news.ycombinator.com)
477.
The Mathematician Who Tried to Convince the Catholic Church of Two Infinities (wired.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)
Today's top topics: artificial intelligence chatgpt donald trump android authority openai anthropic jensen huang ai regulation ai agents show hn
View all today's topics →