Travels, 10
cameroncounts.wordpress.comΒ·18h
🎯Performance Proofs
How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.comΒ·11h
✨Effect Handlers
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.eduΒ·2dΒ·
Discuss: Hacker News
πŸ‡©πŸ‡ͺGerman Computing
Getting an LLM to set its own temperature
amanvir.comΒ·1dΒ·
Discuss: Hacker News
πŸ›Fuzzing
Evaluating Rare Disease Diagnostic Performance in Symptom Checkers: A Synthetic Vignette Simulation Approach
arxiv.orgΒ·1d
🌸Bloom Variants
Enhanced Fault Ride-Through Grid Forming with Transient Synchronisation Stability and Current Saturation
arxiv.orgΒ·1d
πŸ›‘οΈError Boundaries
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.orgΒ·5h
⚑Incremental Computation
Single Core Hundred Thousand Concurrency（1750866547511600οΌ‰
dev.toΒ·18hΒ·
Discuss: DEV
🌊Stream Processing
Autonomous SRE: Revolutionizing Reliability with AI, Automation, and Chaos Engineering
dev.toΒ·1dΒ·
Discuss: DEV
πŸ›‘οΈError Boundaries
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.orgΒ·2d
πŸ§ͺProperty-Based Testing
Some Thoughts On The Future β€œDoudna” NERSC-10 Supercomputer
nextplatform.comΒ·1dΒ·
Discuss: Hacker News
πŸ–₯️Modern Terminals
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgΒ·2d
πŸ”Type Inference
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.orgΒ·5h
πŸ“„Document Digitization
Flame Graph Performance Truth Analysis（1750918443851900οΌ‰
dev.toΒ·3hΒ·
Discuss: DEV
⚑Performance Tools
🧠 Solving LeetCode Until I Become Top 1% β€” Day `31`
dev.toΒ·2hΒ·
Discuss: DEV
πŸ”’Bitwise Algorithms
The Importance of Data Quality in AI-based Testing
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Concolic Testing
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgΒ·1d
πŸ“Compression Bounds
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgΒ·5h
πŸ“Linear Logic
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgΒ·2d
πŸ“Code Metrics
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.orgΒ·5h
πŸ“Error Bounds