原文：做站长
互联网时代，每个男人都有一个做站长（webmaster）的梦想；我相信 @左耳朵耗子 和 @ruanyf 都会同意这个观点。
我今天要为大家介绍的这位站长，名字叫Gérard Huet；它维护了一个站点，名字叫The Sanskrit Heritage Site 网页链接 ；Sanskrit这个词可能很多人陌生，但是翻译成中文大家就熟悉了，它是『梵语』的意思，就是大家说的用来撰写古印度佛经的语言。
Huet是法国人，他对梵语非常有兴趣，他是一个语言学家，梵语是他的研究方向之一；事实上Huet是大学老师；他颇有几个比较有名的学生，比如Thierry Coquand，对，Coq定理证明器就是以他的名字命名的，以纪念他在Calculus of Constructions理论上的开创性工作；再比如Xavier Leroy，如果你了解古早的Linux内核，2.6版本之前的LinuxThread就是他写的，当然这只是他的业余爱好，他更广为人知的成就是开发了Ocaml语言。
那作为这样两位牛人的老师，Huet当然也会有不错的成就，事实上Huet拿下了1998年自动定理证明领域的最高技术奖，Herbrand Award；如果说Herbrand Award获奖者的平均数学水平吊打图灵奖获得者的，大家应该也没有什么异议。
就是这样一位成就卓越的Inria大学的教授，心中仍然有一个做站长的梦想，其实他完全可以把做梵语网站的工作交给其它人做，但是做站长的梦想驱使着他在功成名就的人生巅峰之后，仍然愿意亲自动手写HTML，找回1992年时的那份感动。
是的，和Huet一样，你的心中一定也有一个做站长的梦想；去拿Herbrand Award你这辈子应该是没希望了，但你仍然有机会成为一名卓越的站长；所以不要犹豫，赶快打开浏览器，登录阿里云，买一台ECS主机，注册一个域名，现在就去实现自己的梦想，做站长！