The interface is localized. Skill descriptions and documents are machine-translated by AI into your language; code, commands, paths and technical terms stay in the original, and the author's document governs.
Explore skills
Data & research · 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

Skill documentation

GitHub
Loading documentation from the source…
Saved skills