Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·1d
🌀Differential Geometry
Checking data integrity
eclecticlight.co·23m
✅Checksum Validation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
Piano Keys
mathpages.com·9h·
Discuss: Hacker News
🌈Spectral Audio
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·10h
🔢Bitwise Algorithms
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔄Graph Rewriting
Asymmetry of Verification and Verifier's Law
jasonwei.net·5h·
Discuss: Hacker News
🔮Proof Search
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
A Continental Divide for Newton’s Method
johndcook.com·1d
📐Error Bounds
What are Matrix Operations?
dev.to·4h·
Discuss: DEV
📐Linear Algebra
A probability puzzle involving random fractions
mathematicaloddsandends.wordpress.com·3d
🎯Arithmetic Coding
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Linkage
11011110.github.io·15h
🕸️Algebraic Topology
A Minimal DDPM
github.com·4h·
Discuss: Hacker News
🧠Machine Learning
Alcoclock: It's 5 O'Clock Somewhere 🍸🕔
hackster.io·19h
🔌Single Board PC
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Problem About Elevens, and Some Methods of Casting Out Sevens, and Other Primes.
pballew.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Tactics