📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
7 Hacks to Maintain Salesforce Data Hygiene With an Autopilot AI
hackernoon.com·8h
🤖Archive Automation
Threaded Code
muforth.dev·2d·
Discuss: Hacker News
🦀Rust Macros
Understanding the Theoretical Guarantees of DPM
arxiv.org·3d
🎯Performance Proofs
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·3d
🔐Quantum Security
Stochastic Quantum Spiking Neural Networks with Quantum Memory and Local Learning
arxiv.org·9h
⚛️Quantum Storage
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
arxiv.org·3d
🕸️Algebraic Topology
On the computation of tensor functions under tensor-tensor multiplications with linear maps
arxiv.org·3d
🌀Riemannian Computing
Probabilistic approximation of fully nonlinear second-order PIDEs with convergence rates for the universal robust limit theorem
arxiv.org·3d
📐Compression Bounds
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.to·3d·
Discuss: DEV
🧠Neural Codecs
Tight Generalization Error Bounds for Stochastic Gradient Descent in Non-convex Learning
arxiv.org·3d
🧠Machine Learning
EQuARX: Efficient Quantized AllReduce in XLA for Distributed Machine Learning Acceleration
arxiv.org·3d
💻Local LLMs
Discrete-Time Linear Dynamical System Control Using Sparse Inputs With Time-Varying Support
arxiv.org·3d
🌊Stream Processing
Development of MR spectral analysis method robust against static magnetic field inhomogeneity
arxiv.org·9h
🧲Magnetic Resonance
Kernel Limit of Recurrent Neural Networks Trained on Ergodic Data Sequences
arxiv.org·3d
🧠Neural Codecs
Preconditioning and Linearly Implicit Time Integration for the Serre-Green-Naghdi Equations
arxiv.org·4d
🌀Differential Geometry
Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
arxiv.org·2d
📐Linear Algebra
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·3d
🧪CBOR Fuzzing
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·2d
⚙️Tape Engineering