lamport.org 是什么网站?

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 那边获取。