Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1h·
Discuss: Hacker News
🧮SMT Solvers
News for September 2025
ptreview.sublinear.info·20h
🧪Property-Based Testing
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·8h·
Discuss: Hacker News
📐Arithmetic Precision
A nodally bound-preserving composite discontinuous Galerkin method on polytopic meshes
arxiv.org·2d
📐Interval Arithmetic
Fun with HyperLogLog and SIMD
vaktibabat.github.io·19h·
📊HyperLogLog
Title: Simplifying Code Execution on Multiple Integer Variables
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·1d
🛡️Error Boundaries
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·7h·
Discuss: Hacker News
🎯Interactive Provers
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·16h·
Discuss: Hacker News
💻Local LLMs
Chess Engine Draw Rates
beuke.org·1d
🧮Kolmogorov Bounds
Discrete Fourier Transform
nima101.github.io·5d·
📐Interval Arithmetic
DanielSant0s/AthenaEnv
github.com·4h
📺VT100 Emulation
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Quantifying Piece Activity
lichess.org·4h·
Discuss: Hacker News
🔲Cellular Automata
Automated Algorithmic Bias Mitigation in Automated Code Generation Pipelines
dev.to·6h·
Discuss: DEV
📏Code Metrics
EEFSUVA: A New Mathematical Olympiad Benchmark
arxiv.org·2d
🎯Performance Proofs
Ask HN: Systems Development Path
news.ycombinator.com·17h·
Discuss: Hacker News
🦀Rust Borrowing
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·11h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·11h·
Discuss: Hacker News
Incremental Computation