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

2017-03-21 09:11:33 +08:00
 bxgty

刚刚在 Haker News 上看到的: http://lamport.azurewebsites.net/video/intro.html

2484 次点击
所在节点    程序员
3 条回复
qdwang
2017-03-21 09:40:28 +08:00
这里没几个人知道他 更没几个人知道 TLA+
qdwang
2017-03-21 09:41:45 +08:00
这个 lecture 好新啊 还是谢谢楼主了
bxgty
2017-03-21 09:52:08 +08:00
@qdwang 会接触分布系统的话多少会知道他吧?
不过 TLA+的确是没多少人用...

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/349013

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX