The concept of proof within the context of machine mathematics
2023-10-04
Automated Mathematics and the Reconfiguration of Proof and Labor
2023-10-04
A Soviet mathematician quietly solved the mystery of planet formation
2023-10-03
Show HN: I built a tool to optimize your fantasy basketball team
2023-10-03
Stop Arguing over Elite Schools. Just Make Public Colleges Free
2023-10-02
Mahāvīra (Mathematician)
2023-10-02
Matrix (Mathematics)
2023-10-02
'Nazi raccoons' on the rampage as European population explodes
2023-10-01
Mathematical secrets of ancient tablet unlocked after nearly a century of study
2023-10-01
Ask HN: Any resources to browse old computer technical drawings and schematics?
2023-09-30