📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·1d
⚔️Lean Tactics
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·7h·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Threaded Code
muforth.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Getting an LLM to set its own temperature
amanvir.com·1d·
Discuss: Hacker News
🐛Fuzzing
Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.org·2d
🧪Property-Based Testing
A Qubit-Efficient Hybrid Quantum Encoding Mechanism for Quantum Machine Learning
arxiv.org·1d
⚛️Quantum Codes
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·14h·
Discuss: DEV
⚡Performance Tools
Machine Learning Fundamentals: adam optimizer
dev.to·5h·
Discuss: DEV
📊Quantization
Machine Learning Fundamentals: accuracy project
dev.to·3d·
Discuss: DEV
✅Archive Validation
Stabilizing randomized GMRES through flexible GMRES
arxiv.org·2d
🧮SMT Solvers
Floating point addition in Computers. Why is 0.1 + 0.2 != 0.3 ?
dev.to·4d·
Discuss: DEV
📐Arithmetic Precision
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·2d
🎯Performance Proofs
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·10h·
Discuss: DEV
✅Format Verification
Tight Generalization Error Bounds for Stochastic Gradient Descent in Non-convex Learning
arxiv.org·2d
🧠Machine Learning
A priori error analysis of consistent PINNs for parabolic PDEs
arxiv.org·2d
📐Compression Bounds
FICA: Faster Inner Convex Approximation of Chance Constrained Grid Dispatch with Decision-Coupled Uncertainty
arxiv.org·2d
🎯Performance Proofs