lamport-distributed-systems
✓Entwerfen Sie verteilte Systeme mit dem rigorosen Ansatz von Leslie Lamport. Der Schwerpunkt liegt auf formalem Denken, logischer Zeit, Konsensprotokollen und der Replikation von Zustandsmaschinen. Wird beim Aufbau von Systemen verwendet, bei denen die Korrektheit bei Parallelität und teilweisem Ausfall von entscheidender Bedeutung ist.
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."
Entwerfen Sie verteilte Systeme mit dem rigorosen Ansatz von Leslie Lamport. Der Schwerpunkt liegt auf formalem Denken, logischer Zeit, Konsensprotokollen und der Replikation von Zustandsmaschinen. Wird beim Aufbau von Systemen verwendet, bei denen die Korrektheit bei Parallelität und teilweisem Ausfall von entscheidender Bedeutung ist. Quelle: copyleftdev/sk1llz.
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems- Quelle
- copyleftdev/sk1llz
- Kategorie
- </>Entwicklung
- Verifiziert
- ✓
- Erstes Auftreten
- 2026-02-12
- Aktualisiert
- 2026-02-18
Schnelle Antworten
Was ist lamport-distributed-systems?
Entwerfen Sie verteilte Systeme mit dem rigorosen Ansatz von Leslie Lamport. Der Schwerpunkt liegt auf formalem Denken, logischer Zeit, Konsensprotokollen und der Replikation von Zustandsmaschinen. Wird beim Aufbau von Systemen verwendet, bei denen die Korrektheit bei Parallelität und teilweisem Ausfall von entscheidender Bedeutung ist. Quelle: copyleftdev/sk1llz.
Wie installiere ich lamport-distributed-systems?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Wo ist das Quell-Repository?
https://github.com/copyleftdev/sk1llz
Details
- Kategorie
- </>Entwicklung
- Quelle
- skills.sh
- Erstes Auftreten
- 2026-02-12