Home Sign Up Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
bxgty
V2EX  ›  程序员

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

  •   
  •   bxgty · Mar 21, 2017 · 3185 views
    This topic created in 3370 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
        1
    qdwang  
       Mar 21, 2017 via iPhone
    这里没几个人知道他 更没几个人知道 TLA+
    qdwang
        2
    qdwang  
       Mar 21, 2017 via iPhone
    这个 lecture 好新啊 还是谢谢楼主了
    bxgty
        3
    bxgty  
    OP
       Mar 21, 2017
    @qdwang 会接触分布系统的话多少会知道他吧？
    不过 TLA+的确是没多少人用...
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2551 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 28ms · UTC 15:51 · PVG 23:51 · LAX 08:51 · JFK 11:51
    ♥ Do have faith in what you're doing.