📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Why a simple for loop (brute-force k-NN) becomes computationally impossible for modern AI applications
dev.to·7h·
Discuss: DEV
🧮Kolmogorov Complexity
How Many Paths of Length K Are There Between a and B?
horace.io·20h·
Discuss: Hacker News
🕸️Graph Algorithms
Sets & Heaps in Haskell and Rust
mmhaskell.com·8h
🔒Type Safety
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·2h
🧮Kolmogorov Bounds
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·16h
🧪Binary Fuzzing
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·7h·
Discuss: Hacker News
📐Linear Algebra
16-Bit Fast Inverse Square Root
ashdnazg.github.io·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·35m
📐Mathematical Art
Optimizing multiprecision LLL in FLINT
fredrikj.net·4d
🧮Algebraic Datatypes
Linear scan with lifetime holes
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Numerical solution of the time fractional nonlinear Fisher-KPP diffusion-reaction equation using the local domain boundary element method
arxiv.org·12h
📐Linear Algebra
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2h·
Discuss: Hacker News
✅Format Verification
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·1d
🌀Differential Geometry
[P] aligning non-linear features with your data distribution
reddit.com·6h·
Discuss: r/MachineLearning
🧠Machine Learning
Capture Checking in Scala
nrinaudo.github.io·11h·
Discuss: Hacker News
🧪Binary Fuzzing
Stable, Mutable References for Ante
antelang.org·3h·
Discuss: Hacker News, r/programming
🔒Type Safety