🔀 CRDT

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

🛠️ Xen Summit 2025: Find Your Place in the Future of Virtualization
xenproject.org·9h
🖥️Self-hosted Infrastructure
Issue 478
haskellweekly.news·1d
🔗Functional Compilers
Recommended email providers • Cory Dransfeldt
coryd.dev·1d
🏠Personal Archives
Internationalization-check: Validating your Next.js internationalization
lingual.dev·1d·
Discuss: Hacker News
✅Format Verification
Show HN: Shouldiuse.dev – software dependency health checker
shouldiuse.dev·3h·
Discuss: Hacker News
🔓Open Source Software
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·2d·
Discuss: Hacker News
📋DFDL
Pure Storage: New systems, new software and new markets
heise.de·1d
💿WORM Storage
Ticket-Driven Development: The Fastest Way to Go Nowhere
thecynical.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📏Code Metrics
Simplicity, Agility, and Agency
articles.pragdave.me·1d·
Discuss: Hacker News
⬜Minimalism
Large Language Models
blog.jsbarretto.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Data Types, Data Structures, and Abstract Data Types – What’s the Difference
dev.to·19h·
Discuss: DEV
🧮Algebraic Datatypes
Estimating Technical Loss without Power Flows: A Practical, Data-Driven Approach for Loss Estimation in Distribution Grids
arxiv.org·19h
👁️System Observability
"Who Should I Believe?": User Interpretation and Decision-Making When a Family Healthcare Robot Contradicts Human Memory
arxiv.org·19h
🎯Threat Hunting
DiaLLMs: EHR Enhanced Clinical Conversational System for Clinical Test Recommendation and Diagnosis Prediction
arxiv.org·1d
🎵Audio ML
The Rise Of AI Beings: CARV’s New Roadmap Signals Next Wave Of Web3 AI
hackernoon.com·6h
🔌Interface Evolution
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·3d
🎯Performance Proofs
Coccinelle for Rust progress report (Collabora blog)
lwn.net·1d
🦀Rust Borrowing
How I built a Chrome Extension with AI to understand any web page
dev.to·10h·
Discuss: DEV
🌀Brotli Internals
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
This Is How I Mastered TypeScript Like I'm 5 (And How You Can, Too!)(5)
dev.to·7h·
Discuss: DEV
🎯Gradual Typing