πŸ”„ CRDT

Conflict-free Replicated Data Types, Offline-first, Synchronization, Distributed Collaboration

Exploring the Dominion of Anoma
research.anoma.netΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ”Decentralized Identity
Show HN: Alertee.io – Catch data issues early with SQL-based checks
alertee.ioΒ·2dΒ·
Discuss: Hacker News
πŸ“ŠClickHouse
It's time for you to contribute to the Climate Commons
climatedrift.substack.comΒ·19hΒ·
Discuss: Substack
πŸ•ΈοΈMesh Networks
An epiphany about bloated web pages might be the result of a dumb network (2023)
boston.conman.orgΒ·2dΒ·
Discuss: Hacker News
🌐Distributed systems
What a difference 2 years makes: MariaDB buys back SkySQL
theregister.comΒ·1dΒ·
Discuss: Hacker News
πŸ“ŠClickHouse
Go Struct Alignment: a Practical Guide
medium.comΒ·1dΒ·
Discuss: r/golang
Ξ»Functional Programming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.comΒ·5dΒ·
Discuss: Lobsters, Hacker News
πŸ”Chip Verification
Just-in-Time UI
blog.paulmcdonald.funΒ·2dΒ·
Discuss: Hacker News
🧩Low-code
Data Science Weekly – Issue 614
datascienceweekly.substack.comΒ·19hΒ·
Discuss: Substack
πŸ—οΈAI Infrastructure
Thoughts on Vibe Coding from a 40-year veteran
levelup.gitconnected.comΒ·19h
✨vibe-coding
Verification Fails To Keep Up
semiengineering.comΒ·1d
πŸ”Chip Verification
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”Static Analysis
Escaping Your Java Habits in Python: Writing Clean, Pythonic Code
dev.toΒ·5hΒ·
Discuss: DEV
πŸ”Static Analysis
Adaptive Parameter Calibration for Swarm Robotics Navigation in Dynamic Environments
dev.toΒ·4hΒ·
Discuss: DEV
🀝Consensus Algorithms
Multi-Objective Optimization of ReRAM Crossbars for Robust DNN Inferencing under Stochastic Noise
arxiv.orgΒ·4h
🧠Neuromorphic Hardware
The Software Is Always Broken (And AI Is Just Broken Faster)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ€–AI agents
Meet the Redpanda Documentation MCP server
redpanda.comΒ·3d
πŸ”ŒOffline-first Apps
I Rebuilt the Ergast F1 Database with Live Data (and Here's What I Learned)
dev.toΒ·2dΒ·
Discuss: DEV
🌊Event Streaming
TF-TransUNet1D: Time-Frequency Guided Transformer U-Net for Robust ECG Denoising in Digital Twin
arxiv.orgΒ·4h
πŸ‘₯Digital Twins
AI-Driven DevOps: How AIOps is Transforming Observability, Incident Response, and Automation
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ŠInfrastructure Monitoring