🔀 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·20h
💾Cache Design
Flag this post
Building Conflux - My Own Real-time Collaboration Engine in Rust
dev.to·3d·
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·14h·
Discuss: r/ClaudeAI
📦Folly
Flag this post
Event Design for Streaming Systems: A Primer
iankduncan.com·22h·
Discuss: Hacker News
🥑Avro
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·8h·
Discuss: Hacker News
🕐Vector Clocks
Flag this post
Automated Container Orchestration Optimization via Dynamic Reinforcement Learning in Dynamic Microservice Environments
dev.to·4h·
Discuss: DEV
☸️Kubernetes
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.com·1d·
Discuss: Hacker News
📚Technical Writing
Flag this post
Transaction-Oriented Programming
btmc.substack.com·21h·
Discuss: Substack
🧠Memory Models
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·15h·
Discuss: r/rust
🍱Nom
Flag this post
Upgrading Postgres Major, and Django Model with Logical Replication
tr3s.ma·16h·
Discuss: Hacker News
🔀Vitess
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.uk·15h·
Discuss: r/programming
🎨API Design
Flag this post
Diagonalization: A (slightly) more rigorous model of paranoia
lesswrong.com·3h
🛡️AI Security
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·18h
🎨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
Profiling Go Programs using Pprof and k6
pears.one·12h·
Discuss: r/golang
📊Perf
Flag this post
Jordium.Snowflake.NET — A Fast and Lightweight Distributed ID Generator for .NET
dev.to·4h·
Discuss: DEV
➡️Apache Arrow
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