Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·1d
📊Compression Proofs
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
How to Approximate Curves Using Bézier and Euler Spiral Segments
hackernoon.com·11h
📊Computational Geometry
Flag this post
Mentally estimating log base 2
johndcook.com·10h
🎯Arithmetic Coding Theory
Flag this post
Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
arxiv.org·20h
✨Algebraic Effects
Flag this post
More on √π
alexkritchevsky.com·2d
📐Mathematical Art
Flag this post
Unit-free theorem pinpoints key variables for AI and physics models
phys.org·4h
📊Quantization
Flag this post
A moonlit week
λLambda Encodings
Flag this post
We built a vector search engine that lets you choose precision at query time
🌳Trie Structures
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·2d
🔗Constraint Handling
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Why zero is the most important number in all of mathematics
newscientist.com·2d
📚Archive Mathematics
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·20h
🧮Kolmogorov Bounds
Flag this post
Loading...Loading more...