A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Understanding the Basics: Linear Equations and Matrices
dev.to·3h·
Discuss: DEV
📐Linear Algebra
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·14h
📊Vector Quantization
Dual numbers
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📐Interval Arithmetic
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Least squares and least absolute deviations
niklasbuschmann.github.io·8h·
Discuss: Hacker News
📐Error Bounds
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·16h
📐Interval Arithmetic
2011 N1 = 2024 A2
blog.evanchen.cc·10h
🔬Lean
Quick guide to heuristic & bot programming contests
gmays.com·10h
⚡Proof Automation
How to reason from first principles
caseyhandmer.wordpress.com·9h
🎯Proof Tactics
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·2d
🌀Differential Geometry
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·13h·
Discuss: Hacker News
⚡Performance Mythology
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
The Decimal Point Is 150 Years Older Than Historians Thought
scientificamerican.com·1d·
Discuss: Hacker News
📜Medieval Computing
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
📐Mathematical Art
What people said about an OpenZFS bug
despairlabs.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·8h
🔒WASM Capabilities
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·4h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds