🔀 CRDT

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

WGDashboard 4.3 WireGuard UI Adds Client-Side Dashboard
linuxiac.com·22m
🔌Interface Evolution
CVE-2025-61882: Frequently Asked Questions About Oracle E-Business Suite (EBS) Zero-Day and Associated Vulnerabilities
tenable.com·6h
🔓Hacking
Joy & Curiosity #56
registerspill.thorstenball.com·1d
⚙️Proof Engineering
One is not the loneliest number for API calls
stackoverflow.blog·3d
🔌Interface Evolution
Bitcoin mining collapse predicted by universal formula with Oct 2025 data
bitcoin-zero-down-2ea152.gitlab.io·15h·
Discuss: Hacker News
🤝Distributed Consensus
Postgres as queue
leontrolski.github.io·5d·
Discuss: Lobsters
🌊Streaming Databases
Infinite Git Repos on Cloudflare Workers
gitlip.com·3d·
Discuss: Hacker News
📦Git LFS
LLM Code Review vs. Deterministic SAST Security Tools
blog.fraim.dev·3d·
Discuss: Hacker News
⚡Proof Automation
Stepping Down from the Nix Team
discourse.nixos.org·2d·
Discuss: Hacker News
🐧FOSS
PC cooler control with a $2 microcontroller, no development board
popovicu.com·1d·
Discuss: Hacker News
🎮Gameboy Emulation
Canada's 14M Buildings
tech.marksblogg.com·2d·
Discuss: Hacker News
📊Format Entropy
Fail Fast or Just Fail?
brajeshwar.com·9h·
Discuss: Hacker News
💾Persistence Strategies
Smarter Valves: Automating Compliance with AI-Powered Specifications
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Why Bloomberg Chose Vendor-Neutral Java Over Big Tech
thenewstack.io·3d
🔓Open Source Software
Show HN: Serve LLM – Spin up a hallucinated web app from a single prompt
github.com·1d·
Discuss: Hacker News
📟CLI Design
Warming UK homes, 500 Raspberry Pis at a time
taoofmac.com·1h
🏠Homelab Federation
Question: Need help on concurrency with Custom Resources on K8s which Map to Azure/AWS Cloud resources.
reddit.com·14h·
Discuss: r/kubernetes
🌊Streaming Systems
My 2025 Summer Retrospective: A Guide to AI-Powered, Cloud-Native Java with Quarkus
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
A Unified Deep Reinforcement Learning Approach for Close Enough Traveling Salesman Problem
arxiv.org·5h
🔲Cellular Automata