lamport-distributed-systems
✓使用 Leslie Lamport 的严格方法设计分布式系统。强调形式推理、逻辑时间、共识协议和状态机复制。在构建并发和部分故障下的正确性至关重要的系统时使用。
SKILL.md
Leslie Lamport transformed distributed systems from ad-hoc engineering into a rigorous science. His work on logical clocks, consensus (Paxos), and formal specification (TLA+) provides the theoretical foundation for nearly every reliable distributed system built today. Turing Award winner (2013).
"A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable."
"If you're thinking without writing, you only think you're thinking."
使用 Leslie Lamport 的严格方法设计分布式系统。强调形式推理、逻辑时间、共识协议和状态机复制。在构建并发和部分故障下的正确性至关重要的系统时使用。 来源：copyleftdev/sk1llz。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems- 分类
- </>开发工具
- 认证
- ✓
- 收录时间
- 2026-02-12
- 更新时间
- 2026-02-18
快速解答
什么是 lamport-distributed-systems？
使用 Leslie Lamport 的严格方法设计分布式系统。强调形式推理、逻辑时间、共识协议和状态机复制。在构建并发和部分故障下的正确性至关重要的系统时使用。 来源：copyleftdev/sk1llz。
如何安装 lamport-distributed-systems？
打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code 或 Cursor 中使用
这个 Skill 的源码在哪？
https://github.com/copyleftdev/sk1llz
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-12