📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Quantifying Thermal Gradient Impact on 40-Layer Stack Die Reliability through Bayesian Network Analysis
dev.to·17h·
Discuss: DEV
⚙️Modern Assembly
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·1d·
Discuss: Lobsters, Hacker News
🧮Compute Optimization
Benchmarking Computer Science Survey Generation
arxiv.org·1d
⚙️Compression Benchmarking
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·15h
🔲Cellular Automata
When log(x) has the same digits as x
johndcook.com·2d
📐Interval Arithmetic
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·3d
🎯Performance Proofs
Being confidently wrong is the only thing holding AI back
promptql.io·22h·
Discuss: Hacker News
🧠Intelligence Compression
We now have the math to describe 'matrix tides'
buffalo.edu·12h·
Discuss: Hacker News
🌀Differential Geometry
Understanding Data Influence with Differential Approximation
arxiv.org·2d
🧠Machine Learning
Show HN: Novel GPT-2 sampling and memory architecture
github.com·1h·
Discuss: Hacker News
💎Information Crystallography
Enhanced Flow Field Reconstruction via Adaptive Hermite Spectral Collocation
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·17h·
Discuss: Hacker News
⚡Dependent Rust
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·8h·
Discuss: Hacker News
📼Tape Combinators
Beyond Bézier
beyondbezier.ch·1h·
Discuss: Hacker News
📖Nordic Typography
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·16h·
Discuss: Hacker News
🧠Learned Codecs
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Adaptive Differential Signal Calibration via Hyperdimensional Vector Projection for High-Speed Data Transmission
dev.to·2d·
Discuss: DEV
🧠Machine Learning
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