🔺 CAP Theorem

Distributed Systems, Consistency, Availability, Partition Tolerance

The curious case of broken theorems
davidbessis.substack.com·6h·
Discuss: Substack
∘Category Theory
Flag this post
Bcachefs Rolls Out Metadata Version Reconcile "rebalance_v2" Feature
phoronix.com·1d
💿SPDK
Flag this post
Maintaining the Fastest CDN at Netflix on FreeBSD
freebsdfoundation.org·6h·
Discuss: Hacker News
🚀Shuttle
Flag this post
Management Lessons Learned from Playing Factorio
weitz.blog·10h·
Discuss: Hacker News
🦀Rayon
Flag this post
I can't recommend Grafana anymore
henrikgerdes.me·2h·
Discuss: Hacker News
🚀Shuttle
Flag this post
The Law of Leaky Abstractions
joelonsoftware.com·3d·
Discuss: Hacker News
📏Linear Types
Flag this post
Digest #188: Kubernetes Retires ingress-nginx, Netflix Scales Logging to Petabytes, and What Anthropic Really Spends on AWS
devopsbulletin.com·14h
🔧DevOps
Flag this post
Securing Runtime of L2 Base Ethereum Nodes
substack.bomfather.dev·13h·
Discuss: Hacker News
🔒Tetragon
Flag this post
Unix Hater's Handbook Stinks
boxbase.org·1h·
Discuss: Hacker News
🐧Linux
Flag this post
AI Failure Examples That Showed Us How to Build an AI Agent
netguru.com·1d·
Discuss: Hacker News
🦙Ollama
Flag this post
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
arxiv.org·1d
✅Model Checking
Flag this post
Async and Finaliser Deadlocks
tratt.net·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Concurrency Patterns
Flag this post
Kimi K2 Thinking vs. Claude 4.5 Sonnet vs. GPT-5 Codex: Tested the best models for agentic coding
dev.to·16h·
Discuss: DEV
🕵️Jaeger
Flag this post
Show HN: ByteSync – Open-source hybrid file sync (LAN and remote, E2EE)
news.ycombinator.com·16h·
Discuss: Hacker News
🔍eBPF
Flag this post
Go’s Sweet 16
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang
🔵Go
Flag this post
Powering the largest events: How Amazon CloudFront delivers at scale
aws.amazon.com·8h·
Discuss: Hacker News
🌍Edge Computing
Flag this post
Loosely, yet Tightly Coupled
hacklewayne.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Adaptability as the Core of Software Design
dev.to·23h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Fortify Your Federated Learning: Collaborative Teaching Against Data Corruption by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🛡️AI Security
Flag this post
MindsEye x Google AI Stack, Part 2 — 200 Users, Ledgers as “Soft Blockchain”, and the OS Vision
dev.to·6h·
Discuss: DEV
📦Folly
Flag this post