🌀 Maelstrom

Distributed Systems Workbench, Testing Framework, Jepsen-style, Consistency Validation

Feeds to Scour
SubscribedAll
Scoured 255284 posts in 3.34 s
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·8h·
Discuss: DEV
📞Tauri IPC
Preview
Report Post
IPC in Rust
3tilley.github.io·1d
🌊Glommio
Preview
Report Post
Starting a Distributed Query Engine with a Minimal Rust Execution POC
dev.to·1d·
Discuss: DEV
⛽Diesel
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h
🔒S2N-QUIC
Preview
Report Post
CVE-2025-68260: rust_binder: fix race condition on death_list
lore.kernel.org·3h·
Discuss: Hacker News
🦀Rayon
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·12h·
Discuss: r/LocalLLaMA
🦀Rust Macros
Preview
Report Post
Light-Weight Contexts: An OS Abstraction for Safety and Performance
usenix.org·1d
🔀Crossbeam
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·14h
🌀Naiad
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io·6h
💓PHI Accrual
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🏗️MLIR
Preview
Report Post
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.com·1d
📊Profiling Tools
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·14h·
Discuss: Hacker News
🛡️Error Handling
Preview
Report Post
Horton persistence progress
terracrypt.net·12h
🦀Rust Macros
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💎Refinement Types
Preview
Report Post
Linux perf Examples
brendangregg.com·16h
📊Linux Perf Events
Preview
Report Post
Zen-GC – policy-driven K8s garbage collection for automated cleanup
github.com·8h·
Discuss: Hacker News
🚀Shuttle
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.com·2h·
Discuss: Hacker News, r/programming
📋Columnar Storage
Preview
Report Post
2025: A Year in Review
pierrezemb.fr·2d
🎲Deterministic Simulation
Preview
Report Post