TLA+ 入门教程(6):Raft
与上一节讨论 Paxos 时一样,本文不介绍 Raft 协议基本知识,读者需已经了
Read article
Where ideas become things.I'm 唐师兄. I'm a developer, writer, and video creator sharing ideas on technology, creativity, and building a meaningful life.
I'm a programmer with a background in infrastructure and backend development. I also love finding the right words and turning an idea into a video.
This is where those worlds meet. I share what I'm learning, the things I'm making, and notes from the books that stay with me.
Read my storyWords, videos, and ideas worth sharing.