📋 Protocol Design - hello · Scour

DCP-o-matic • Re: CPL as compositions and multiple CPLs

dcpomatic.com·2d

🔄Concurrency Models

forecourt networking

computer.rip·2d

🔭Cilium Hubble

Bitcoin PIPEs v2

eprint.iacr.org·4d

yamlscript.org·2d

🔮Folly Futures

hack.org·3d

The Unwritten Rules of Slack Etiquette for Devs

nohello.net·1d·

Discuss: DEV

📬Message Queues

How Meta turned the Linux Kernel into a planet-scale Load Balancer. Part I

softwarefrontier.substack.com·2d·

Discuss: Substack

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)

arxiv.org·20h

🧮SMT Solvers

UDP vs. TCP in Multiplayer Gaming: State Synchronization and Lag Compensation

systemdr.substack.com·4d·

Discuss: r/programming

📡QUIC Loss Detection

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·2d·

Discuss: Hacker News

A Quick Look at QUIC

potaroo.net·6d·

Discuss: Hacker News

⚡QUIC Protocol

Technical writeup: Implementing Discord’s rate limiting, gateway management, and “clarity over magic”

scurry-works.github.io·1d·

Discuss: r/programming

SixPath: Network visualization and management app

github.com·3d·

Discuss: r/selfhosted

Railway Oriented Programming

fsharpforfunandprofit.com·3d·

Discuss: Hacker News

λFunctional Programming

oddlama/nix-topology: 🍁 Generate infrastructure and network diagrams directly from your NixOS configurations

github.com·23h

Reduce Mean Time to Resolution with an observability agent

aws.amazon.com·4d

Throttling as a Coordination Constraint

dev.to·2d·

Discuss: DEV

Modern IoT: Controlling Devices via LINE Bot, MQTT, and Serverless (2026 Edition)

dev.to·3d·

Discuss: DEV

Software Engineering with AI: Beyond Vibe-Coding

principalengineer.com·1d

🎭Program Synthesis

Nobody knows how the whole system works

surfingcomplexity.blog·1d·

Discuss: Lobsters, Hacker News, r/programming

💬Prompt Engineering

Loading more...