📐 Math - yfff · Scour

The monstrous number sequences that break the rules of mathematics 🦀Rust

newscientist.com·17h·Hacker News

The fall of the theorem economy ⚛️Physics

davidbessis.substack.com·3d·Substack

Fundamental Theorem of Calculus | David Álvarez Rosa 🎲Stochastic Processes

david.alvarezrosa.com·2d·Hacker News

Why does the Rainbow have 7 colors? ⚛️Physics

glorify.com·5h·Hacker News

Profunctor Equipment 📐Linear Algebra

bartoszmilewski.com·17h·Hacker News

ArXivLean: How Well Can LLMs Formally Prove Research Math? 💬LLMs

matharena.ai·1d·Hacker News

Learning to Reason with Insight for Informal Theorem Proving 💡AI Reasoning

Facts versus Understanding 📡Information Theory

solipsys.co.uk·19h·Hacker News

Explorables of the intelligence theorem 💡AI Reasoning

lattice.project89.org·1d·Hacker News

Generalised plusequals 🦀Rust

leontrolski.github.io·7h·Hacker News

Zero Has Meaning 📐Optimization Theory

medallurgy.substack.com·2d·Substack

Tackling the Biggest Unsolved Problems in Math with 3Blue1Brown 📐Linear Algebra

youtube.com·4d·Hacker News

The Most Controversial Post I Ever Wrote on Quora 📐Linear Algebra

derangedmathematician.substack.com·23h·Substack

Oxford Calculators ⚛️Physics

en.wikipedia.org·2d·Hacker News

How to Build Your Own Language-Specific LLM [Full Handbook] 🧠LLM

freecodecamp.org·8h

New Theorems 📐Linear Algebra

monogate.org·6d·Hacker News

AI to undo your AI writing 🤖AI

sinceerly.com·1d·Hacker News, Hacker News

The Forgotten Art of Crossword Creation 💾Retro Computing

llama.gs·12h·Hacker News

Big O for MySQL: Why the Same Query Gets Slow at Scale 🦀Rust

anotherboringtechblog.com·2d·Hacker News

Proofs are Programs: A Few Examples of the Curry-Howard Correspondence 🦀Rust

adueck.github.io·3d·Hacker News, r/programming

Log in to enable infinite scrolling