w***w
发帖数: 84 | 1 Leslie Lamport 获2014 Turing Award |
p****r
发帖数: 9164 | 2 MSR 的scientist , 算不上马工吧。 他是微软第5个得图灵的了。
不知道狗狗有多少图灵，应该比微软多吧。 听说很多做人智的大牛在哪。
【在 w***w 的大作中提到】
: Leslie Lamport 获2014 Turing Award
|
e*******o
发帖数: 2271 | |
S*******n
发帖数: 1721 | 4 " A distributed system is one in which the failure of a computer
you didn't even know existed can render your own computer
unusable."
【在 w***w 的大作中提到】
: Leslie Lamport 获2014 Turing Award
|
F******7
发帖数: 4765 | 5
我说怎么这么眼熟的名字呢。
二十年前学过他的LaTex。
还有本书，叫The Joy of LaTex.
注意拼法，不然容易误会。
【在 e*******o 的大作中提到】
: 哥们最为人知的工作是latex
|
a********e
发帖数: 16 | 6 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)
【在 p****r 的大作中提到】
: MSR 的scientist , 算不上马工吧。 他是微软第5个得图灵的了。
: 不知道狗狗有多少图灵，应该比微软多吧。 听说很多做人智的大牛在哪。
|
G***o
发帖数: 5158 | 7 Jim Gray失踪多年了吧？
比马航失踪还神秘。
【在 a********e 的大作中提到】
: 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)
|
m*******n
发帖数: 5103 | 8 哥们？Leslie 不是姐们？
【在 e*******o 的大作中提到】
: 哥们最为人知的工作是latex
|
w***w
发帖数: 84 | 9 Lamport 写了LaTex, TLA, Paxos, 说他是码工,他应该欣然接受。Jim Gray写了个
database, 还是Lampson奇葩，居然靠写line editor 拿了图灵奖。要会总结啊,码工们
。 |
d**y
发帖数: 18174 | 10 congrats
【在 w***w 的大作中提到】
: Leslie Lamport 获2014 Turing Award
|
l****g
发帖数: 3721 | 11 这也太成人内容了吧！
【在 F******7 的大作中提到】
:
: 我说怎么这么眼熟的名字呢。
: 二十年前学过他的LaTex。
: 还有本书，叫The Joy of LaTex.
: 注意拼法，不然容易误会。
|
b******g
发帖数: 1721 | |
