📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
3D Printed Portable Air Quality Monitor using Beetle ESP32C3
hackster.io·12h
🔌Single Board PC
OpenAI Model Earns Gold-Medal Score at International Math Olympiad and Advances Path to Artificial General Intelligence
scientificamerican.com·2d
🔲Cellular Automata
How to store weather forecast data for fast time-series APIs
openmeteo.substack.com·10h·
Discuss: Substack
📈Time Series
Why Latency Lies to You
systemssaturday.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
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
Diving Deep: Understanding the Mechanics
dev.to·2d·
Discuss: DEV
📏Range Queries
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
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·20h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·4d·
Discuss: Hacker News
⚡Homebrew CPUs
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·1d·
Discuss: Hacker News
📼Tape Combinators
Stabilization of Perturbed Loss Function: Differential Privacy without Gradient Noise
arxiv.org·1d
🧠Machine Learning
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·1d
🧠Machine Learning
Getting SAC to Work on a Massive Parallel Simulator: An RL Journey
araffin.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
Enhanced Predictive Modeling for Hazardous Near-Earth Object Detection: A Comparative Analysis of Advanced Resampling Strategies and Machine Learning Algorithms...
arxiv.org·1d
🧠Machine Learning
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·1d
✅Formal Methods