🤝 Consensus Protocols - rektide · Scour

From Mnesia to Khepri, Part 1: Khepri Overview and Motivation 🤝Paxos Consensus

cloudamqp.com·5d

Testing distributed resilient applications powered by Hazelcast 🔄Eventual Consistency

hazelcast.com·1d

Benchmarking AI coding agents for distributed SQL: 350 runs, 17 models ⚙️Adaptive Execution

yugabyte.com·16h·Hacker News

How rqlite is tested 📝Database WAL

philipotoole.com·5d

Probabilistic imperative process algebra 🔄Eventual Consistency

The End of the Glorified Babysitter 🤖AI Agents

blog.herlein.com·5d

How rqlite is tested 📝Database WAL

news.ycombinator.com·5d·Hacker News

Less-relevant results

RANDAO Breaks at L*: A Post-Quantum VRF for Ethereum 🤝Paxos Consensus

ethresear.ch·22h

Show HN: Noxu DB, a Rust Port of Berkeley DB Java Edition 📝Database WAL

codeberg.org·1d·Lobsters, Hacker News

On the Communication Complexity of Sleepy Consensus 🤝Paxos Consensus

eprint.iacr.org·5d

Two jobs, two processes: why Multigres has its own connection pooler 🔐Database Concurrency

multigres.com·19h·Hacker News

Election Officials Are Getting Ready for ICE to Show Up at the Polls 👑Leader Election

Release Druid 37.0.0 🔐MVCC

github.com·1d·Hacker News

OpenData Vector: MIT-Licensed Vector Search on Object Storage 🗂️Vector Indexes

opendata.dev·6d·Hacker News, r/programming

PoS Consensus Cheatsheet 🤝Paxos Consensus

fadeevab.com·5d

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 🤝Paxos Consensus

Avoiding overload in distributed systems by putting the smaller service in control 🔄Eventual Consistency

aws.amazon.com·3d

Russian APT Turla builds long-term access tool with Kazuar Botnet evolution 🌐Noosphere

securityaffairs.com·4d

Verifying Consensus Protocols from LLM-assisted TLA$^+$: A Case Study of Byzantine Reliable Broadcast 🤝Paxos Consensus

eprint.iacr.org·3d

Early-Stabilizing Counting 🔓Lock-Free Structures

Log in to enable infinite scrolling