• 请不要在回答技术问题时复制粘贴 AI 生成的内容
bxgty
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

    3 replies  •  2017-03-21 09:52:08 +08:00
    qdwang
    qdwang
    Mar 21, 2017 via iPhone
    1
    这里没几个人知道他 更没几个人知道 TLA+
    qdwang
    qdwang
    Mar 21, 2017 via iPhone
    2
    这个 lecture 好新啊 还是谢谢楼主了
    bxgty
    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.