Distributed Systems

Feeds to Scour
SubscribedAll
Scoured 175 posts in 6.5 ms

Linearizability and State-Machine Replication: Is It a Match?

 🔀Concurrency  Content type: Academic
arxiv.org··Hacker News

Microservices Patterns: Architecture and Implementation

 🔀Concurrency  Content type: Blog
danimai.medium.com·

Agentic development hinges on verification. For cloud-native software, that is a runtime problem.

 📐Formal Methods
thenewstack.io·

The Split-Brain Problem in Plain English — And the Three Ways Your Distributed Cache Handles It Wrong

 🎯deterministic simulation testing
javacodegeeks.com·

Understanding Leader Election in the Raft Consensus Algorithm

 🔄Stateful Fuzzing  Content type: Blog
medium.com
·

Circuit Breaker Pattern: The Safety Net Your Distributed System Desperately Needs (With AWS…

 🌐Networking  Content type: Blog
medium.com
·

The Server That Does Nothing Is Often the Most Critical

 🌐Networking
siliconopera.com·

Last Call: Join Live the PostgreSQL Community at POSETTE: An Event for Postgres 2026 (T‑1 week)

 🌐Networking

melancholictheory/wellcake: A Kubernetes operator for Valkey — Standalone / Replication / Sentinel / Cluster, operator-driven failover, proactive zero-downtime rolling restarts, Atomic Slot Migration, S3 backups, multi-region replication.

 📐Formal Methods  Content type: Code
github.com··r/devops

New comment by nam10jan in "Ask HN: Who wants to be hired? (June 2026)"

 📐Formal Methods  Content type: Discussion

How Clover moved beyond blue-green deployments with HAProxy Fusion Control Plane

 🔄Stateful Fuzzing  Content type: Blog
haproxy.com·

Belarus, Türkiye eager to bolster economic cooperation

 🐛fuzzing
eng.belta.by·

U.S. Consul in Azerbaijan recalls importance of early preparation for study in his country

 🔄Stateful Fuzzing
trend.az·

The Control Plane Is a Control System

 🔀Concurrency
byatt.io··Hacker News

Your AI Agent Is Just A Distributed System In Disguise

 📐Formal Methods  Content type: Blog
medium.com
·

Why I’m Returning to the Distributed SQL Summit

 📐Formal Methods  Content type: Blog
yugabyte.com·

“Your Java Code Isn’t Slow… Your Prompts Are.”

 📐Formal Methods  Content type: Blog
medium.com
·

New comment by curiouser12 in "Ask HN: Who wants to be hired? (June 2026)"

 🐛fuzzing

Chinese language competition held in Iraq's Kurdistan region

 🌐Networking
en.people.cn··r/KurdistanNews

A lawyer has reported the illegal detention of Ukrainians on the Russian-Georgian border.

 🐛fuzzing  Content type: News
eng.kavkaz-uzel.eu·

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
Save / unsave
s

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