Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Distributed Systems
🌐 Distributed Systems
Fault Tolerance, Consensus Algorithms, Scalability, System Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
12
posts in
12.0
ms
Linearizability
and State-Machine Replication: Is It a Match?
🧩
Complexity Theory
Content type:
Academic
arxiv.org
·
4h
4 hours ago
·
Hacker News
Actions for Linearizability and State-Machine Replication: Is It a Match?
Design
Reliable,
Scalable
Distributed
Systems
✅
Formal Verification
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
The Split-Brain Problem in Plain English — And the Three Ways Your
Distributed
Cache Handles It Wrong
🔬
Robert m. Hazen
javacodegeeks.com
·
1d
1 day ago
Actions for The Split-Brain Problem in Plain English — And the Three Ways Your Distributed Cache Handles It Wrong
Understanding Leader Election in the
Raft
Consensus
Algorithm
🔬
Robert m. Hazen
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for Understanding Leader Election in the Raft Consensus Algorithm
Beyond Dual Writes: Microservice Integration Strategies
🦀
Rust
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Beyond Dual Writes: Microservice Integration Strategies
RoachFest London 2026 Preview: AI Agents and an Astronaut Walk Into a
Database
Conference
📊
Streaming ML
Content type:
Blog
cockroachlabs.com
·
1d
1 day ago
Actions for RoachFest London 2026 Preview: AI Agents and an Astronaut Walk Into a Database Conference
Review:
Scalable
Leader Leases For Multi
Consensus
Groups in CockroachDB
🔬
Robert m. Hazen
Content type:
Blog
emptysqua.re
·
4d
4 days ago
Actions for Review: Scalable Leader Leases For Multi Consensus Groups in CockroachDB
Your Career Isn't Eroding - You're Just Holding the Wrong Moat · Greg Herlein
🔬
Robert m. Hazen
Content type:
Blog
blog.herlein.com
·
2d
2 days ago
·
Hacker News
Actions for Your Career Isn't Eroding - You're Just Holding the Wrong Moat · Greg Herlein
[eCHO News] Episode #100: Day 2 with Cilium. eBPF.party
📊
Streaming ML
isovalent-9197153.hs-sites.com
·
4d
4 days ago
Actions for [eCHO News] Episode #100: Day 2 with Cilium. eBPF.party
DB Nerds – Try this out
✅
Formal Verification
kesseldb.com
·
5d
5 days ago
·
Hacker News
Actions for DB Nerds – Try this out
Hierarchical Certified Semantic
Commitment
for
Byzantine-Resilient
LLM-Agent Collaboration
✅
Formal Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Hierarchical Certified Semantic Commitment for Byzantine-Resilient LLM-Agent Collaboration
bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help