📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
Optimal adaptive implicit time stepping
arxiv.org·1d
🧮Compute Optimization
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·1d
🎯Performance Proofs
Overtuning in Hyperparameter Optimization
arxiv.org·21h
🧠Machine Learning
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
Classical optimization algorithms for diagonalizing quantum Hamiltonians
arxiv.org·1d
⚛️Quantum Algorithms
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Regular Tree Search for Simulation Optimization
arxiv.org·1d
🌲B-tree Variants
daily quizzz
dev.to·11h·
Discuss: DEV
λLambda Encodings
A Computationally Efficient Method for Solving Mixed-Integer AC Optimal Power Flow Problems
arxiv.org·1d
📈Linear programming
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·1d
✓Automated Theorem Proving
C++ Seeding Surprises (2015)
pcg-random.org·8h·
Discuss: Hacker News
🔢Bitwise Algorithms
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·1d
🕸️Algebraic Topology
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
h-calibration: Rethinking Classifier Recalibration with Probabilistic Error-Bounded Objective
arxiv.org·1d
🧠Machine Learning
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·21h
🔗Topological Sorting