lamport-distributed-systems
✓Concevez des systèmes distribués en utilisant l'approche rigoureuse de Leslie Lamport. Met l'accent sur le raisonnement formel, le temps logique, les protocoles de consensus et la réplication de la machine à états. À utiliser lors de la construction de systèmes où l'exactitude en cas de concurrence et de défaillance partielle est essentielle.
Installation
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."
Concevez des systèmes distribués en utilisant l'approche rigoureuse de Leslie Lamport. Met l'accent sur le raisonnement formel, le temps logique, les protocoles de consensus et la réplication de la machine à états. À utiliser lors de la construction de systèmes où l'exactitude en cas de concurrence et de défaillance partielle est essentielle. Source : copyleftdev/sk1llz.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems- Source
- copyleftdev/sk1llz
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-12
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que lamport-distributed-systems ?
Concevez des systèmes distribués en utilisant l'approche rigoureuse de Leslie Lamport. Met l'accent sur le raisonnement formel, le temps logique, les protocoles de consensus et la réplication de la machine à états. À utiliser lors de la construction de systèmes où l'exactitude en cas de concurrence et de défaillance partielle est essentielle. Source : copyleftdev/sk1llz.
Comment installer lamport-distributed-systems ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/copyleftdev/sk1llz
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-12