莱斯利·兰波特（Leslie Lamport）：逻辑时钟、Paxos 与「软件工程」这个词的另一半 📅 2026年11月13日 他给分布式系统发明了一套思考方式——用「逻辑时钟」代替物理时钟、用「状态机」代替流程图——今天几乎每一个可靠系统的设计里，都藏着他五十年前写下的定理。