Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤝 Consensus Protocols
Raft, PBFT, Byzantine Fault Tolerance, Leader Election
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82940
posts in
215.9
ms
Building
Raft
Consensus
Algorithm in Go: Complete Implementation Guide for Distributed Systems
dev.to
·
1d
·
Discuss:
DEV
🤝
Paxos
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
23h
🤝
Paxos
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
18h
·
Discuss:
Hacker News
🤝
Paxos
Simulating
Leader Election on top of
FoundationDB
pierrezemb.fr
·
2d
🤝
Paxos
Privacy-Preserving Dynamic Average
Consensus
by
Masking
Reference Signals
arxiv.org
·
1d
🤝
Paxos
Nonlinear random walks on
hypergraphs
characterized
by higher-order interactions
sciencedirect.com
·
13m
🕸️
Graph Theory
CP
Systems Explained: The Hidden Cost of Strong
Consistency
dev.to
·
4d
·
Discuss:
DEV
🤝
Paxos
Constrained parallel
tempering
in
traveling-salesman
problems with circular neighborhoods
link.aps.org
·
5h
🧮
Algorithms
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🏗️
System Design
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
16h
🦋
ATProto
Dr.
StrangeYAML
or How I Learned to Stop
Worrying
and Love the LLM
yamlscript.org
·
10h
🤖
Local LLMs
BIP 54: Great Consensus Cleanup soft fork
signet
implementatoin
\ stacker news
stacker.news
·
17h
·
Discuss:
X
🤝
Paxos
USB-C for AI Agents: When Industry
Consensus
Becomes Industry
Constraint
smarterarticles.co.uk
·
1d
🤖
AI Ethics
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
16h
🏗️
Build Systems
Part 3:
Exception
Drift
: Where Authority Actually Lives
notsolvingthis.substack.com
·
17h
·
Discuss:
Substack
👷
Worker Self-Management
gRPC Observability: A Guide To Distributed Debugging and Monitoring - Abhishek Agrawal,
Madhav
Bissa
youtube.com
·
2d
🤝
Paxos
Zero
downtime
migration solution (
PostgreSQL
)
reddit.com
·
20h
·
Discuss:
r/django
💾
Local-first Software
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤝
Paxos
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔤
Type Theory
Proteus
: Append-Only
Ledgers
for (Mostly) Trusted Execution Environments
arxiv.org
·
1d
🤝
Paxos
Loading...
Loading more...
Page 2 »
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
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