The Shape of Inequalities
(news.ycombinator.com)
1.
2.
Heisuke Hironaka Has Died
(news.ycombinator.com)
4.
Steering interpretable language models with concept algebra
(news.ycombinator.com)
5.
GNU Texmacs
(news.ycombinator.com)
6.
Six Math Essentials
(news.ycombinator.com)
7.
Lily Programming Language
(news.ycombinator.com)
8.
The most famous transcendental numbers
(news.ycombinator.com)
9.
Fifteen Most Famous Transcendental Numbers
(news.ycombinator.com)
10.
Lean theorem prover mathlib
(news.ycombinator.com)
11.
Lean Theorem Prover Mathlib
(news.ycombinator.com)
12.
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
(news.ycombinator.com)
13.
An illustrated introduction to linear algebra
(news.ycombinator.com)
14.
An Illustrated Introduction to Linear Algebra
(news.ycombinator.com)
15.
What is algebraic about algebraic effects?
(news.ycombinator.com)
16.
Learn you Galois fields for great good (2023)
(news.ycombinator.com)
17.
Learn You Galois Fields for Great Good (00)
(news.ycombinator.com)