Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Making registration easy: Understanding the complexities of online forms
ministryoftesting.com·18h·
Discuss: Hacker News
Format Verification
Flag this post
"Green Llama" did not just beat Cascade Platinum Plus
foxchapelresearch.substack.com·18h·
Discuss: Substack
FLAC Verification
Flag this post
A SQLite extension for the crazy ones because everything could be a database
kruzenshtern.org·1d·
Discuss: Hacker News
💾SQLite
Flag this post
AIOps for SRE — Using AI to Reduce On-Call Fatigue and Improve Reliability
devops.com·20h
💾Persistence Strategies
Flag this post
🚀 Early-Stage Kubernetes Backup
reddit.com·10h·
Discuss: r/kubernetes
📦Container Security
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·4d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Not-so-model behavior: Popular software tools may give faulty forecasts
phys.org·1d
📈Time Series
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·4d
🕸️Network Topology
Flag this post
Quantifying Residual Kinematic Error for Adaptive Prosthetic Limb Control via Bayesian Optimization
dev.to·1d·
Discuss: DEV
🦾ARM Assembly
Flag this post
DialectGen: Benchmarking and Improving Dialect Robustness in MultimodalGeneration
dev.to·8h·
Discuss: DEV
🗣️CMU Pronouncing
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.org·1d
💻Local LLMs
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
dev.to·1d·
Discuss: DEV
Z3 Optimization
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·3d
📏Linear Logic
Flag this post
Estimation of Segmental Longitudinal Strain in Transesophageal Echocardiography by Deep Learning
arxiv.org·3d
🌀Differential Geometry
Flag this post
Non-recursively deleting a binary tree in constant space: Traversal with parent pointers
devblogs.microsoft.com·2d·
Discuss: r/cpp
🗃️Database Storage
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·2d·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·4d
🧠Machine Learning
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·1d
Effect Handlers
Flag this post