看 Leslie Lamport 如何做自我介绍 [然后讲解 TLA+]

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

这是一个创建于 2839 天前的主题，其中的信息可能已经有所发展或是发生改变。

3 条回复 • 2017-03-21 09:52:08 +08:00

qdwang

2017-03-21 09:40:28 +08:00 via iPhone

这里没几个人知道他更没几个人知道 TLA+

qdwang

2017-03-21 09:41:45 +08:00 via iPhone

这个 lecture 好新啊还是谢谢楼主了

bxgty

2017-03-21 09:52:08 +08:00

@qdwang 会接触分布系统的话多少会知道他吧？
不过 TLA+的确是没多少人用...