b***y
发帖数: 14281 | 1 靠，你还是处男？还是每次都是内射或口爆？
★ 发自iPhone App: ChineseWeb 8.2.2 |
|
|
|
|
S******8
发帖数: 24594 | 5 Leslie的latex和Knuth的Tex到底是什么关系？ |
|
e********3
发帖数: 18578 | 6 LaTex是Tex的升级版，把很多Tex的功能打包方便用户，类似于Word里面的宏(Macro)一
样。 |
|
r**j
发帖数: 105 | 7 LaTex不就是个Paper编辑软件吗？和数学有什么关系？ |
|
|
|
|
p*********3
发帖数: 8525 | 11 你们就不看communications of the acm的吗 |
|
|
S******r
发帖数: 4421 | 13 我两年前就把他paper的abstract打下了 现在还保存着
brilliant的人物 实至名归 |
|
|
k*****r
发帖数: 21039 | 15 麻痹对图灵奖良莠混杂，前年给pearlman那个就是扯JB蛋。
speech recognition, 连李开复的贡献都比麻痹的pearlman大。
真正原因是pearlman的龟儿子当米国特工潜入巴基斯坦搞破坏，被塔你班活捉，斩首，
然后做成video送给pearlman了。 老家伙大受刺激，ACM发的爱国安慰奖。 |
|
|
S******8
发帖数: 24594 | 17 和Tufts差不多的学校，前年的图灵奖得主Leslie Lamport毕业于此校。 |
|
b********n
发帖数: 38600 | 18 “I hope people won’t be allowed to write programs if they don’t
understand these simple things.”
Lamport sees this failure to think mathematically about what they’re doing
as the problem of modern software development in a nutshell: The stakes keep
rising, but programmers aren’t stepping up—they haven’t developed the
chops required to handle increasingly complex problems. “In the 15th
century,” he said, “people used to build cathedrals without knowing
calculus, and nowadays I don’t think you’d a... 阅读全帖 |
|
s******g
发帖数: 3841 | 19 引用算个鸟
我们系一个老教授做分布式系统的，大部分paper都只有20、30的引用，co-author都是
Hoare, Dijkstra, Lamport, Chandy。人家90年代就是acm ieee fellow了
另一个大牛评上工程院院士，那篇文章就10多个引用 |
|
a***r
发帖数: 981 | 20 ☆─────────────────────────────────────☆
Levis (北京，那个寒冷的夏天) 于 (Sat Mar 9 08:50:47 2013, 美东) 提到:
彻底shock了...
☆─────────────────────────────────────☆
plex (Triumph Daytona 675) 于 (Sat Mar 9 08:51:51 2013, 美东) 提到:
系主任的地位受到了威胁
☆─────────────────────────────────────☆
sunnyday (胖头鱼。按斤卖就赚了) 于 (Sat Mar 9 08:52:02 2013, 美东) 提到:
老李你又来顽皮了
☆─────────────────────────────────────☆
stoppingtime (鸡血将军) 于 (Sat Mar 9 08:55:43 2013, 美东) 提到:
老李赤裸裸地show off啊。
不过我有办法帮忙，老李把钱分我一半，就可以平息你们系主任的怒火了。
... 阅读全帖 |
|
n**********0
发帖数: 51 | 21 其实青菜萝卜各有所好。
公司里有些（有Ph.D的）码工其实学术很强。例如Google里搞出BigTable, MapReduce
等的，其贡献和（在学界和工业界的）影响力，秒杀99%的cs faculty一辈子的成就。
更不用提人家拿n倍的收入。
看看新科图灵奖得主Leslie Lamport, 一辈子呆在research lab里面。
楼主的情况，找一学霸当postdoc比较靠谱。有在这1%pool里面的学霸的帮助，未来找
好faculty工作的可能比去2-3流学校和research lab的大。 |
|
s******g
发帖数: 3841 | 22 bigtable, mapreduce的基础consistent hashing就是学术界搞出来的
Lamport的成就跟公司基本没关系，他在任何地方都能做出那些成就来
MapReduce |
|
g*****r
发帖数: 1037 | 23 Lamport是在MSR, MSR秒杀所有lab。。。。进去的门槛非常高。
MapReduce |
|
s******g
发帖数: 3841 | 24 我记得他之后的系主任是James Browne，是个老好人，在他任上UT CS才起飞的，连
Dijkstra和Lamport都来Austin
据说当时姚期智夫妇来求职还没找到。。。。 |
|
|
|
h******6
发帖数: 2697 | 27 真是瘦死的骆驼比马大 微软还是很牛的 也不知道还能赶上来不 |
|
|
s******c
发帖数: 1920 | 29 leslie lamport刚拿了今年的图灵奖，
难道这就被layoff了？
阿三ceo太狠了 |
|
x*****s
发帖数: 125 | 30
不会的，除非微软连cloud都不想搞了，否则怎么也不能放Leslie Lamport走。 |
|
X**********g
发帖数: 480 | 31 lamport 现在 也就是个吉祥物，
不会有什么大用 |
|
t**r
发帖数: 3428 | 32 大年初一说说码农界的人生偶像：你的偶像是linus, gosling, stroustrup,还是
Hansson, Mats, Hickey, Rob Pike, 或者，Jeff Dean, Lamport 还是 rms, dmr.
knuth? |
|
|
a******n
发帖数: 5925 | 34 lamport 在弯曲微软关门后去哪里?
肯定是不缺大大的offer |
|
|
r*****s
发帖数: 1815 | 36 没啥用，最后还是得给icc打工，估计明年就回国了。
: 基础知识看Designing data intensive applications，以及经典paper，Google
的和
: Lamport那几篇，其他的比如Amazon，Akamai也值得一看
: 做一点项目，了解一下整个web service的架构
: 做一点经典题目，比如：https://www.interviewbit.com/courses/system-
design/
: 读一下知名开源软件的代码，如mongo, redis, yarn
: 练口语
: 练嘴炮
|
|
H**********5
发帖数: 2012 | 37 赞分享，感觉看书太累了，那种3-4页以内的paper最好。举个例子L家有篇算几度好友
的paper，涵盖了system design很多考点
: 基础知识看Designing data intensive applications，以及经典paper，Google
的和
: Lamport那几篇，其他的比如Amazon，Akamai也值得一看
: 做一点项目，了解一下整个web service的架构
: 做一点经典题目，比如：https://www.interviewbit.com/courses/system-
design/
: 读一下知名开源软件的代码，如mongo, redis, yarn
: 练口语
: 练嘴炮
|
|
l**h
发帖数: 893 | 38 请问工作地点是San Francisco还是南湾？
：40人左右，stock现在估值150m
：【 在 goureff (lamport) 的大作中提到: 】 |
|
k*******n
发帖数: 8891 | 39 举个例子！
就拿活剥来说，djbwsnx的发贴版面相似分0.755737476635，介个就很能说明问题了。
hobohobo - 马甲追踪
排名 疑似马甲 IP相似分 发贴版面相似分 总分
1 passerby0326 0.473060038467 0 0.473060038467
2 roteki 0.182319705508 0.0 0.182319705508
3 henryho1 0.176884070187 0 0.176884070187
llodds 0.176884070187 0.0 0.176884070187
5 jagger 0.164609175213 0.0 0.164609175213
newmagmec 0.164609175213 0 0.164609175213
7 djbwsnx 0.058074677... 阅读全帖 |
|
m*********h
发帖数: 5449 | 40 Leslie Lamport, 2013年图灵奖得主，研究分布式计算系统。现在学术界普遍使用的文
本编辑器Latex最初是他闲暇之余设计并实现的。大牛的骨子里有一种精神需求，即使
没想改变世界，也想改变自己的环境，提高工作效率，工艺善其事必先利其器。这个创
造工具的需求很多人都有。
炒股人，不一定非要完成什么大型软件，哪怕完成一个小小的数学模型也是好的。读书
的目的不是为了记住，而是为了完善你的模型。模型完善了，书就可以扔了。炒股大牛
一辈子的主要工作就是，改进模型，到市场上实验，再改进，再实验，20年如一日。如
果你真的读过，真的仔细读过，传奇操盘手自己写的书的话，就知道有些事情是确定的
，多数人太懒或忙于别的事，懒得去发现真相。不错真相会过期变质，要不断update，
但不代表不存在。 |
|
m***u
发帖数: 391 | 41 我只知道Knuth和tex....老马牛X,research好认真,知道Leslie Lamport! |
|
m*********h
发帖数: 5449 | 42 你是说Leslie Lamport为了答辩做了这套系统？另外你对交易系统的看法少了很多重要
元素，而且只提那些应该淘汰的东西。 |
|
w***w
发帖数: 84 | 43 Leslie Lamport 获2014 Turing Award |
|
a********e
发帖数: 16 | 44 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) |
|
w***w
发帖数: 84 | 45 Lamport 写了LaTex, TLA, Paxos, 说他是码工,他应该欣然接受。Jim Gray写了个
database, 还是Lampson奇葩，居然靠写line editor 拿了图灵奖。要会总结啊,码工们
。 |
|
ET
发帖数: 10701 | 46 Woods Makes Early Charge at Whistling Straits
Sat Aug 14, 2004 12:25 PM ET
By Mark Lamport-Stokes
KOHLER, Wis. (Reuters) - Tiger Woods, after battling hard to make the halfway
cut by a shot, made an early charge in the U.S. PGA Championship third round
at Whistling Straits on Saturday.
In bright sunshine with hardly a breath of wind, the world No. 1 birdied four
of the first nine holes to get to three under for the tournament.
That left him six adrift of overnight leaders Vijay Singh and Justi |
|
a*w
发帖数: 4495 | 47 也许是一个巧合，自从LaTeX 的作者 Lamport 加入微软之后，Office
就 going down 了。 |
|
R**********s
发帖数: 4627 | 48 ☆─────────────────────────────────────☆
bpovia (开心菲菲) 于 (Tue Jun 1 23:34:55 2010, 美东) 提到:
我，07年大学毕业，25岁 现在一沿海小城市日企小公司做部门主管，收入在这个小城
市应该算是中
等偏上，工作也是自己比较喜欢的类型。
他，美国人 08年大学毕业，23岁，电脑软件相关专业毕业，在美国一直没有找个
合适的工作，
所以3月份为止一直在做卡车司机。3月初因发生交通事故 被辞退。现在无工作。
我和他09年3月份在网上认识，从开始他教我学英语到后来开始互相喜欢，逐渐确
定关系，09
年8月份他从美国过来看我，一起相处了2个周，互相感觉都不错，于是正式决定关系。
为了能尽快在一起 我们考虑了很多，因为他在美国读大学的贷款要还 而且至少
要3年的时间
（按照他一个人的一般收入来算），所以之前（他没有被辞退前）我们决定，给我申请
k-1签证去美
国。申请资料1月中旬已经由他递交上了。 可是最近发生了他被辞退的事情，他现在在
美国开始重新
找工作，听他说都是一些收入很低的工作 大约税前2000USD... 阅读全帖 |
|
H**r
发帖数: 10015 | 49 Lamport英语非常好，难道不是真正的大牛？ |
|
d********f
发帖数: 43471 | 50 【 以下文字转载自 Stock 讨论区 】
发信人: marketwatch (市场观察), 信区: Stock
标 题: 从Latex的设计者谈大牛特征
发信站: BBS 未名空间站 (Sun Nov 8 11:26:20 2015, 美东)
Leslie Lamport, 2013年图灵奖得主，研究分布式计算系统。现在学术界普遍使用的文
本编辑器Latex最初是他闲暇之余设计并实现的。大牛的骨子里有一种精神需求，即使
没想改变世界，也想改变自己的环境，提高工作效率，工艺善其事必先利其器。这个创
造工具的需求很多人都有。
炒股人，不一定非要完成什么大型软件，哪怕完成一个小小的数学模型也是好的。读书
的目的不是为了记住，而是为了完善你的模型。模型完善了，书就可以扔了。炒股大牛
一辈子的主要工作就是，改进模型，到市场上实验，再改进，再实验，20年如一日。如
果你真的读过，真的仔细读过，传奇操盘手自己写的书的话，就知道有些事情是确定的
，多数人太懒或忙于别的事，懒得去发现真相。不错真相会过期变质，要不断update，
但不代表不存在。 |
|
