Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·6h
📊Compression Proofs
Flag this post
We built a vector search engine that lets you choose precision at query time
🌳Trie Structures
Flag this post
Accelerated Gradient Methods for Nonconvex Optimization: Escape Trajectories From Strict Saddle Points and Convergence to Local Minima
arxiv.org·22h
🎯Performance Proofs
Flag this post
A moonlit week
λLambda Encodings
Flag this post
More on √π
alexkritchevsky.com·1d
📐Mathematical Art
Flag this post
Freshman’s dream
johndcook.com·10h
⚔️Lean Tactics
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·1d
🔗Constraint Handling
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Why zero is the most important number in all of mathematics
newscientist.com·1d
📚Archive Mathematics
Flag this post
CodeSOD: A Truly Bad Comparison
thedailywtf.com·19h
🐚Shell Calculus
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·1d
⚡SIMD Vectorization
Flag this post
Problems from the Land down Under
📜Manuscript Calculus
Flag this post
ACM CCS 2025 Spotlight: How Bad Was The Falcon Bug of 2019?
esat.kuleuven.be·18h
🔐Cryptographic Archaeology
Flag this post
Epoch Capabilities Index aggregates AI benchmark scores into one metric
⚡Performance Mythology
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
Loading...Loading more...