📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·21h
⚔️Lean Tactics
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·2h·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Minimize squared relative error
johndcook.com·5d
📐Interval Arithmetic
Getting an LLM to set its own temperature
amanvir.com·1d·
Discuss: Hacker News
🐛Fuzzing
LMQ-Sketch: Lagom Multi-Query Sketch for High-Rate Online Analytics
arxiv.org·3d
📊Count-Min Sketch
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·4d·
Discuss: Hacker News
🔗Functional Compilers
Is SPL more difficult or easier than SQL?
github.com·1d·
Discuss: Hacker News
⛏️SQL Archaeology
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·15h·
Discuss: DEV
λLambda Encodings
ROBBO: An Efficient Method for Pareto Front Estimation with Guaranteed Accuracy
arxiv.org·2d
🎯Performance Proofs
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·1d
💻Local LLMs
FundaQ-8: A Clinically-Inspired Scoring Framework for Automated Fundus Image Quality Assessment
arxiv.org·11h
📊Rate-Distortion Theory
An Expanded Benchmark that Rediscovers and Affirms the Edge of Uncertainty Sampling for Active Learning in Tabular Datasets
arxiv.org·2d
📊Count-Min Sketch
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·1d·
Discuss: DEV
📐Proof Assistants
ANOVA-boosting for Random Fourier Features
arxiv.org·1d
🧠Machine Learning
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.org·2d
🧪Property-Based Testing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
A Qubit-Efficient Hybrid Quantum Encoding Mechanism for Quantum Machine Learning
arxiv.org·1d
⚛️Quantum Codes
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·9h·
Discuss: DEV
⚡Performance Tools