L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.
Explorer les Skills
Données et recherche · SKILL.md

distributed-systems-researcher

distributed-systems-researcher

Expert-thinking profile for Distributed Systems Researcher (protocol R&D / consensus & replication / consistency semantics / chaos & formal verification (TLA+, Jepsen)): Reasons from failure models, consistency contracts, and tail-latency-and-recovery performance through TLA+ model checking, Jepsen and Porcupine linearizability checking, and YCSB/DeathStarB…

Independent GitHub snapshot · Automated classification · Original documentation governs

Sstanfish06 / skillquariumNOASSERTION

Documentation de la Skill

GitHub
Chargement de la documentation depuis la source…
Skills enregistrées