📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
HigherOrderCO/HVM3
github.com·12h
🔗Functional Compilers
A kernel compression method for distributed-order fractional partial differential equations
arxiv.org·3d
📈Time Series
Reproducing prospect theory with 'differentiable decision theories'
science.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·20h·
Discuss: DEV
🔐Cryptographic Archaeology
Computed Tomography
fab.cba.mit.edu·2d·
Discuss: Hacker News
🌀Fractal Compression
Do not disrespect the fractal
zeux.io·1d·
Discuss: Hacker News
📏Code Metrics
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.org·2d
🧠Machine Learning
A string formatting library in 65 lines of C++
riki.house·17h·
Discuss: Lobsters, Hacker News
✅Format Verification
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·23h·
Discuss: Substack
🖥️Game Emulation
How to store weather forecast data for fast time-series APIs
openmeteo.substack.com·5h·
Discuss: Substack
📈Time Series
Deep Dive: OpenAI's GPT-OSS
dev.to·10h·
Discuss: DEV
📊Quantization
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·1d
💻Programming languages
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.org·1d
📐Interval Arithmetic
Fast globally optimal Truncated Least Squares point cloud registration with fixed rotation axis
arxiv.org·1d
🌀Riemannian Computing
Do I need a Lisp Machine comeback?
far.chickenkiller.com·1d·
Discuss: Hacker News
🦀Rust Macros
Modular Arithmetic in Data Science
towardsdatascience.com·4d
📐Interval Arithmetic
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·2d·
Discuss: Hacker News
💻Local LLMs
Mathematical proof concerning the additivity problem of nonlinear normalized citation counts
arxiv.org·2d
📊Citation Graphs
Lessons from AI Safety for Businesses
svana.name·1d·
Discuss: Hacker News
🌍Cultural Algorithms