📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Interval Arithmetic
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Day 41: Python Happy Number Checker, Detect Numbers Leading to 1 Through Digit Square Sums with Cycle Detection
dev.to·2d·
Discuss: DEV
📐Interval Arithmetic
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
ECPv2: Fast, Efficient, and Scalable Global Optimization of Lipschitz Functions
arxiv.org·2d
🧠Machine Learning
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·22h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
The risk of round numbers and sharp thresholds in clinical practice
nature.com·23h·
Discuss: Hacker News
📐Interval Arithmetic
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·19h
⚛️Quantum Algorithms
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·18h·
Discuss: Hacker News
💧Liquid Types
Flag this post
How I Fixed a Confusing Bug in NumPy
dev.to·1d·
Discuss: DEV
🛡️Proof-Carrying Archives
Flag this post
Weddle integration rule
johndcook.com·2d·
Discuss: Hacker News
📐Interval Arithmetic
Flag this post
How to compute daily VaR fast
pyquantnews.substack.com·6h·
Discuss: Substack
🎯Arithmetic Coding Theory
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·1h·
Discuss: DEV
✅Format Verification
Flag this post