A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·1d
🌀Differential Geometry
Dual numbers
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📐Error Bounds
2011 N1 = 2024 A2
blog.evanchen.cc·10h
🔬Lean
Checking data integrity
eclecticlight.co·21h
✅Checksum Validation
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·15h
🎯Arithmetic Coding Theory
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Understanding the Basics: Linear Equations and Matrices
dev.to·2h·
Discuss: DEV
📐Linear Algebra
A Poet Completes the Square
denisegaskins.com·14h
⚔️Lean Tactics
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Piano Keys
mathpages.com·1d·
Discuss: Hacker News
🌈Spectral Audio
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
🔄Graph Rewriting
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Least squares and least absolute deviations
niklasbuschmann.github.io·7h·
Discuss: Hacker News
📐Error Bounds
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
A Continental Divide for Newton’s Method
johndcook.com·2d
📐Error Bounds
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
🧠Machine Learning