Multigres Architecture Overview
multigres.com·20h·
Discuss: Hacker News
🗄️Database Sharding
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·15h
🤝Consensus Algorithms
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·13h
🗄️File Systems
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·4h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Blackout Comms Cluster – A pre-configured off-grid LoRa texting and GPS system with cryptographic security
cnx-software.com·11h
🕸️Mesh Networking
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·7h
✅Format Verification
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·5h·
Discuss: DEV
🔒WASM Capabilities
Microsoft Entrusts DocumentDB to Linux Foundation
linuxiac.com·9h
📦METS Containers
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
home server to host an ARK: Survival Ascended cluster, Minecraft server, and a NAS
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·4h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Allan Jude on fault tolerance
rubenerd.com·19h
💾Persistence Strategies
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·1h·
Discuss: Hacker News
🔌Interface Evolution
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·4h·
Discuss: Hacker News
🛡️Error Boundaries
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Cabinet: Dynamically Weighted Consensus Made Fast
muratbuffalo.blogspot.com·5d·
Discuss: www.blogger.com
🤝Paxos Consensus
Getting Started With Kubevirt
codeofconnor.com·17h
🏠HomeLab
Zero Trust Revisited
systemsapproach.org·1d
🕸️Mesh Networks
Decentralizing AIS: Trustless Maritime Tracking with SDR
rtl-sdr.com·15h
👁️Observatory Systems
Why Is Everyone Buying Change Data Capture?
estuary.dev·35m·
Discuss: Hacker News
🌊Stream Processing