Проектируйте распределенные системы, используя строгий подход Лесли Лэмпорта. Особое внимание уделяется формальным рассуждениям, логическому времени, протоколам консенсуса и репликации конечного автомата. Используйте при построении систем, где корректность в условиях параллелизма и частичных сбоев имеет решающее значение.
Быстро установите AI-навык lamport-distributed-systems в вашу среду разработки через командную строку
Источник: copyleftdev/sk1llz.
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."
Проектируйте распределенные системы, используя строгий подход Лесли Лэмпорта. Особое внимание уделяется формальным рассуждениям, логическому времени, протоколам консенсуса и репликации конечного автомата. Используйте при построении систем, где корректность в условиях параллелизма и частичных сбоев имеет решающее значение. Источник: copyleftdev/sk1llz.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systemsПроектируйте распределенные системы, используя строгий подход Лесли Лэмпорта. Особое внимание уделяется формальным рассуждениям, логическому времени, протоколам консенсуса и репликации конечного автомата. Используйте при построении систем, где корректность в условиях параллелизма и частичных сбоев имеет решающее значение. Источник: copyleftdev/sk1llz.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/copyleftdev/sk1llz