Home
Sign Up
Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
V2EX
›
程序员
看 Leslie Lamport 如何做自我介绍 [然后讲解 TLA+]
bxgty
·
Mar 21, 2017
· 3494 views
This topic created in 3515 days ago, the information mentioned may be changed or developed.
刚刚在 Haker News 上看到的:
http://lamport.azurewebsites.net/video/intro.html
lamport
tla
haker
leslie
3 replies
•
2017-03-21 09:52:08 +08:00
qdwang
Mar 21, 2017 via iPhone
1
这里没几个人知道他 更没几个人知道 TLA+
qdwang
Mar 21, 2017 via iPhone
2
这个 lecture 好新啊 还是谢谢楼主了
bxgty
OP
Mar 21, 2017
3
@
qdwang
会接触分布系统的话多少会知道他吧?
不过 TLA+的确是没多少人用...
About
·
Help
·
Advertise
·
Blog
·
API
·
FAQ
·
Privacy
·
Solana
·
3811 Online
Highest 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 30ms ·
UTC 05:33
·
PVG 13:33
·
LAX 21:33
·
JFK 00:33
♥ Do have faith in what you're doing.
❯