🌐 Distributed Systems - nmarshall · Scour

Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you from it) ⚙️Concurrency Models

kirancodes.me·2d·Lobsters, Hacker News

Towards Autonomous Protocol Proofs ∀Lean4

will62794.github.io·6d·Hacker News

Optimizing our inference back end with custom load balancing 🧩Nomad

photoroom.com·17h·Hacker News

Bringing databases and Kubernetes together ☸️Kubernetes

infoworld.com·55m

Formal Modeling and Analysis of Distributed Systems from AWS 📐TLA+

p-org.github.io·2d·Hacker News

LeaseGuard: Raft Leases Done Right! 🧩Nomad

emptysqua.re·20h·Hacker News

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti ⚡Tokio

github.com·5h·Hacker News

How do mathematicians reach consensus? 🛡️Byzantine Consensus

suhas.org·5d

MoE Routing Testbed: Studying Expert Specialization and Routing Behavior at Small Scale 🏗️AI Infrastructure

arxiv.org·5h

Untangling Tokio and Rayon in production: From 2s latency spikes to 94ms flat ⚡Tokio

posthog.com·1d·Lobsters

Turn-Based Collaboration: AI Agents with Multiple Personalities 🤖AI agents

alnewkirk.com·3d·Lobsters, r/ClaudeAI

anurag-as/Caravault: Offline-first file sync across multiple drives using version vectors, Merkle diffing, and majority quorum consensus. 🔄CRDT

github.com·2h·Hacker News

Domain-Driven Design: Lean Aggregates ⚙️Alloy

deniskyashif.com·4d·Hacker News, r/programming

Show HN: Open-source distributed quantum compute network ⚖️Consensus Networks

quip.network·6d·Hacker News

Killing Slack was the only way to make AI accurate 🤖AI Coding Tools

promptql.io·6d·Hacker News

9261834245z-ui/UltraCore-Protocol: Next-generation scalable staking infrastructure and distributed validator protocol. ⛓️Blockchain

github.com·2d·Hacker News

Multi-agent is the new microservices 🤖AI agents

infoworld.com·3d

HACache: Leveraging Read Performance with Cache in a Heterogeneous Array 🔁Cache Coherence

arxiv.org·6d

CorellisOrg/Corellis: Scale OpenClaw from one AI assistant to a coordinated fleet — shared knowledge, collective memory, distributed goals. ☁️Serverless Rust

github.com·6d·Hacker News

Show HN: Libgoc – Go-like CSP-style HTTP client/server library for C 🌐Rust Networking

github.com·5d·Hacker News

Loading more...