Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Flatpak Happenings
blog.sebastianwick.net·7h·
📦Deflate
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·8h·
Discuss: Hacker News
🗄️Database Internals
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·15h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
The AI development trap that wastes your time
suchdevblog.com·5h·
Discuss: Hacker News
Proof Automation
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·14h
🔢Denotational Semantics
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
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
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·14h
🌸Bloom Variants
Flag this post
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·14h
🧮Z3 Applications
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🧪Binary Fuzzing
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·1d
🧠Neural Codecs
Flag this post
Japanese polygon theorem
johndcook.com·7h·
Discuss: Hacker News
📊Computational Geometry
Flag this post