🔀 CRDTs

Conflict-Free Replicated Types, Eventual Consistency, Distributed Data

Convergence vs. Consensus in Distributed Systems
gowthamk.github.io·1d·
Discuss: Hacker News
🔄CRDT
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
Enable Modern Data Flows with CDC Streaming
pub.towardsai.net·15h
💾Cache Design
Flag this post
Building Conflux - My Own Real-time Collaboration Engine in Rust
dev.to·2d·
Discuss: DEV
🔄CRDT
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
composio.dev·9h·
Discuss: r/ClaudeAI
📦Folly
Flag this post
Event Design for Streaming Systems: A Primer
iankduncan.com·18h·
Discuss: Hacker News
🥑Avro
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·3h·
Discuss: Hacker News
🕐Vector Clocks
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.uk·10h·
Discuss: r/programming
🎨API Design
Flag this post
Transaction-Oriented Programming
btmc.substack.com·16h·
Discuss: Substack
🧠Memory Models
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.com·23h·
Discuss: Hacker News
📚Technical Writing
Flag this post
A tiny proxy in Rust for using alternative LLM providers with Anthropic-compatible tools (like Claude Code or Claude Agent SDK successors)
github.com·10h·
Discuss: r/rust
🍱Nom
Flag this post
Upgrading Postgres Major, and Django Model with Logical Replication
tr3s.ma·11h·
Discuss: Hacker News
🔀Vitess
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·14h
🎨API Design
Flag this post
Final Project Report 1: Schema Evolution Support on Apache SeaTunnel Flink Engine
dev.to·2d·
Discuss: DEV
🥑Avro
Flag this post
GitOps in the Wild: Scaling Continuous Delivery in Hybrid Cloud Environments
devops.com·1d
🚀Shuttle
Flag this post
Profiling Go Programs using Pprof and k6
pears.one·8h·
Discuss: r/golang
📊Perf
Flag this post
Availability - Geodes
dev.to·2d·
Discuss: DEV
🔺CAP Theorem
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
Rust Concurrency for Go Developers: Achieving Full Compile-Time Safety
dev.to·2d·
Discuss: DEV
🔀Crossbeam
Flag this post
What is difference between has_broken and is_valid in bb8 library. They look complimentary to me. Help.
docs.rs·16h·
Discuss: r/rust
📦Serde
Flag this post