lamport.org 暂未发现付费内容

不能用了。lamport.org 首页明确写着，Leslie Lamport 已从微软退休，微软邮箱地址不再有效。页面同时给出了一个替代联系方式：把十字母字符串 ll.sulpalt 的字符顺序倒过来，再在后面加上 @gmail.com，就得到他的 Gmail 地址。他说明会定期查看这个邮箱，但不会回复三类邮件：关于他著作内容的提问、任何形式的建议请求、以及介绍你自己工作的邮件。

先判断你的邮件属于哪一类

按页面原话，以下情形不要期待回复：

• 询问他写过的内容（例如 TLA+ 语法、某篇论文的细节）
• 请求任何形式的建议（学术、职业、技术方向等）
• 描述或介绍你自己正在做的工作

页面还留了一个主观条件：如果你认为他认识你，而他可能忘了告诉你新邮箱，或者你确信有他愿意听的事情，才适合用这个地址联系。换句话说，这个邮箱面向的是私人联系，不是公开的技术支持渠道。

地址怎么还原

页面没有直接写出邮箱，而是用了一个字符倒序的规则。按原文操作：

1. 取字符串 ll.sulpalt（共 10 个字符）
2. 将字符顺序完全颠倒
3. 在结果后拼接 @gmail.com

得到的完整地址即为他的 Gmail 邮箱。页面说明他会定期查看，但没有承诺回复时间。

技术问题该去哪里

如果你要问的是 TLA+ 相关内容，页面给出了更合适的去处：

• TLA+ 已归属 TLA+ Foundation，相关事务应通过该基金会渠道，而不是他的个人邮箱。
• 首页有 My TLA Web Page 和 My Collected Works 两个入口，前者汇集 TLA 资料，后者是他的作品集合。查资料、找论文优先走这两个页面。

其他可用的接触方式

页面提到他现在偶尔做演讲，通常以问答形式进行，也接受一些关于他过往工作的采访，其中部分内容可以在网上找到。这类公开活动比私人邮箱更适合非私人性质的交流。

常见卡点

• 以为微软邮箱还能用：页面已明确说明失效，发过去不会有回应。
• 把 Gmail 当成技术问答入口：页面明确列出不回复提问、求建议、介绍自己工作的邮件，发这类内容基本等于没有联系。
• 还原地址时出错：注意是整串字符倒序，不是按单词倒序，也不是只倒序某一部分。
• 想找 TLA+ 支持：应走 TLA+ Foundation，而不是个人邮箱。

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

网站提供什么

页面上的核心入口有两个：

• My TLA Web Page：与 TLA（Temporal Logic of Actions，一种用于描述和推理并发、分布式系统的形式化方法）相关的资料入口。
• My Collected Works：他的作品集入口。

除此之外，页面还包含几条状态说明：

• 他已从微软退休（"I have retired from Microsoft"）。
• 微软同意继续维护他的网站，但他的微软邮箱已不再可用。
• TLA+ 现在归属于 TLA+ Foundation。
• 他现在偶尔做少量演讲，通常以问答形式进行，也会接受一些关于其工作的访谈，部分内容可以在网上找到。

关于联系方式和提问

页面明确说明了联系他的方式，同时也划定了边界：

• 他的微软邮箱已失效。如果你认为他可能忘了告诉你新邮箱，可以按页面给出的规则构造地址后发信，他会定期查看。
• 他明确表示不会回复以下类型的邮件：关于他所写内容的提问、任何形式的建议请求、以及描述你自己工作的邮件。

也就是说，这个页面不是技术支持或答疑渠道。想了解 TLA+ 或他的工作，应该走 TLA 网页、作品集或 TLA+ Foundation 这些入口，而不是直接发邮件提问。

适合谁看

• 想找 Leslie Lamport 本人资料、作品集或 TLA 相关资源的人。
• 需要确认 TLA+ 当前归属（TLA+ Foundation）的人。
• 想了解他退休后活动状态的人。

如果你要找的是 TLA+ 的官方文档、工具或社区支持，这个页面只提供跳转入口，实际内容需要到 TLA 网页或 TLA+ Foundation 那边获取。

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

页面明确说了什么

主页上关于退休后活动的表述可以归纳为三点：

• 演讲频率：只做“a few talks”，即少量、不固定。
• 演讲形式：通常不是单向的主题报告，而是问答式交流。
• 访谈：存在一些关于他已完成工作的访谈，部分可在网上找到。

页面同时说明，TLA+ 现在归属于 TLA+ Foundation，这与他个人是否露面是两件事——标准与社区事务已由基金会承接，不代表他会因此增加公开活动。

为什么不能指望一个“演讲列表”

这个主页的定位是个人资料入口，主要指向两块内容：

它并没有维护“演讲与访谈日程”这类动态栏目。加上他已退休、邮箱也更换，主页更像是静态的资料索引，而不是活动公告板。因此想找演讲或访谈，靠这个页面本身不够。

想找到这些内容，可以怎么做

由于页面没有给出具体链接，可行的路径是：

1. 先看主页的两个入口：从 My Collected Works 和 My TLA Web Page 出发，确认是否有附带的外部链接指向访谈或演讲记录。
2. 按主题检索：用他的名字配合 TLA+、分布式系统、逻辑时钟（logical clocks）、Paxos 等关键词搜索视频平台或会议存档。
3. 注意形式特征：检索时优先留意问答形式的场次，这与页面描述的形式一致，比寻找正式 keynote 更可能命中。
4. 区分新旧内容：退休后的活动与退休前的会议报告混在一起，需要按时间或发布渠道判断。

一个容易踩的坑：别用旧邮箱联系

页面特别说明，他的微软邮箱已经不再可用。如果你打算通过邮件询问演讲、访谈或他写过的内容，需要注意：

• 他明确表示不会回复关于他所写内容的提问、任何形式的建议请求，以及描述你自己工作的邮件。
• 页面给出了一个可用的 Gmail 地址，但获取方式比较特殊——需要把十字符字符串 ll.sulpalt 的字符顺序反转，再在末尾加上 @gmail.com。
• 即便发到这个地址，他也只是定期查看，并不保证回复。

所以，指望通过邮件约访谈或问问题，基本不是有效途径。想了解他的公开露面，检索现成的网络资料更实际。

lamport.org 是 Leslie Lamport 的个人主页。页面本身很简洁，主要提供两个内容入口：My Collected Works（他的作品集）和 My TLA Web Page（TLA 相关页面）。想找论文、著作或 TLA 资料，从这两个入口进入即可。页面还说明 TLA+ 现已归属于 TLA+ Foundation，因此 TLA+ 的后续归属和资料入口需要以该基金会为准。

页面能直接找到什么

主页标题为 “LESLIE LAMPORT'S HOME PAGE”，页面上可见的导航入口包括：

如果你的目标是找他的论文或著作，优先点 My Collected Works；如果目标是 TLA/TLA+ 相关资料，先看 My TLA Web Page，同时注意 TLA+ 已归 TLA+ Foundation，相关权威信息应转向该基金会。

使用这个页面时需要注意的状态信息

页面明确说明作者已从 Microsoft 退休，并提到：

• Microsoft 同意继续维护他的网站；
• 他的 Microsoft 邮箱地址已不再可用；
• 页面给出了一个可联系的新邮箱获取方式（由指定字符串反转并加上 @gmail.com 构成），但他会定期查看，不会回复关于其著作内容的提问、任何形式的建议请求，或描述你自己工作的邮件；
• 他现在偶尔做少量演讲，通常以问答形式进行，也会接受一些关于其工作的采访，部分内容可以在网上找到。

这意味着：这个主页适合用来定位和获取资料，但不适合用来向作者提问或寻求指导。 如果你需要的是答疑或建议，不应期待通过该页面得到回复。

找资料的具体路径

1. 打开 lamport.org。
2. 找论文、著作：点击 My Collected Works。
3. 找 TLA 资料：点击 My TLA Web Page。
4. 找 TLA+ 的当前归属与后续信息：以页面提到的 TLA+ Foundation 为准。

常见卡点

• 把主页当成 TLA+ 的官方唯一入口：页面已说明 TLA+ 归属于 TLA+ Foundation，涉及 TLA+ 的权威信息应优先看基金会。
• 试图通过页面联系作者提问：页面明确表示不会回复关于其著作的问题、建议请求或对你工作的描述。
• 找不到某个具体论文：主页只提供入口，不直接列出全部内容；需要进入 My Collected Works 后再查找。