📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

On training binary neural networks
kevinmartinjose.com·52m
📊Quantization
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·6h·
Discuss: DEV
🔗Topological Sorting
Understanding Floating-Point Numbers
dennisforbes.ca·2d·
Discuss: Hacker News
📐Arithmetic Precision
Basic Guide to Einsum
ajcr.net·24m·
Discuss: Hacker News
📐Linear Algebra
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·1h
⚽Sphere Packing
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·12h·
Discuss: Hacker News
📐Document Calculus
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·5d
🎯Performance Proofs
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
**Master Python Numerical Methods: From Integration to Optimization for Scientific Computing**
dev.to·3d·
Discuss: DEV
📐Linear Algebra
Many hard LeetCode problems are easy constraint problems
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
The Quest to Find the Longest-Running Simple Computer Program
wired.com·8h·
Discuss: Hacker News
🎞️Tape Combinatorics
A New Method for Estimating P2P Network Size
eli.sohl.com·2d·
Discuss: Hacker News
📊Count-Min Sketch
Many hard LeetCode problems are easy constraint problems
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
💎Information Crystallography
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
💧Liquid Types
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·19h·
Discuss: Hacker News
🔐Quantum Cryptography
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News
🎯Arithmetic Coding Theory
mpaland/printf
github.com·2d
✅Format Verification
Benchmarking rust string crates: Are "small string" crates worth it?
reddit.com·1d·
Discuss: r/rust
🔒Type Safety
🧠 What is a Sequence in Programming?
dev.to·4h·
Discuss: DEV
📊APL Heritage