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에서 사용할 수 있습니다
소스 저장소는 어디인가요?
https://github.com/copyleftdev/sk1llz
상세
- 카테고리
- </>개발 도구
- 출처
- skills.sh
- 최초 등록
- 2026-02-12