๐Ÿ”€ CRDT

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

Holden Karau
usesthis.comยท1d
๐Ÿ Homelab Archaeology
The Case for Native Iceberg Catalog APIs and Unified Governance in Object Storage
blog.min.ioยท3d
๐Ÿท๏ธMetadata Standards
The Whole Code Catalog
futureofcoding.orgยท11hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
What is OpenTelemetry? [not in a nutshell] :)
signoz.ioยท8hยท
Discuss: Hacker News, r/programming
๐Ÿ‘๏ธSystem Observability
Using LLMs in CI/CD for semantic testing of web content
plo.ugยท10hยท
Discuss: Hacker News
โšกProof Automation
Show HN: Blockdiff โ€“ How we built our own file format for VM disk snapshots
cognition.aiยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ’ฟZFS Internals
simplex-chat/simplexmq
github.comยท1d
๐Ÿ”ŒInterface Evolution
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lolยท18hยท
Discuss: Hacker News
โš™๏ธTLA+
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols๏ผˆ1750830996145900๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetwork Protocols
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.ioยท14hยท
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
๐Ÿ’ปProgramming languages
Everyone Is Wrong, But Me
dev.toยท3hยท
Discuss: DEV
โš”๏ธLean Theorem
Show HN: MCP Server for Tally โ€“ Create and Manage Forms with Claude
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”CBOR
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท1dยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Lightweight E-Ticketing System for Events Using React, FastAPI & Paystack
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Local Elasticsearch Playground: A Practical Introduction and hands-on test (and moving to a RAG solution)
dev.toยท2dยท
Discuss: DEV
๐ŸบZIP Archaeology
Automating the Boring Stuff โ€” Beyond Cron Jobs with Python ๐Ÿ
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠStream Processing
Why Every Developer Needs a Reliable JSON Formatter & Validator in Their Toolkit
dev.toยท12hยท
Discuss: DEV
โœ…Format Verification
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท21h
๐Ÿ“Linear Logic
Treasure Case Sharing of HarmonyOS 5 Development โ€” Practical Tips for Application Architecture
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Kafka Fundamentals: kafka retention.ms
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems