Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

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
clickhouse.com·14h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Surprisingly Simple Range Sets with Bisection in Python
dev.to·1d·
Discuss: DEV
🌳Trie Structures
Flag this post
A moonlit week
blog.mitrichev.ch·2d·
λ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
gowers.wordpress.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·1h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Why zero is the most important number in all of mathematics
newscientist.com·1d
📚Archive Mathematics
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
🧪Binary Fuzzing
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
Gambling coin game – math and CS article
joshpearlson.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Problems from the Land down Under
pballew.blogspot.com·1d·
📜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
epoch.ai·1d·
Discuss: Hacker News
Performance Mythology
Flag this post
Modern Perfect Hashing
blog.sesse.net·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·3h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post