[牛人]Salesforce创始人-马克·贝尼奥夫

Posted on Thu 22 December 2011 in 我记 • Tagged with PaaS, SaaS, 牛人

成就

Marc Benioff,云计算先驱,salesforce.com创始人、现任CEO。一直致力于传播SaaS理念,同时也是PaaS一词的创造者。作为云计算的布道者,出版过三本书来宣传自己的理念,其中包括畅销书《Behind The Cloud》。 SalesForce与Amazon和Google被认为是云计算的三大领导企业。

生平

1964年出生于美国加利佛尼亚州。中学时期与同学创办了Liberty Software的公司,针对Atari系统生成和销售游戏,他奶奶负责制作音乐。

1984年,Benioff在南加州大学主修公司管理,在暑假期间他在苹果公司Macintosh计算机部门实习,做汇编语言程序员。

大学毕业后,他进入Oracle,第一份工作是客服,负责接听800热线电话。 1999年春天,SalesForce创立,但当时还只是Benioff的副业。这里要提一下Larry Ellison,他对Benioff的创业非常支持,除了投资200万美元之外,还允许Benioff上午在Salesforce上吧,下午来Oracle上班。并在90天后新公司财务独立时建议他辞职,承诺日后公司经营不善,还可以回Oracle,甚至同意他从Oracle挖走三个员工。

具备程序员大牛普遍具有的众多优良品质,最瞩目的一点就是他热心慈善。2010年,他以自己和妻子的名义向UCSF(美国加州大学旧金山分校)的儿童医院捐赠1亿美元。

Reference ...


Continue reading

[牛人]软件传奇Dennis M. Ritchie

Posted on Sat 03 December 2011 in 转载 • Tagged with C, Unix, 牛人

文/佳琦

Dennis MacAlistair Ritchie,C 语言之父, 1 9 4 1 年9 月9 日出生于美国纽约。在技术圈里, 他常被称为DMR ( 这是他在贝尔实验室的用户名, 后来成为他常用的代号)。

DMR曾在哈佛大学研习物理和应用数学,1967年进入贝尔实验室,并任朗讯系统软件研究部门领导人。1983年他和Kenneth Lane Thompson 一同获得了图灵奖,以表彰他们对“研究发展了通用的操作系统理论,尤其是实现了Unix操作系统”的贡献。1999年两人又因创造发展C语言和Unix操作系统获得了美国国家技术奖章。 DMR的父亲Alistair E. Ritchie是他的第一位人生导师。Alistair Ritchie长期担任贝尔实验室科学家一职,在电路晶体管理论方面颇有造诣。在父亲的影响下,DMR在大学开始对计算机着迷,那时的计算机还是古老的打孔卡片设备。DMR更加着迷于计算机处理的理论和实际问题,1968年DMR获得数学博士学位的论文,正是计算机理论相关的《递归函数的层次》。

加入贝尔实验室不久,DMR就参与了Multics项目,负责多道处理机的BCPL语言和GE650的编译器,它们都属于GECOS系统。同样的,他也写了ALTRAN语言的代数编译器,那是用于符号计算机的一种语言和系统 ...


Continue reading

[牛人]Scrum的故事

Posted on Sat 15 October 2011 in 转载 • Tagged with Scrum, 牛人

文/司斌 2001年2月,17位敏捷先驱齐聚犹他雪鸟度假村,起草《敏捷宣言》的时候,Scrum只是众多方法中不太起眼的一个。十年之后,Scrum却成为最流行的敏捷方法,几乎成为敏捷的代名词。

本文来介绍下Scrum的两位创始人——Jeff Sutherland与Ken Schwaber。 大家可能不会想到,Jeff Sutherland的第一份工作居然是美国空军战斗机飞行员,还曾于1967年获得了“壮志凌云”称号,完成过100次飞越北部越南的作战任务。服役后期,他到斯坦福大学拿下统计学硕士学位,并在美国空军学院教授数学统计学和概率学。11年军旅生涯结束后,他成为了科罗拉多医学院的教师并获得了博士学位。在诺贝尔化学奖得主莱纳斯·鲍林的赞助下,他以放射学、生物学及预防医学助理教授的身份参与了维生素与癌症研究中心的创立,担任八年国家癌症中心的主要研究员,负责科罗拉多地区所有癌症患者的数据统计和IT方案与研究,整合了国家注册、临床试验、流行病学研究和癌变的超级计算机数学模型。1983年,他进入了一家遍及北美、经营着150家银行的公司,职务为先进系统副总裁及ATM业务部总经理。此后,Sutherland先后担任了11家软件公司的CEO、CTO或者工程副总裁,积累了丰富的软件开发经验。

Scrum的另一位主角Ken Schwaber最初的职业也很特别——商船经理。在随后40多年开发生涯的前10年中,他曾经编写过操作系统,搞过嵌入式 ...


Continue reading

[牛人]Aaron Levie的创业感悟

Posted on Thu 06 October 2011 in 我思 • Tagged with 成长, 牛人

这些观点对于开发者和项目经理也很有价值。

Make sure you’re constantly doing something that wasn’t possible 3 years ago

要经常做做3年前不可能做的。 Intel创始人Andy Grove说,如果你不能为用户创造10倍以上的成本和效率改善,那么你不可能获得成功。 对于创造用户所需系统的工程师来说,应该思考系统能够带来何种价值?是为用户提供了效率改善还是能为公司降低成本? 哪些是以前没做过的,现在有哪些可能可以做了。千万别被条条框框束缚,要从尽可能高的视角看待问题,例如市场和公司的角度。

Do something you’re extremely passionate about

做一些让你觉得有激情的事情。

说到如何激发工程师的工作热情,可能我的想法比较单纯,因为我从心眼儿里觉得开发是一件快乐的事情,无论是用UML把系统描画出来还是直接用代码实现逻辑。 和把开发仅仅当成工作的人相比,在面对困难时的心态和行动,其实差别是挺大的。想得太多,痛苦也多。开发从本质上来说是个创造性很强的活儿,容易从中感到成就感。单纯起来,可能会比较容易产生激情。 扪心自问 ...


Continue reading

[牛人]分布式计算领域的哥德尔Eric Brewer

Posted on Fri 12 August 2011 in 转载 • Tagged with CAP, 牛人

文/苏椰

2010年3月,ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的Eric Brewer教授,以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位,随后在麻省理工学院获得计算机科学硕士和博士学位。32岁时,他拿到了伯克利的终身教授职位,这个职位是很多人的毕生梦想,而他却初出江湖就将其纳入囊中。这到底是个什么人?他到底做了什么事? 要说Brewer教授的工作,我们要从80年前的另一个人说起。1930年,著名数学家希尔伯特发表了他著名的退休演讲,其中有一句话鼓舞了一代数学家:“我们必须知道,我们必将知道。”这句话所指的,是他的“希尔伯特计划”,也就是证明数学体系的完备性、相容性和可判定性。数学家们为这美好的未来而不懈奋斗,然而这场美梦却被一个人打破了。1931年,哥德尔证明了,任何完备的系统都是不相容的,而任何相容的系统都是不完备的,二者不可得兼,这就是哥德尔定理。这个证明彻底摧毁了希尔伯特计划,使数学变成了一个残缺的世界。说到这里,不妨说一点题外话,希尔伯特提出的三个问题,哥德尔解决了前两个。那么剩下一个“可判定性”呢?这个问题是由艾伦·图灵在1936年的论文中首次解决的,也正是在这篇论文中,他提出了图灵机,后来成为现代计算机的理论模型 ...


Continue reading

[牛人]UML创始人之Grady Booch

Posted on Sun 12 June 2011 in it • Tagged with UML, 牛人

Booch是Rational软件工程公司的首席科学家和Booch方法的主创人。

他与 James Rumbaugh 和 Ivar Jacobson 一起,是UML(统一建模语言)的创始人,三人合著了UML参考手册,是学习UML的最佳教材。

Booch于一九七七年毕业于美国空军军官学校,并于一九七九年在加州大学圣.巴巴拉分校获得计算机工程硕士学位。 Rational公司成立不久,Booch就加盟这个公司。在过去的十几年里他孜孜不倦地在面向对象领域里研究,取得了开拓性的研究成果。

他开发了面向对象的分析设计方法Booch Method和可重用的、灵活的Booch组件。 他还是Rational公司一些产品的开发者,包括该公司最初的软件工程环境Rational Enviroment及业界领先的可视化建模工具Ration Rose。

Reference

http://en.wikipedia.org/wiki/Grady_Booch


Continue reading

[牛人]现代软件开发之父Ivar Jacobson

Posted on Sun 12 June 2011 in 我记 • Tagged with UML, 牛人

成就

组件架构

1967年Jacobson在爱立信时,引入了组件作为软件开发的基本构造块的方法,他发明了顺序图和协作图,用于对组件的交互建模,他同时也应用状态转移图来对组件建模。

建模语言

Jacobson是SDL的最初设计者,是从爱立信的组件工作中演化而来的,SDL在1976年被国际电信团体采用为标准。 1997年,Ivar博士与Grady Booch和James Rumbaugh一道共同创建了UML统一建模语言。

用例和用例驱动开发

Jacobson发明了用例来说明功能需求,用例驱动开发来驱动用户接口设计、软件设计以及测试。

面向方面软件开发

1986年,Jacobson描述了面向方面软件开发背后的一个核心思想,面向方面正成为现代软件开发的一个非常重要的趋势。

业务建模

Jacobson基于业务用例和业务对象,开发了一种业务建模技术。

软件过程

Jacobson是基于组件软件开发的Objectory过程之父,Objectory过程逐渐进化为Rational统一过程(RUP)。

生平

1995.10 – 2003.3:Rational Software公司副总裁 1987.4-1995.10:瑞典Objectory AB公司的创始人、CEO 1963.6-1987.4:爱立信公司 2003 ...


Continue reading

[牛人]软件开发方法学家James Rumbaugh

Posted on Sun 12 June 2011 in it • Tagged with DSM, OMT, UML, 牛人

1947年在美国出生,是享誉全球的软件开发方法学家。 他是对象建模技术(Object Modeling Technique,OMT)的首席开发人员,OMT 是一流的面向对象分析和设计方法,也是 UML 的前身。 在 1994 年加入 Rational 软件公司之前,Jim 在纽约斯卡奈塔第的通用电气研发中心工作了25年多。正是在那里,他开发了 DSM (Domain-Specific Modeling)领域定义建模,提升了代码层面的抽象层次。 他与 Grady Booch 和 Ivar Jacobson 一起,是UML(统一建模语言)的创始人,三人合著了UML参考手册,是学习UML的最佳教材。

他拥有麻省理工学院的物理学学士学位和计算机科学博士学位,同时,他还是加利福尼亚理工学院的天文学硕士。

Reference

http://en.wikipedia.org/wiki/James_Rumbaugh http ...


Continue reading

[牛人]Android之父Andy Rubin

Posted on Sat 11 June 2011 in 转载 • Tagged with Android, 牛人

Andy的经历告诉我们,程序员一定要厚道且有创造力!

早年岁月

Andy Rubin1963年生于纽约州Chappaqua镇,父亲是学心理学的,经营一家电子玩具直销公司。销售样品拍照放进销售目录之后,就属于小Andy的了,他的房间满是各种最新的电子玩具。反复拆装这些玩具是他最爱做的事情之一。他的Geek基因由此种下。 大学毕业后,他加入以光学仪器知名的卡尔·蔡司公司担任机器人工程师,主要从事数字通信网络。后来他还曾经在瑞士一家机器人公司工作,工作得很开心。然而,一个偶然事件改变他的一生。 1989年,Andy到开曼群岛旅游,清晨独自在沙滩漫步时遇到一个人可怜地睡在躺椅上——他和女朋友吵架,被赶出了海边别墅。Andy给他找了住处。作为回报,这位老兄答应引荐Andy到自己所在的公司工作。原来,此人是正处在第一个全盛时期的苹果公司的一名工程师。 不平凡的硅谷经历让Andy Rubin在工程师主导的苹果公司可以说是如鱼得水,桌面系统Quadra和历史上第一个软Modem都是他的作品。他也不忘展示一下自己的Geek本色:对公司的内部电话系统进行了重新编程,伪装CEO打电话给人事,指示要给自己组里的工程师同事股票奖励。当然,信息部门免不了来找他的麻烦。 1990年,苹果的手持设备部门独立出来,成立了General Magic公司。两年后,Andy认定这个领域一定大有作为,选择加入。在这里,他完全融入到公司全身心投入的工程师文化中。他和同事们在自己的小隔间上方搭起了床,几乎24小时吃住在办公室 ...


Continue reading

感悟《哥德尔》

Posted on Sat 31 January 2009 in 转载 • Tagged with Reading, 牛人

作者:纪志刚
  有一个人曾在不到两年的时间内让数学界感受了大喜与大悲的经历,他就是哥德尔(Kurt Godel,1906/4/28-1978/1/14)。
  1929年秋,哥德尔在他的博士论文中证明了一阶逻辑的完全性,这对于当时试图以“公理化”方法构建数学基础的形式主义学派是一个莫大的鼓舞。希尔伯特,形式主义学派的领军人物,确信他的元数学和证明论将会成功地确立全部数学的相容性和完全性。哥德尔的逻辑完全性定理似乎表明曙光就在前头。1930年夏天,柯尼斯堡,康德的诞生地,也是希尔伯特的故乡,在接受“荣誉市民”受礼仪式的演说中,希尔伯特坚定地说出最后一句话:“我们必须知道,我们必将知道(Wir müssen wissen. Wir werden wissen)”。
  但就在第二年,哥德尔发表的另一篇论文却打开了“潘多拉的盒子”。这篇题为《论〈数学原理〉及有关系统的形式不可判定命题》(1931年)的论文包含了两个惊世骇俗的结论,其中对数学界尤具毁灭性的断言是:任何数学系统,只要其能包含整数的算术,其相容性就不可能通过几个基础学派 ...


Continue reading

超凡入圣:20世纪的自然科学大家

Posted on Sun 04 January 2009 in 我记 • Tagged with 牛人


- David Hilbert (January 23, 1862 – February 14, 1943)
大卫·希尔伯特
德国数学家,因为发明和发展了大量的思想观念(例如:不变量理论,公理化几何,希尔伯特空间)而被尊为伟大的数学家、科学家。希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于:1900年,在巴黎的国际数学家大会提出的一系列问题(希尔伯特的23个问题)为20世纪的许多数学研究指出方向。



- Kurt Godel (April 28, 1906, Brno – January 14, 1978, Princeton, New Jersey)
库尔特·哥德尔
奥地利数学家和哲学家。在数理逻辑的历史上,哥德尔的工作起着承前启后的作用。1928年希尔伯特在意大利波伦那召开的国际数学家大会上提出的四个问题,很快就被哥德尔原则上解决了。尤其是
哥德尔不完备定理,把人们引向一种完全不同的境界 ...


Continue reading