📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·2d
🔲Cellular Automata
The Physics of Parabolic Microphones: Frequency Dependence of Gain
legallyblindbirding.net·28m·
Discuss: Hacker News
📡Frequency Archaeology
Emacs Treesitter in Depth
archive.casouri.cc·22h·
Discuss: Hacker News
🌳Incremental Parsing
Beyond Bézier
beyondbezier.ch·2d·
Discuss: Hacker News
📖Nordic Typography
Linux profiling with perf and performance counters – useful links
perfwiki.github.io·1d·
Discuss: Hacker News
⚡Performance Tools
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·17h·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Do not disrespect the fractal
zeux.io·3d·
Discuss: Hacker News
📏Code Metrics
NEAT: Concept driven Neuron Attribution in LLMs
arxiv.org·6h
💻Local LLMs
Stabilization of Perturbed Loss Function: Differential Privacy without Gradient Noise
arxiv.org·3d
🧠Machine Learning
A Better Way to Think About AI
theatlantic.com·23h·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·6h
🧠Machine Learning
Fast globally optimal Truncated Least Squares point cloud registration with fixed rotation axis
arxiv.org·3d
🌀Riemannian Computing
Refactoring 032 - Apply Consistent Style Rules
dev.to·20h·
Discuss: DEV
📐Delta Encoding
UMATO: Bridging Local and Global Structures for Reliable Visual Analytics with Dimensionality Reduction
arxiv.org·6h
🌀Differential Geometry
Deep Dive: OpenAI's GPT-OSS
dev.to·2d·
Discuss: DEV
📊Quantization
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·4d·
Discuss: Hacker News
💻Local LLMs
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·5d
🎯Performance Proofs
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·3d
🧠Machine Learning
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·3d
✅Formal Methods
Automated Regression Test Suite Optimization via Dynamic Prioritization and Adaptive Sampling
dev.to·2d·
Discuss: DEV
🔍Concolic Testing