🔺 CAP Theorem

Distributed Systems, Consistency, Availability, Partition Tolerance

Availability - Geodes
dev.to·3h·
Discuss: DEV
🔄Distributed Systems
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·4h
✓Formal Verification
Flag this post
The Transformer and the Hash
lesswrong.com·13h
🌳Merkle Trees
Flag this post
When Reverse Proxies Surprise You: Hard Lessons from Operating at Scale
infoq.com·19h·
Discuss: Hacker News
☁️Cloudflare Workers
Flag this post
Paxos/Raft Demystified: So Simple a Child Can Understand
dev.to·21h·
Discuss: DEV
🤝Paxos
Flag this post
Scalability Patterns for Modern Distributed Systems
blog.bytebytego.com·17h
🏗️System Design
Flag this post
A Practical Guide to Transitioning to Memory-Safe Languages
queue.acm.org·1d·
Discuss: Lobsters, Hacker News
🛡️Memory Safety
Flag this post
Best way to bifurcate ROMED8-2T PCIe slots
reddit.com·16h·
Discuss: r/LocalLLaMA
🔐Hardware Security
Flag this post
Architecting for Multitenancy
gouthamve.dev·10h·
Discuss: Hacker News
⚡ClickHouse
Flag this post
The Trustless Manifesto
trustlessness.eth.limo·17h·
Discuss: Hacker News
🤝Paxos
Flag this post
Facility Location for Congesting Commuters and Generalizing the Cost-Distance Problem
arxiv.org·4h
📐Computational Geometry
Flag this post
Infinite scale: The architecture behind the Azure AI superfactory
blogs.microsoft.com·1d·
Discuss: Hacker News, Hacker News
🏗️System Design
Flag this post
Building a Distributed Database in Elixir (Part 1: Motivation and Challenges)
medium.com·3d·
Discuss: Hacker News
🔄Distributed Systems
Flag this post
How to Design a Scalable Architecture for Cloud Applications
acecloud.ai·2d·
Discuss: DEV
🏗️System Design
Flag this post
syscall write man function signature
man7.org·15h·
Discuss: r/C_Programming
🔄io_uring
Flag this post
Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%
lore.kernel.org·3d·
Discuss: Hacker News
🔒Futex
Flag this post
Achieving Atomicity and Isolation in Concurrent Rust: Channels vs. Mutexes
dev.to·5h·
Discuss: DEV
🔒Futex
Flag this post
Security Architects Need to be Wrong on the Internet
securitydatacommons.substack.com·13h·
Discuss: Substack
🛡️AI Security
Flag this post
Rippling's Gunicorn pre-fork journey – Rippling
rippling.com·15h·
Discuss: Hacker News
🎆Firecracker
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·3d
🔓Lock-Free Programming
Flag this post