📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Rules for Python | Cursor Directory
cursor.directory·1d
🪟Awesome windows command-line
Quality Precision
lesswrong.com·3d·
Discuss: Hacker News
✅FLAC Verification
Rendering an ASCII game in real-time with AI (100ms latency)
blog.jeffschomay.com·20h·
Discuss: Hacker News
📟Terminal Physics
The Primitive Tortureboard
aresluna.org·3h·
Discuss: Lobsters, Hacker News
⌨️Mechanical Keyboards
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·2d·
Discuss: Hacker News
🧠Machine Learning
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1d·
Discuss: Hacker News
📏Code Metrics
Some thoughts on LLMs and Software Development
martinfowler.com·18h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Proof Engineering
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·1d·
Discuss: Hacker News
🌊Stream Processing
Spectrum – catching clojure.spec conform errors at compile time
github.com·1d·
Discuss: Hacker News
🔗Functional Compilers
FreeVPS: Repurposing Training-Free SAM2 for Generalizable Video Polyp Segmentation
arxiv.org·1d
🎬AV1 Encoding
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·20h
💻Programming languages
Dynamics-Aligned Latent Imagination in Contextual World Models for Zero-Shot Generalization
arxiv.org·4h
📊Learned Metrics
Bangla-Bayanno: A 52K-Pair Bengali Visual Question Answering Dataset with LLM-Assisted Translation Refinement
arxiv.org·1d
🔍Information Retrieval
Generalizing Monocular 3D Object Detection
arxiv.org·1d
🕳️Persistent Homology
GUARD: Guideline Upholding Test through Adaptive Role-play and Jailbreak Diagnostics for LLMs
arxiv.org·4h
🧪CBOR Fuzzing
Vibe Coding a Simple Feature Took 3 Hours. Here's Why.
dev.to·1d·
Discuss: DEV
✨Effect Handlers
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·4h
🔒Language-based security
Upgrading Magic's SQLite VSS Extension
dev.to·2d·
Discuss: DEV
💾SQLite
Practical Physical Layer Authentication for Mobile Scenarios Using a Synthetic Dataset Enhanced Deep Learning Approach
arxiv.org·4h
🧠Machine Learning
TF-TransUNet1D: Time-Frequency Guided Transformer U-Net for Robust ECG Denoising in Digital Twin
arxiv.org·4h
📊Quantization