g***e
发帖数: 1168 | 1 Lamport的paper我也三不五时会读，居然13年才turing award winner?
相比之下今年的stonebraker真是。。。
还真不知道latex是他首发的，knuth的阴影太大，惭愧 |
|
d********t
发帖数: 29 | 2 http://www.nasonline.org/site/PageServer?pagename=News_May_3_20
News
Date: May 3, 2011
FOR IMMEDIATE RELEASE
National Academy of Sciences
Members and Foreign Associates Elected
The National Academy of Sciences today announced the election of 72 new
members and 18 foreign associates from 15 countries in recognition of their
distinguished and continuing achievements in original research.
Those elected today bring the total number of active members to 2,113 and
the total number of foreign associat... 阅读全帖 |
|
s*****e
发帖数: 970 | 3 作为Chair of IEEE Shanghai Section，电子信息与电气工程学院毛军发教授应邀
参加了2008年9月18-22日在加拿大魁北克市召开的2008 IEEE SECTION CONGRESS 和
2008 IEEE颁奖典礼。IEEE SECTION CONGRESS 每3年召开一次，参会人员包括IEEE全球
300多个SECTION的主席和IEEE总部与地区负责人，会议宗旨是讨论IEEE发展的一些战略
性问题。在2008 IEEE颁奖典礼上，一批对电气与电子信息技术发展作出杰出贡献的国
际学术大师受到了表彰，如模拟集成电路领域著名学者美国加州伯克利大学的Paul R
Gray教授，分布式计算领域著名学者美国微软公司的L Lamport博士，韩国三星公司CTO
Jong Yong Yun等。2008年IEEE最高奖IEEE Medal of Honor（相当于电子信息领域的
诺贝尔奖）获得者是美国Intel公司的创始人、美国工程院院士、集成电路领域著名的
摩尔定律的提出者Gordon E Moore博士。
通过参加这次会议，结识了一些国际学术大师，也进一步认识到了国内 |
|
c******n
发帖数: 4965 | 4 Hejlsberg being put together with Lampson is a disgrace to the latter
Lesslie Lamport is not in, looks like he really is not good at human
relations :) |
|
w********c
发帖数: 2632 | 5 ☆─────────────────────────────────────☆
creation (yy) 于 (Wed Oct 13 22:15:44 2004) 提到:
? in distributed algorithms ??
looks like a cool guy, but not many people seem to understand his work
even many journal reviewers and famous people in the field
☆─────────────────────────────────────☆
wildThing (呼吁美国人每周少吃一包薯条) 于 (Thu Oct 14 02:58:59 2004) 提到:
what about his work in distributed algorithms?
☆─────────────────────────────────────☆
cdr (可读可写) 于 (Thu Oct 14 15:23:49 2004) 提到:
What m |
|
w********c
发帖数: 2632 | 6 ☆─────────────────────────────────────☆
legion (legion) 于 (Fri Oct 15 00:32:55 2004) 提到:
it depends, just like Latex is more friendly than Tex. right? :D
☆─────────────────────────────────────☆
creation (yy) 于 (Fri Oct 15 19:03:08 2004) 提到:
you seriously understand his Paxos paper?
it this one that many (famous) reviewers don't understand
I can't even understand his "paxos made simple" ------- still trying :(
models
some of
☆─────────────────────────────────────☆
cdr (可读可写) 于 (Fr |
|
w**********s
发帖数: 291 | 7 是听说他的论文写的很漂亮。很佩服。还听一个美国华人教授提到他，异常崇敬。甚至
将他和knuth比较原创性思想上的贡献大小（当然属于个人观点）。
我说难的意思是，如果不是这个领域的，可能都难以理解哪些工作的基本概念。而对于
其他图灵奖的工作，比如数据库，操作系统，模型检验等等，大家都大概有个概念，多
少“懂”一些。这可能更多是由于理论计算领域的关系，而不是他做的工作特有的——
这点我完全是外行了。
说到引用率，我同意他的引用是很高的。但比他还高的，还有不少（比如我知道做理论
的lamport)。其他热门一点的领域，比如网络，那就更高了（根据google scholar,
Berkley的ion stoica的一篇chord论文，几年之内引用就上了6000多。个人总引用数快
到一万了)。
那些人可能都得不了图灵奖。所以，我的意思是，工作有时候不能看光看popularity。
个人浅见，望指教。 |
|
f******8
发帖数: 260 | 8 得图灵奖的主要都在algorithm theory，formal language和programming language三
大领域。System方向得奖的很少。网络就更少了，就TCP/IP那俩哥们。你想想，网络里
还有啥能和TCP/IP相提并论的contribution了？数据库有三个，下一个在这个方向上拿
奖的我猜会是stanford的Jeffrey Ullman和data mining创始人Rakesh Agrawal中的一
个。还有一些方向从没拿过奖。像distributed system，估计要有就给Leslie Lamport
了。还有real time system，姚期智的老板David Liu是这个方向的老大。 |
|
c*****r
发帖数: 67 | 9 数据库没有Michael Stonebraker?
Lamport |
|
x*******1
发帖数: 28835 | 10 大卫刘不做大哥好多年，而且也不能算大牛。 real time system做得比较好的，还是
Utexas那几个老头。
Lamport |
|
s****d
发帖数: 56 | 11 这个很有难度的，lamport那套些东西挺搞脑子的
data mining做的人很多，focus在DB或者ML都可以 |
|
s*****g
发帖数: 5159 | 12 我乐观的认为，三个审稿人，依概率，会有等同于一个严谨的审稿人的工作，把证明仔
细看过。
有些特别晦涩难懂的证明，有可能由于太深奥，也有可能由于作者表述能力差。这种是
据是收，就要看运气了。
每年SODA都有几篇收了但是作者撤稿的论文，其中一部分就是因为作者自己发现了错误
，在这点上，我觉得理论研究者还是值得褒奖的。
下面是Lamport在How to write a proof里面的一段话，这片短文讲的是一种有助于作
者发现错误的证明书写方法。最后一段话未完的批评了计算机科学的研究者，我在后面
翻译了一下。
Modern mathematical notation has evolved over hundreds of years. Its proof
style is still stuck in the seventeenth century. Mathematicians tend to be
conservative, and many are unwilling to consider that there might be a
better way of writing |
|
|
c***a
发帖数: 84 | 14 Quote from Lamport: "Jim Gray once told me that he had heard two different
opinions of this paper: that it's trivial and that it's brilliant. I can't
argue with the former, and I am disinclined to argue with the latter. " |
|
C**p
发帖数: 99 | 15
差别是lamport提的东西industry真的有再用，且用了很多吧
不能跟其他那种真的就是在忽悠人的paper相提并论啦 |
|
R*********v
发帖数: 13 | 16 我说的是atomic register，shared memory里的。
Lamport 搞的很多东西基本上都是foundation性质
没有这些东西，distributed system 的correctness, robustness performance 无从
谈起
只能说你不了解他的工作的重要性罢了 |
|
c***a
发帖数: 84 | 17 Quote from Lamport: "Jim Gray once told me that he had heard two different
opinions of this paper: that it's trivial and that it's brilliant. I can't
argue with the former, and I am disinclined to argue with the latter. " |
|
C**p
发帖数: 99 | 18
差别是lamport提的东西industry真的有再用，且用了很多吧
不能跟其他那种真的就是在忽悠人的paper相提并论啦 |
|
R*********v
发帖数: 13 | 19 我说的是atomic register，shared memory里的。
Lamport 搞的很多东西基本上都是foundation性质
没有这些东西，distributed system 的correctness, robustness performance 无从
谈起
只能说你不了解他的工作的重要性罢了 |
|
b***s
发帖数: 14 | 20 one straight forward solution (probably not the best) would be creating
another table with peer information. Assume each peer has a unique ID,
the table can be as simple as:
peerID LatestTupleSentToThisPeer
===================================
Also, you need to make sure the clocks on each peer are synchronized
(google "lamport clock"). |
|
r*****3
发帖数: 143 | 21 中文名: Latex 教程
原名: LaTeX and Friends
作者: van Dongen
图书分类: 科技
资源格式: PDF
版本: 英文版
出版社: Springer
书号: 978-3-642-23815-4
发行时间: 2012年
地区: 德国
语言: 英文
简介:
内容介绍：
LaTeX 是一种排版软件系统，使用 Knuth 设计的TeX作为它的格式化引擎，当前的版本
是LaTeX2ε。
Leslie Lamport 开发的LATEX是当今世界上最流行和使用最为广泛的TEX宏集。它
构筑在Plain TEX 的基础之上，并加进了很多的功能以使得使用者可以更为方便的利用
TEX的强大功能。使用LATEX基本上不需要使用者自己设计命令和宏等，因为LATEX已经
替你做好了。因此，即使使用者并不是很了解TEX，也可以在短短的时间内生成高质量
的文档。对于生成复杂的数学公式,LATEX表现的更为出色。
目录:
Foreword v
Preface xxi
Book Outline xxiii
Acknowledgements xxv
I Basics 1
1 Introd... 阅读全帖 |
|
G*****7
发帖数: 1759 | 22 see, i did not know that.
turns out the inventor of Leslie Lamport, another great computer science
procrastinator, who wrote about the Byzantine Generals' Problem. |
|
p***o
发帖数: 1252 | 23 100k/s那段不对，如果票不相关（不同车次），就无所谓先后，可以分布式处理。
票相关的时候（同一车次）才需要考虑先后，需要顺序处理的请求数会远小于100k/s。
这概念Lamport 30年前就说的很清楚了。 |
|
j********x
发帖数: 2330 | 24 zookeeper牛逼个鸟鸟啊。。。牛逼也是lamport牛逼，google略牛逼，zookeeper跟在
屁股后面邯郸学步的也好意思说牛逼。。。 |
|
t**r
发帖数: 3428 | 25 lambo是牛逼 当然是最高层次的。
但是实现lamport算法，做成系统 也是牛逼。层次虽然不一样，但是比普通码农还是牛
逼好几个层面的
IMHO. |
|
j********x
发帖数: 2330 | 26 补充一下zookeeper用的不是lamport的paxos。。。 |
|
w***w
发帖数: 84 | 27 说得好 p孩们也不要学了两门编程语言 就来质疑 Knuth Lamport. |
|
s*******u
发帖数: 1855 | 28 跟领导普及open source，讲到stallman跟torvalds如何灭掉msft。领导问，这两个谁
更牛呢？good question。一个身为programmer，写了emacs，gcc等等，身为leader，
搞了gnu，gpl，free software，等等。一个身为programmer搞了git跟linux kernel，
身为leader捧出linux。都是顶级大牛，估计programmer中的李白杜甫吧（很多大牛，
比如Turing award大拿们，lamport之类，身为computer scientist显然更牛，但是作
为programmer，还是拉倒吧）。
大家觉得谁更牛呢？ |
|
z****e
发帖数: 54598 | 29 其实蓝胖子搞的那几个理论，就算没有他，估计其它人也能搞出来
：Lamport 是建筑师， stallman torvalds 是木匠和管子工
：这世上觉得木匠比建筑师牛逼的恐怕只剩码农了 |
|
z*******3
发帖数: 13709 | 30
去年就说过了
http://www.mitbbs.com/article_t/CS/31215505.html
可惜当时问了一圈，没啥鸟人回应
现在兴趣已经转移了，实在是不想再在这些东西上浪费时间
你要是不服，尽管把他的论文罗列出来
我去看就是了，不过实在是没啥兴趣浪费这个时间
未必有多大意义，我也怀疑这里面有啥值得搞的地方
他拿不拿图灵奖，他自己说的，你洗地不用这么积极，没有工资拿的
发信人: corba (corba), 信区: CS
标 题: Re: 求科普，今年图灵奖那个来私利蓝怕，有啥重要突出的贡献？
发信站: BBS 未名空间站 (Fri Jun 6 09:56:06 2014, 美东)
Quote from Lamport: "Jim Gray once told me that he had heard two different
opinions of this paper: that it's trivial and that it's brilliant. I can't
argue with the former, and I am disincline... 阅读全帖 |
|
r***s
发帖数: 737 | 31 我擦， 你丫估计连时序逻辑和公平性是啥都不知道
就敢评论
Lamport. 真真正正的无知者无畏。 对他的争议
是有也轮不到你头上。 懂得比你多的人试图超越
他的人多了。
再问你一次，几十年以后时髦的raft 和Zookeeper
和几十年前的Paxos有什么区别？你丫连这也说不上也敢说看懂了Paxos? |
|
c***a
发帖数: 84 | 32 都是牛人。你这么推Lamport贬Torvalds也没什么意思。 |
|
n******t
发帖数: 4406 | 33 lamport的东西，只要认真学过数学的（抽象代数，数学分析），在那个时间点去搞，
一定能搞出来。因为他的solution的确很intuitive。 |
|
H**r
发帖数: 10015 | 34 文科生露怯了吧
Lamport这些distributed system的大神都是学术界的
CAP theory也是伯克利教授搞得（一直在学校）
Socket是伯里克80年代的 |
|
H**r
发帖数: 10015 | 35 Lamport的logic clock等理论可以说是现代distribted system的奠基人
五十年对于计算机来说很古老了，Dijistra也就最近几十年的大神，不仅对算法等领域
贡献极大，对分布式系统其实也有不少贡献 |
|
h***n
发帖数: 36 | 36 I've got quite many latex books. To me, I'll highly recommend the famous "The
Latex Companion" book if you already know the basic stuffs. It is a very
good reference book. If you are just starting using Latex, Lamport's LaTeX
book is a good place to go, or the free "not so short guide to latex".
Another popular one is "Guide to Latex", however to me it is not as easy to
find something I want as in the companion book. |
|
T*******n
发帖数: 493 | 37 I normally refer to "The LaTeX Companion", currently in
the second edition, written by the LaTeX developers,
ISBN 0-201-36299-6. It's US$60, but in my opinion
well worth it if you are a serious user of LaTeX.
The book by Lamport, the original developer of LaTeX,
ISBN 0-201-52983-1, it much lighter in weight, and
probably costs arount US$30-40. It is more suitable for
beginner users of LaTeX.
I don't use other reference books (other than Knuth's
TeXbook, which isn't LaTeX-specific), so I can't |
|
i*****o
发帖数: 42 | 38 我不需要[1]， [2] in front of each reference,如何搞定？
GOOGLE了半天还没搞定，谢谢指点！
\documentclass[12pt,titlepage]{article}
\usepackage{graphicx}
\usepackage{caption2}
\usepackage{amsfonts}
\usepackage{amsmath,float,times,rotating}
\usepackage{amssymb,graphics, dcolumn}
\begin{thebibliography}{1}
\bibitem{kopka95} Helmut Kopka and Patrick W. Daly, 1995,``A Guide to \LaTeX2e
1995).
\bibitem{lamport94} Leslie Lamport, 1994, ``\LaTeX\ : a document preparation
system'', 2nd edition (updated for
\LaTeX2e), Addison-Wes |
|
a**e
发帖数: 5794 | 39 LaTeX是基于TeX的一些宏。Knuth本人理论水平很高，实现能力稍弱。
所以他的TeX提供了很好的算法和发动机（engine），但是语法比较
原始、繁琐。
Lamport把TeX封装、修饰了一下，这就是LaTeX。它提供了较好的格
式（format）。其他人开发了很多基于这种格式的宏包（package）。
TeX的直接输出是DVI，后来有人把它扩展为pdfTeX，可以直接输出
PDF。后来人们给pdfTeX加上了对一种脚本语言Lua的支持，也就是
LuaTeX
TeX由于历史的局限，只能处理8位字符。所以后来出现了XeTeX，支
持Unicode和OpenType等。
所以发动机端目前有TeX, pdfTeX, LuaTeX和XeTeX。格式端有LaTeX
及其变种XeLaTeX，还有ConTeXt。LuaTeX目前只能和ConTeXt一起用，
而XeTeX可以和XeLaTeX、ConTeXt混用。
我现在用XeTeX和XeLaTeX，因为它们是三个代表、浴室拘禁的。
在发动机和格式之上有个更高层的概念，发行包（distribution）。
这个层次的有MikTeX, TeXLiv |
|
j**********k
发帖数: 296 | 40 http://www.nasonline.org/site/PageServer?pagename=News_May_3_20
Date: May 3, 2011
FOR IMMEDIATE RELEASE
National Academy of Sciences
Members and Foreign Associates Elected
The National Academy of Sciences today announced the election of 72 new
members and 18 foreign associates from 15 countries in recognition of their
distinguished and continuing achievements in original research.
Those elected today bring the total number of active members to 2,113 and
the total number of foreign associates to... 阅读全帖 |
|
k*****n
发帖数: 417 | 41 【 以下文字转载自 Biology 讨论区 】
发信人: jurassicpark (猪拉稀·怕渴), 信区: Biology
标 题: NAS elected 72 new members
发信站: BBS 未名空间站 (Tue May 3 10:48:47 2011, 美东)
http://www.nasonline.org/site/PageServer?pagename=News_May_3_20
Date: May 3, 2011
FOR IMMEDIATE RELEASE
National Academy of Sciences
Members and Foreign Associates Elected
The National Academy of Sciences today announced the election of 72 new
members and 18 foreign associates from 15 countries in recognition of their
distinguished and continuing achieve... 阅读全帖 |
|
k*****n
发帖数: 417 | 42 【 以下文字转载自 Biology 讨论区 】
发信人: jurassicpark (猪拉稀·怕渴), 信区: Biology
标 题: NAS elected 72 new members
发信站: BBS 未名空间站 (Tue May 3 10:48:47 2011, 美东)
http://www.nasonline.org/site/PageServer?pagename=News_May_3_20
Date: May 3, 2011
FOR IMMEDIATE RELEASE
National Academy of Sciences
Members and Foreign Associates Elected
The National Academy of Sciences today announced the election of 72 new
members and 18 foreign associates from 15 countries in recognition of their
distinguished and continuing achieve... 阅读全帖 |
|
z*******n
发帖数: 1034 | 43 https://www.microsoft.com/en-us/research/publication/consensus-on-
transaction-commit/
论文作者图灵奖得主Jim Gray在2007年外出航行，transaction超时，
后来论文合作者Leslie Lamport中2013年图灵奖。
十分困难找到教主发表过论文，
十分困难找到教主受于什么论文启发。
教主密友Larry Ellison，
宣称他读懂了图灵奖得主Codd的论文，co-founded 数据库软件公司Oracle，
现列第七位于福布斯的The World's Billionaires 2017,
位列第一位的，教主的竞争者，发表过论文。
读论文有益，灌水有益。 |
|
|
z*******n
发帖数: 1034 | 45 第四十五任美国总统曾经tweeted: Comey is a leaker!
随后Comey说，是总统先谈论了相关事宜，
再之后，总统的私人律师发表正式回复：总统的相关谈论是在Comey的leaking之后。
显然地， 物理学家们里， 普朗克和爱因斯坦是Causality信仰， Lamport引述这一
term
到计算机领域, 写成他最重要的论文，
https://www.microsoft.com/en-us/research/publication/time-clocks-ordering-
events-distributed-system/
Did his figures make you want to have sex?
What the heck is this about？
在使用lock free数据结构时，就是要清晰order的需求，做此强调。
终于地， 要写代码了 |
|
