🌀 Maelstrom

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

Feeds to Scour
SubscribedAll
Scoured 76518 posts in 690.8 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·17h
📐TLA+
Processes and Threads - Discourse on Concurrency, Part I
ayanmali.substack.com·21h·
Discuss: Substack
🔄Concurrency
The Spec Problem, Part 1: When Tools Try to Do Too Much
blog.gorewood.games·1d
🧬Mutation Testing
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🔓Lock-Free Programming
Debugging Kotlin Multiplatform Apps with Better Observability
dev.to·4h·
Discuss: DEV
📝Tracing Subscriber
Building fault-tolerant applications with AWS Lambda durable functions
aws.amazon.com·16h
🚀Shuttle
The ‘Super Bowl’ standard: Architecting distributed systems for massive concurrency
infoworld.com·1d
📡Event-Driven Architecture
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·2d
🔄Concurrency
nilpunch/massive-ecs: Bitset-based ECS with rollbacks. C# library and Unity package.
github.com·3d
🎮Bevy ECS
Context Rot: From Agent Loop to Agent Swarm — Solving Context Persistence in AI-Assisted Development
dev.to·18h·
Discuss: DEV
💬Prompt Engineering
Getting Feedback from Test-Driven Development and Testing in Production
infoq.com·1d
🧪Testing
The Rise of Spec Driven Development
dbreunig.com·17h·
Discuss: Hacker News
🧪Jepsen Testing
Efficient Benchmarking of Logical Magic State
link.aps.org·1d
✅Model Checking
gem.coop Tests Dependency Cooldowns as Package Ecosystems Move to Slow Down Attacks
socket.dev·1d
📦Package Managers
llOOPy lOOPs (Dave Jarvis)
dave.autonoma.ca·1d
🧠Memory Models
Deterministic Time with Go's Synctest
oblique.security·1d·
Discuss: Hacker News, Hacker News, r/golang
🧵Loom
Securing GenAI: Vol. 8 — Deploying AI apps securely
pub.towardsai.net·7h
🛡️AI Security
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🔄Concurrency Models
Simulating Leader Election on top of FoundationDB
pierrezemb.fr·2d
📜MultiPaxos
Quash: A mobile QA agent that runs tests without scripts
producthunt.com·22h
🖥️SerenityOS

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help