如何在 Leslie Lamport 主页找到他的作品和 TLA 资料?
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 | Leslie Lamport 的作品集合 |
| My TLA Web Page | TLA 相关资料 |
| TLA+ Foundation | 页面说明 TLA+ 现在归属于该基金会 |
如果你的目标是找他的论文或著作，优先点 My Collected Works；如果目标是 TLA/TLA+ 相关资料，先看 My TLA Web Page，同时注意 TLA+ 已归 TLA+ Foundation，相关权威信息应转向该基金会。
使用这个页面时需要注意的状态信息
页面明确说明作者已从 Microsoft 退休，并提到：
- Microsoft 同意继续维护他的网站；
- 他的 Microsoft 邮箱地址已不再可用；
- 页面给出了一个可联系的新邮箱获取方式（由指定字符串反转并加上 @gmail.com 构成），但他会定期查看，不会回复关于其著作内容的提问、任何形式的建议请求，或描述你自己工作的邮件；
- 他现在偶尔做少量演讲，通常以问答形式进行，也会接受一些关于其工作的采访，部分内容可以在网上找到。
这意味着：这个主页适合用来定位和获取资料，但不适合用来向作者提问或寻求指导。 如果你需要的是答疑或建议，不应期待通过该页面得到回复。
找资料的具体路径
- 打开 lamport.org。
- 找论文、著作：点击 My Collected Works。
- 找 TLA 资料：点击 My TLA Web Page。
- 找 TLA+ 的当前归属与后续信息：以页面提到的 TLA+ Foundation 为准。
常见卡点
- 把主页当成 TLA+ 的官方唯一入口：页面已说明 TLA+ 归属于 TLA+ Foundation，涉及 TLA+ 的权威信息应优先看基金会。
- 试图通过页面联系作者提问：页面明确表示不会回复关于其著作的问题、建议请求或对你工作的描述。
- 找不到某个具体论文：主页只提供入口，不直接列出全部内容；需要进入 My Collected Works 后再查找。