Michael Ayoub
@michaelayoub.bsky.social
senior dev and señor mentat | exaggerate, dream and imaginate | relearning math | likes streaming data | ☕ & 🍵
Reposted by Michael Ayoub
My colleagues Will Schultz and Siyuan Zhou wrote about a Raft enhancement they prototyped in TLA+, it's now how MongoDB actually adds and removes servers: www.mongodb.com/blog/post/te...
Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ | MongoDB Blog
Learn how MongoDB designed a safe, logless reconfiguration protocol using TLA+ to accelerate development and ensure correctness.
www.mongodb.com
July 2, 2025 at 3:43 PM
My colleagues Will Schultz and Siyuan Zhou wrote about a Raft enhancement they prototyped in TLA+, it's now how MongoDB actually adds and removes servers: www.mongodb.com/blog/post/te...
I miss my first dog, his name was `head -c 7 /dev/urandom | base64`. We called him 'vj/kIoZJkQ==' for short.
November 19, 2024 at 7:31 PM
I miss my first dog, his name was `head -c 7 /dev/urandom | base64`. We called him 'vj/kIoZJkQ==' for short.