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

不能用了。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