Distributed Systems

Feeds to Scour
SubscribedAll
Scoured 111 posts in 6.7 ms

Diagrid sharpens verifiable execution for agents in Dapr

 Formal Verification  Content type: Blog
techzine.eu·

New comment by monishes in "Ask HN: Who wants to be hired? (June 2026)"

 🔍Jepsen  Content type: Discussion

Kraken named to FXC Intelligence’s 2026 Cross-Border Payments 100

 📐Linearizability  Content type: Blog
blog.kraken.com·

Understanding and Detecting Scalability Faults in Large-Scale Distributed Systems

 💥Fault Injection  Content type: Academic
arxiv.org·

Introducing Verifiable Execution in Dapr 1.18

 Formal Verification  Content type: Blog
cncf.io·

For years, Apache Cassandra handed this work to your team — 6.0 takes it back

 📐Linearizability
thenewstack.io·

Valkey: Managing Connection Storms in Valkey at Scale

 💥Fault Injection  Content type: Blog
valkey.io·

Implementing Quantum-Resistant ML-KEM and ML-DSA in Java

 📐Linearizability
javacodegeeks.com·

Building Python applications with SQLAlchemy and Aurora DSQL

 🗄️FoundationDB  Content type: Blog
aws.amazon.com·

Last Call: Join Live the PostgreSQL Community at POSETTE: An Event for Postgres 2026 (T‑1 week)

 🔍Jepsen

Introduction to Collective Communications in AI Data Center Networking

 🤝Consensus Algorithms
networkphil.com·

Essential Cybersecurity Tools Every Developer Should Use in 2026

 🧪Antithesis

Bring-up and testing of systems with CXL Type 3 memory expanders

 🧪Antithesis
edn.com·

The Control Plane Is a Control System

 🌪️Chaos Engineering
byatt.io··Hacker News

Crypto Experts Tell PYMNTS Where Digital Assets Go Next

 🤝Consensus Algorithms
pymnts.com·

The J Programming Language (2014)

 🔍Jepsen  Content type: News
infoq.com
··Hacker News

New comment by sudoshred in "Ask HN: Who wants to be hired? (June 2026)"

 🔍Jepsen

MoE Routing for Faster, Cheaper AI Inference

 Formal Verification
digitalocean.com·

FokosDB: A strongly consistent bottomless storage database ontop of Cloudflare Durable Objects | Lambros Petrou

 📐Linearizability

🇳🇱 Go/Golang job: Senior Backend Engineer (Go) | Studio AI at Creative Fabrica (Amsterdam, Netherlands)

 🌪️Chaos Engineering
golangprojects.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help