📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·20h
🌀Differential Geometry
Binary Search in a 2D Matrix
mmhaskell.com·1d
🔗Combinatory Logic
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·10h
🦀Rust Verification
Piano Keys
mathpages.com·2h·
Discuss: Hacker News
🌈Spectral Audio
A Continental Divide for Newton’s Method
johndcook.com·1d
📐Interval Arithmetic
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
A probability puzzle involving random fractions
mathematicaloddsandends.wordpress.com·3d
🎯Arithmetic Coding
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·10h
📐Mathematical Art
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·3h
🔢Bitwise Algorithms
How to Optimize Your Python Code Even If You’re a Beginner
kdnuggets.com·1d
🌊Streaming Algorithms
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·3h·
Discuss: Hacker News
🎯Interactive Provers
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔄Graph Rewriting
Accuracy Is Dead: Calibration, Discrimination, and Other Metrics You Actually Need
towardsdatascience.com·1d
📊Learned Metrics
Parsing Safetensors File Format in C
leetarxiv.substack.com·9h·
Discuss: Substack, r/programming
✅Format Verification
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·2d·
Discuss: Hacker News
📊Quantization
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·9h
🔗Hash Chains
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·20h
✨Algebraic Effects