🔄 Protocol Design

Network Architecture, Consensus Algorithms, Distributed Systems, Byzantine Fault Tolerance

Feeds to Scour
SubscribedAll
Scoured 83023 posts in 598.1 ms
Multi-Paxos – Consensus in Distributed Databases
arpitbhayani.me·12h·
Discuss: Hacker News
📜Smart Contracts
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·17h
✅Formal Verification
**Title**
dev.to·3h·
Discuss: DEV
🛡️AI Safety
Building Raft Consensus Algorithm in Go: Complete Implementation Guide for Distributed Systems
dev.to·1d·
Discuss: DEV
📜Smart Contracts
From roots to reach: Network resilience in natural disasters
blog.apnic.net·1d·
Discuss: Hacker News
📜Smart Contracts
Privacy-Preserving Dynamic Average Consensus by Masking Reference Signals
arxiv.org·1d
🧮Homomorphic Encryption
The ‘Super Bowl’ standard: Architecting distributed systems for massive concurrency
infoworld.com·1d
🔒Hardware Security
Multi-stage robust optimization of reliability improvement for power transmission cyber-physical systems under sequential coordinated attacks: an extreme attack...
sciencedirect.com·18h
🛡️AI Safety
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·14h·
Discuss: Hacker News
🔒Hardware Security
Quantum-Based Resilient Routing in Networks: Minimizing Latency Under Dual-Link Failures
arxiv.org·2d
🧮Homomorphic Encryption
CP Systems Explained: The Hidden Cost of Strong Consistency
blog.ahmazin.dev·3d·
Discuss: Hacker News
🧮Homomorphic Encryption
gRPC Observability: A Guide To Distributed Debugging and Monitoring - Abhishek Agrawal, Madhav Bissa
youtube.com·2d
📜Smart Contracts
From Cloud-First to Cloud-Smart: The New Rules of AWS Migration
cygnet.one·4h·
Discuss: DEV
📜Smart Contracts
Boundary Engineering
cabreza.substack.com·13h·
Discuss: Substack
🛡️AI Safety
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🔧MLIR
RFC 9518 - Centralization, Decentralization, and Internet Standards
datatracker.ietf.org·3d
🧮Homomorphic Encryption
Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com·15h
🛡️AI Safety
Overview
datomic.com·22h
🏥Medical Privacy
Telling the Story of Chameleon Hash Functions: A 27-Year Review
eprint.iacr.org·2d
🔐Zero-Knowledge Proofs
FOSDEM 2026
hack.org·9h
⚙️Programming

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