V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
bxgty
V2EX  ›  程序员

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

  •  
  •   bxgty · 2017-03-21 09:11:33 +08:00 · 2499 次点击
    这是一个创建于 2802 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

    3 条回复    2017-03-21 09:52:08 +08:00
    qdwang
        1
    qdwang  
       2017-03-21 09:40:28 +08:00 via iPhone
    这里没几个人知道他 更没几个人知道 TLA+
    qdwang
        2
    qdwang  
       2017-03-21 09:41:45 +08:00 via iPhone
    这个 lecture 好新啊 还是谢谢楼主了
    bxgty
        3
    bxgty  
    OP
       2017-03-21 09:52:08 +08:00
    @qdwang 会接触分布系统的话多少会知道他吧?
    不过 TLA+的确是没多少人用...
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1028 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 19:45 · PVG 03:45 · LAX 11:45 · JFK 14:45
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.