V2EX 首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐书目
黑客与画家
REWORK 简体中文版
REWORK 精装原版
深入浅出设计模式 Head First Design Patterns
代码之美 Beautiful Code
数据之美 Beautiful Data
信息论、编码与密码学
Free as in Freedom
设计原本
精通正则表达式
V2EX  ›  程序员

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

  •  
  •   bxgty · 9 天前 · 275 次点击

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

    3 回复  |  直到 2017-03-21 09:52:08 +08:00
        1
    qdwang   9 天前 via iPhone
    这里没几个人知道他 更没几个人知道 TLA+
        2
    qdwang   9 天前 via iPhone
    这个 lecture 好新啊 还是谢谢楼主了
        3
    bxgty   9 天前
    @qdwang 会接触分布系统的话多少会知道他吧?
    不过 TLA+的确是没多少人用...
    DigitalOcean
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   鸣谢   ·   419 人在线   最高记录 2466   ·  
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.7.5 · 52ms · UTC 20:21 · PVG 04:21 · LAX 13:21 · JFK 16:21
    ♥ Do have faith in what you're doing.
    沪ICP备16043287号-1