Conflict-free Replicated Data Types, Distributed Systems, Eventual Consistency, Collaborative Editing

Feeds to Scour
SubscribedAll
Scoured 9563 posts in 594.1 ms
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท8hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
Live data with load balancing/hot stand-by/HA. How-To?
reddit.comยท13hยท
Discuss: r/homelab
๐Ÿ’ฟProxmox HA
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.comยท2hยท
๐Ÿฆ€Rusty Databases
Preview
Report Post
Building the World's First Cryptographic Audit Trail for MetaTrader: A Deep Technical Dive
dev.toยท17hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
Preview
Report Post
Transaction Management: Making ACID Real
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Database WAL
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.acยท3d
๐ŸคPaxos Consensus
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท1d
๐Ÿ’งLiquidhaskell
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.ioยท6h
๐Ÿ‘๏ธObservatory Systems
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ“Linear Logic
Preview
Report Post
This Year in Rails
rubyonrails.orgยท8hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.comยท1hยท
Discuss: Hacker News
๐Ÿ’ฟZFS Archaeology
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.comยท10hยท
Discuss: Hacker News
๐Ÿ‘‘RISC-V Privilege
Preview
Report Post
Postgres for everything, does it work?
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท12h
โœ…Formal Methods
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐Ÿ›๏ธAgda
Preview
Report Post
parevo/mergen: A native, lightweight SQL client built with Go & Wails. Say goodbye to Electron bloat. ๐Ÿš€
github.comยท1dยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Preview
Report Post
Inferal Workspace Architecture: How We Work at Inferal
gist.github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆGit LFS
Preview
Report Post
Meeting Seed7
genodians.orgยท1d
๐Ÿฆ€Rust Macros
Preview
Report Post
Pandas vs Polars: Why the 2025 Evolution Changes Everything
dev.toยท9hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Preview
Report Post