🤝 Consensus Protocols - matmat · Scour

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts

github.com·3h·

Discuss: Hacker News

🤝Distributed Consensus

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·1d

🌐Protocol Synthesis

Multi-Paxos – Consensus in Distributed Databases

arpitbhayani.me·5d·

Discuss: Hacker News

🤝Paxos Consensus

HEAL: Online Incremental Recovery for Leaderless Distributed Systems Across Persistency Models

arxiv.org·2d

🛡️Byzantine Fault Tolerance

CodeSOD: Consistently Transactional

thedailywtf.com·8h

📏Code Metrics

Stop talking to AI, let them talk to each other: The A2A protocol

thenextweb.com·3h

🔌Interface Evolution

Building Raft Consensus Algorithm in Go: Complete Implementation Guide for Distributed Systems

dev.to·6d·

Discuss: DEV

🤝Consensus Networks

Kubernetes Network Observability: Comparing Calico, Cilium, Retina, and Netobserv

tigera.io·17h

📊Homelab Monitoring

Functional Optics for Modern Java

blog.scottlogic.com·15h

💧Liquid Types

The Guide to OpenBao - Introduction

blog.stderr.at·1d

📦CBOR Extensions

Object permanence

doctorow.medium.com·6h

📐Archive Calculus

EloqDoc vs MongoDB - Part 1: Architecture and Design Overview

devtoolsacademy.com·4h·

Discuss: Hacker News

🌐Edge Preservation

Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples

blog.lambdaclass.com·2d

🔗Hash Chains

Reliable Deployments for Large Kubernetes Fleet

fastly.com·2d

👁️Observatory Systems

Nobody Gets There Alone: We Need A Community Roadmap for Agentic Engineering

hackernoon.com·1d

🔌Interface Evolution

The UNIX time-sharing system

dl.acm.org·23h

🧙‍♂️Unix Operating Systems

Debian Contributions: cross building, rebootstrap updates, Refresh of the patch tagging guidelines and more! (by Anupa Ann Joseph)

freexian.com·15h

❄️Nix Flakes

Proving What's Possible

buttondown.com·20h

⚖️Hoare Logic

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·5d

🤝Consensus Networks

Safe Yolo Mode: Running LLM Agents in VMs with Libvirt and Virsh

metachris.dev·2d

⚙️WASM Runtime

Loading more...