📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

ACNS 2025: Bridging Privacy and Regulation in Cryptocurrencies
esat.kuleuven.be·22h
🔗Hash Chains
The language learning "Delta" Anki card pattern
hiandrewquinn.github.io·2d
📝Concrete Syntax
Losing Sales to Cart Abandonment? AI Can Boost Conversions 3x
techolution.com·1h·
Discuss: Hacker News
🌊Stream Processing
Show HN: Velvet Security Framework
osf.io·10h·
Discuss: Hacker News
🏺ZIP Archaeology
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·6d
🧮Z3 Solver
Rust in the Linux kernel: part 2
lwn.net·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
AxiomOS An AI system where agents generate and evolve under an Overseer
github.com·7h·
Discuss: Hacker News
🤝Paxos Consensus
UCCL: An Extensible Software Transport Layer for GPU Networking
github.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Building a Raspberry Pi Cluster - CAN Logger
reddit.com·20h·
Discuss: r/homelab
🔌Single Board PC
5 Common Rust Beginner Traps (And How to Escape Them)
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Show HN: Simple Speech-to-Text with an Arduino Nano
github.com·3d·
Discuss: Hacker News
⚡Modern Compression
Can Claude Create Images? All You Need to Know
dev.to·59m·
Discuss: DEV
🦴Binary Paleography
Can Peter Pan Survive MT? A Stylometric Study of LLMs, NMTs, and HTs in Children's Literature Translation
arxiv.org·12h
🔤Character Classification
Top 10 SoapUI Alternatives That Won't Give You a Headache in 2025
dev.to·7h·
Discuss: DEV
🌐Web Standards
AI Integration and the Traceability Gap: Atlassian vs. Competitors
dev.to·7h·
Discuss: DEV
👁️Observatory Systems
Structural System Identification via Validation and Adaptation
arxiv.org·3d
🧠Machine Learning
Distilling Normalizing Flows
arxiv.org·3d
📥Feed Aggregation
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·6d
📏Code Metrics
Sirius: A GPU-native SQL engine
github.com·2d·
Discuss: Hacker News
🗄️Database Internals
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·4d
🧠Machine Learning