📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·1h
💻Local LLMs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
SAT Requires Exhaustive Search
link.springer.com·8h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Quark’s Outlines: Python Long Integers
dev.to·21h·
Discuss: DEV
✅Format Verification
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Extensions and Shadows (9)
sites.psu.edu·15h
✨Effect Handlers
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·1d
⚙Backus-Naur Form
Toroidally Progressive Stratified Sampling in 1D
blog.demofox.org·1d
🌊Streaming Algorithms
Towards a mixed-precision ADI method for Lyapunov equations
arxiv.org·1d
✨Algebraic Effects
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·12h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·1h
🛡️Error Boundaries
Russian Teacher Tricks American Students
mindyourdecisions.com·9h
🌀Differential Geometry
Machine learning by satisfiability solving
johndcook.com·4d
🎯Performance Proofs
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs
Carnival of Maths #241
aperiodical.com·17h
📐Mathematical Art
Let's hax0r a GC… (eventually)
h4x0r.org·14h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory