Proofs of the Pythagorean Theorem
cut-the-knot.org·2d·
Discuss: Hacker News
📖reading
MathJax v4.0.0 Now Available
mathjax.org·8h·
Discuss: Hacker News
📈productivity
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
📖reading
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·5d·
Discuss: Hacker News
📖reading
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·1d·
Discuss: Hacker News
💹economics
Project Euler
projecteuler.net·2d·
Discuss: Hacker News
🛠️useful
How the Lean language brings math to coding and coding to math
amazon.science·19h·
Discuss: Hacker News
🛠️useful
The Christofides Algorithm
alon.kr·22h·
Discuss: Hacker News
🛠️useful
Calcule
calcule.app·1d·
Discuss: Hacker News
🛠️useful
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·16h·
Discuss: Hacker News
🛠️useful
Efforts to Ground Physics in Math Are Opening the Secrets of Time
wired.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
💹economics
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·20h·
Discuss: Hacker News
📖reading
I Built a Ballistic Missile Defense Simulator in a Browser
medium.com·1h·
Discuss: Hacker News
🛠️useful
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·20h·
Discuss: Hacker News
🧠smart
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
🧠smart
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·2d·
Discuss: Hacker News
📈productivity
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.com·2h·
Discuss: Hacker News
📖reading
LLM Inflation
tratt.net·3h·
Discuss: Hacker News
📈productivity
What if Infinity Didn’t Exist?
scientificamerican.com·2d·
Discuss: Hacker News
💭thoughtful
Open Sourced: ML Interview Questions and Job List (Ranked by Comp and Culture)
github.com·21h·
Discuss: Hacker News
🛠️useful