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