Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

essential spectrum
ncatlab.org·1d
🕸️Algebraic Topology
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·9h
🧠Machine Learning
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·9h
🧮Kolmogorov Complexity
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
Incremental Computation
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🎯Proof Tactics
Flag this post
Markerless Augmented Reality Registration for Surgical Guidance: A Multi-Anatomy Clinical Accuracy Study
arxiv.org·9h
📐Projective Geometry
Flag this post
The Case Against PGVector
alex-jacobs.com·2d·
Discuss: Hacker News
🗂️Vector Databases
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·2d·
Discuss: DEV
⚖️Hoare Logic
Flag this post
Enhanced SPICE Modeling via Adaptive Transient Analysis & Hierarchical Parameter Optimization
dev.to·3d·
Discuss: DEV
🔧Hardware Verification
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·9h
🔢Denotational Semantics
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·2d·
Discuss: DEV
📐Mathematical Art
Flag this post
Investigating Label Bias and Representational Sources of Age-Related Disparities in Medical Segmentation
arxiv.org·1d
📊Learned Metrics
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·1d
📐Interval Trees
Flag this post