知识库

知识解答

Leslie Lamport 退休后还有公开演讲或访谈吗?

有，但数量很少。根据他个人主页的说明，Leslie Lamport 已经从微软退休，现在只偶尔做少量演讲，形式通常是问答（Q&A）环节，另外还有一些关于他过往工作的访谈。这些内容有一部分可以在网上找到。他本人没有在页面上列出具体场次或链接清单，所以需要自...

如何联系 Leslie Lamport?他的微软邮箱还能用吗?

不能用了。lamport.org 首页明确写着，Leslie Lamport 已从微软退休，微软邮箱地址不再有效。页面同时给出了一个替代联系方式：把十字母字符串 ll.sulpalt 的字符顺序倒过来，再在后面加上 @gmail.com，就得到他的 Gm...

如何在 Leslie Lamport 主页找到他的作品和 TLA 资料?

lamport.org 是 Leslie Lamport 的个人主页。页面本身很简洁，主要提供两个内容入口：My Collected Works（他的作品集）和 My TLA Web Page（TLA 相关页面）。想找论文、著作或 TLA 资料，从这两个...

lamport.org 是什么网站?

lamport.org 是计算机科学家 Leslie Lamport 的个人主页，由微软代为维护。页面本身很简洁，主要作用是作为一个入口页，指向他的 TLA 相关网页和作品集，同时说明他已从微软退休、TLA+ 已归属 TLA+ Foundation，以及...