🔀 CRDTs

Conflict-Free Replicated Types, Eventual Consistency, Distributed Data

Feeds to Scour
SubscribedAll
Scoured 76502 posts in 613.6 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+
Redis/Valkey Replication Internals: The Architecture Behind Zero-Copy Command Propagation
frostzt.com·2d·
Discuss: Hacker News, r/programming
⛓️Chain Replication
ERA: Epoch-Resolved Arbitration for Duelling Admins in Group Management CRDTs
arxiv.org·5d
🔄CRDT
Data-Oriented Programming for Java: Beyond Records
openjdk.org·1d
🏗️FoundationDB Layers
Building a scalable code modernization solution with AWS Transform custom
aws.amazon.com·10h
🚀Shuttle
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·2d
🔄Concurrency
Multi-Paxos – Consensus in Distributed Databases
arpitbhayani.me·12h·
Discuss: Hacker News
🤝Paxos
The Kubernetes Effect
yamlscript.org·4h
📦Serde
The ‘Super Bowl’ standard: Architecting distributed systems for massive concurrency
infoworld.com·1d
📡Event-Driven Architecture
MariaDB vs. PostgreSQL: Choosing the Right Open Source Database
enterprisedb.com·10h
🗄️Databases
Next Generation DB Ingestion at Pinterest
medium.com·1d
💎Cassandra
The Zen of the Bronze Layer: Embracing Schema Chaos
dev.to·1d·
Discuss: DEV
🔥DataFusion
stdlib v7.2
erlang.org·20h·
Discuss: Hacker News
🛷Sled
ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.
github.com·22h·
Discuss: r/AskProgramming
🔀Crossbeam
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🔄Concurrency Models
Handling the Dual-Write Problem in Distributed Systems
auth0.com·1d·
Discuss: Hacker News
📝Write-Ahead Logging
How One System Feeds Everything I Do: From Scattered Chaos to Unified Creation
dsebastien.net·22h
🎨Design Systems
mstrYoda/goraphdb: A graph database implemented in Golang
github.com·14h·
Discuss: r/programming
🎴TAO
Introducing uFowarder: The Consumer Proxy for Kafka Async Queuing
uber.com·1d
📬Message Queues
The Singleton Design Pattern: A Complete Guide for Developers
dev.to·22h·
Discuss: DEV
🔄Concurrency Patterns

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