首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
广告
V2EX
›
程序员
看 Leslie Lamport 如何做自我介绍 [然后讲解 TLA+]
bxgty
·
2017-03-21 09:11:33 +08:00
· 2373 次点击
这是一个创建于 2608 天前的主题,其中的信息可能已经有所发展或是发生改变。
刚刚在 Haker News 上看到的:
http://lamport.azurewebsites.net/video/intro.html
lamport
tla
haker
leslie
3 条回复
•
2017-03-21 09:52:08 +08:00
1
qdwang
2017-03-21 09:40:28 +08:00 via iPhone
这里没几个人知道他 更没几个人知道 TLA+
2
qdwang
2017-03-21 09:41:45 +08:00 via iPhone
这个 lecture 好新啊 还是谢谢楼主了
3
bxgty
OP
2017-03-21 09:52:08 +08:00
@
qdwang
会接触分布系统的话多少会知道他吧?
不过 TLA+的确是没多少人用...
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
2851 人在线
最高记录 6543
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 795ms ·
UTC 12:31
·
PVG 20:31
·
LAX 05:31
·
JFK 08:31
Developed with
CodeLauncher
♥ Do have faith in what you're doing.