📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Algorithms for pointwise and piecewise polynomial approximations to the trigonometric functions
arxiv.org·1d
📐Interval Arithmetic
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·12h
⬆️Lambda Lifting
Why Dyad?: A Perspective for Modelica Users
juliahub.com·4h·
Discuss: Hacker News
💧Liquid Types
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·10h·
Discuss: DEV
🧮Kolmogorov Complexity
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·15h
🌸Bloom Variants
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Derandomizing Simultaneous Confidence Regions for Band-Limited Functions by Improved Norm Bounds and Majority-Voting Schemes
arxiv.org·1d
🧠Machine Learning
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Ask HN: Feedback on "QSS" – A Quantized Vector Search Engine in C
news.ycombinator.com·1d·
Discuss: Hacker News
🗂️Vector Databases
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·15h
🌀Fractal Compression
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs