P Verified https://lobste.rs/s/m7oa87 #distributed #formalmethods
https://b-hilprecht.github.io/2025/07/10/p-verified-log-1-the-need-for-verification.html

Trust Deterministic Execution to Scale & Simplify Your Systems https://lobste.rs/s/kykhhj #video #distributed
https://www.youtube.com/watch?v=siEtKc6Sq2Y

cppq: Simple, reliable & efficient distributed task queues for C++17 https://lobste.rs/s/ddklvz #show #c++ #distributed
https://github.com/h2337/cppq

The Future is #Distributed #Durable #Repairable #Sustainable #Communal #CircularEconomy #SlowDown #NoGrowth #LibraryEconomy

We need #RightToTinker #RightToAmend #RightToDIY #Reuse #Repurpose #ReInvent #RightToSalvage #RightToRepair #RightToRepurpose #RightToShare #RightToOwn

How to Test the Reliability of Durable Execution https://lobste.rs/s/nf1nzf #distributed #testing
https://www.dbos.dev/blog/how-to-test-durable-execution

Pre-disclosure: Upcoming coordinated security fix for all Matrix server implementations https://lobste.rs/s/a5mmlt #distributed #security
https://matrix.org/blog/2025/07/security-predisclosure/

« Cloudflare 1.1.1.1 Incident on July 14, 2025 »

Perhaps it’s time to return to DNS’s original distributed design.

#dns #distributed #cloudflare

https://blog.cloudflare.com/cloudflare-1-1-1-1-incident-on-july-14-2025/

A distributed systems reliability glossary https://lobste.rs/s/c4yg4y #distributed #testing
https://antithesis.com/resources/reliability_glossary/

aeron: Efficient reliable UDP unicast, UDP multicast, and IPC message transport https://lobste.rs/s/9wf7sc #distributed
https://github.com/aeron-io/aeron

Multi-player Durable Stream Playground https://lobste.rs/s/uohkhq #databases #distributed
https://s2.dev/playground

Monitoring my Homelab, Simply https://lobste.rs/s/hngren #distributed #go #networking
https://b.tuxes.uk/simple-homelab-monitoring.html

Get the location of the ISS using DNS https://lobste.rs/s/2tx1mx #distributed
https://shkspr.mobi/blog/2025/07/get-the-location-of-the-iss-using-dns/

(Quite) A Few Words About Async https://lobste.rs/s/fvorwd #distributed #programming
https://yoric.github.io/post/quite-a-few-words-about-async/

On Far Memory https://lobste.rs/s/zxqpi1 #distributed
https://malloc.dog/blog/2025/07/08/on-far-memory/

Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More https://lobste.rs/s/mf2zg3 #distributed #linux
https://www.siderolabs.com/blog/which-kubernetes-is-the-smallest/

Deterministic Simulation Testing in Rust: A Theater Of State Machines https://lobste.rs/s/rvmew5 #databases #distributed #rust #testing
https://www.polarsignals.com/blog/posts/2025/07/08/dst-rust

Jepsen & TigerBeetle https://lobste.rs/s/q7xynz #databases #distributed
https://open.substack.com/pub/dtornow/p/jepsen-and-tigerbeetle?showWelcomeOnShare=false

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ https://lobste.rs/s/teixnn #distributed #formalmethods
https://www.mongodb.com/blog/post/technical/rapid-prototyping-safe-logless-reconfiguration-protocol-mongodb-tla-plus

Stream per agent session https://lobste.rs/s/rfllxj #ai #databases #distributed
https://s2.dev/blog/agent-sessions

Tail Latency Might Matter More Than You Think https://lobste.rs/s/tizpzz #distributed #performance
https://brooker.co.za/blog/2021/04/19/latency.html