lamport-distributed-systems
✓Diseñe sistemas distribuidos utilizando el enfoque riguroso de Leslie Lamport. Enfatiza el razonamiento formal, el tiempo lógico, los protocolos de consenso y la replicación de máquinas de estados. Úselo al construir sistemas donde la corrección en condiciones de concurrencia y falla parcial es crítica.
Instalación
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."
Diseñe sistemas distribuidos utilizando el enfoque riguroso de Leslie Lamport. Enfatiza el razonamiento formal, el tiempo lógico, los protocolos de consenso y la replicación de máquinas de estados. Úselo al construir sistemas donde la corrección en condiciones de concurrencia y falla parcial es crítica. Fuente: copyleftdev/sk1llz.
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems- Fuente
- copyleftdev/sk1llz
- Categoría
- </>Desarrollo
- Verificado
- ✓
- Primera vez visto
- 2026-02-12
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es lamport-distributed-systems?
Diseñe sistemas distribuidos utilizando el enfoque riguroso de Leslie Lamport. Enfatiza el razonamiento formal, el tiempo lógico, los protocolos de consenso y la replicación de máquinas de estados. Úselo al construir sistemas donde la corrección en condiciones de concurrencia y falla parcial es crítica. Fuente: copyleftdev/sk1llz.
¿Cómo instalo lamport-distributed-systems?
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor
¿Dónde está el repositorio de origen?
https://github.com/copyleftdev/sk1llz
Detalles
- Categoría
- </>Desarrollo
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-12