微软Leslie Lamport 获2013年ACM图灵奖 - JobHunting版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

JobHunting版 - 微软Leslie Lamport 获2013年ACM图灵奖

相关主题
● ms research 硅谷被关了	● 问一个算法题
● FB面经(挂了)	● 又想起一道google题目
● 大年初一说说码农界的人生偶像：你的偶像是linus, gosling, stroustrup	● Ask an interveiw question: finding phone number
● system design怎么刷？	● 请教四边形不等式
● 报个startup offer，people.ai	● 发现一个问题：晚上看算法难题，睡眠质量很差。
● 随便写写一些经验吧(未完待续)	● 今天要去onsite了，发个整理的面试题攒人品
● 微软的据信真委婉啊	● 有意思的facebook面试经历
● 面试中关于'图'的算法题出线的好像很少阿?是错觉么还是确实如	● 为什么做了400道算法题还是那么菜

相关话题的讨论汇总
话题: leslie话题: lamport话题: 图灵奖话题: acm话题: 2013

进入JobHunting版参与讨论

1

(共1页)

a********e 发帖数: 16	1 今天最新消息，2013年ACM图灵奖颁给了微软硅谷研究院的Leslie Lamport，他在编程语言、分布式系统、模型验证等领域做出了出色的工作。著名的拜占庭将军问题、面包店算法都是他提出来的。他还在Tex基础上发明了著名的LaTex系统，LaTeX的La就来自他的名字。 microsoft/google 图灵奖 Microsoft 5人: Tony Hoare (1980) Butler Lampson (1992) Jim Gray (1998) Charles Thacker (2009) Leslie Lamport (2013) Google 2人: Kenneth Lane Thompson (1983) Vint Cerf (2004)
e***a 发帖数: 1661	2 any chinese?
J*****a 发帖数: 4262	3 图灵奖华裔就姚期智一人
h******6 发帖数: 2697	4 真是瘦死的骆驼比马大微软还是很牛的也不知道还能赶上来不

1

(共1页)

进入JobHunting版参与讨论

相关主题
● 为什么做了400道算法题还是那么菜	● 报个startup offer，people.ai
● 面试会考A*算法么？	● 随便写写一些经验吧(未完待续)
● 关于quora的面试	● 微软的据信真委婉啊
● 在interviewstreet上做了几题，受打击了	● 面试中关于'图'的算法题出线的好像很少阿?是错觉么还是确实如
● ms research 硅谷被关了	● 问一个算法题
● FB面经(挂了)	● 又想起一道google题目
● 大年初一说说码农界的人生偶像：你的偶像是linus, gosling, stroustrup	● Ask an interveiw question: finding phone number
● system design怎么刷？	● 请教四边形不等式

相关话题的讨论汇总
话题: leslie话题: lamport话题: 图灵奖话题: acm话题: 2013

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)