Using Human Stories to Bring Critical Work on AI to the General Public
exposingtheinvisible.org·19h
🧭Content Discovery
Speeding up sideeffects with JIT in mountaineer
pierce.dev·2d·
Discuss: Hacker News
🦀Rust Macros
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·3d·
Discuss: Hacker News
⚡Proof Automation
Memory Safety Is Merely Table Stakes
usenix.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
FieldX 0.2.0 released
reddit.com·7h·
Discuss: r/rust
🦀Rust Borrowing
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·2d
🌳Trie Structures
Inside Java’s Language Renaissance
thenewstack.io·2d·
Discuss: Hacker News
🔄Language Evolution
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·2d·
Discuss: Hacker News
🧭Content Discovery
The Heart of Software Engineering Still Beats
annievella.com·2d·
Discuss: Hacker News
📏Code Metrics
UCCL: An Extensible Software Transport Layer for GPU Networking
github.com·5h·
Discuss: Hacker News
🖥️Modern Terminals
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·5d
🎯Performance Proofs
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·3d
🧠Machine Learning
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·5d
⚖️Hoare Logic
Making AI Models Accessible Anywhere :: Scaling AI Traffic with Envoy AI Gateway
dev.to·8h·
Discuss: DEV
🏠Homelab Orchestration
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.to·2d·
Discuss: DEV
👁️System Observability
Day 18: When Automation Goes Wrong
dev.to·14h·
Discuss: DEV
⚡Proof Automation
From Painful API Testing to AI-Powered Ease with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Juris.js: Non-Blocking Rendering: The Game-Changer in Modern Web Development
dev.to·1d·
Discuss: DEV
🌊Stream Processing
My Keploy Testing Experience
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·5d
🧪Property-Based Testing