Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·45m·
Discuss: Hacker News
⚛️Quantum Circuits
Flag this post
Flatpak Happenings
blog.sebastianwick.net·5h·
📦Deflate
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·6h·
Discuss: Hacker News
🗄️Database Internals
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·13h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
The AI development trap that wastes your time
suchdevblog.com·3h·
Discuss: Hacker News
Proof Automation
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
Neurosymbolic Deep Learning Semantics
arxiv.org·12h
🔢Denotational Semantics
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
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·12h
🌸Bloom Variants
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·12h
🧮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·5h
📊Computational Geometry
Flag this post