【历史上的今天】1 月 13 日：ML 语言之父出生；比尔·盖茨开始退位；谷歌收购 Nest
整理 | 王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是 2022 年 1 月 13 日，在 1906 年的今天，汉语拼音之父周有光出生。周有光生于中国江苏常州，是中国著名的语言学家、文字学家、经济学家，通晓汉、英、法、日四种语言；他是屈指可数的与爱因斯坦面谈过的中国人，曾参加并主持拟定《汉语拼音方案》，被誉为汉语拼音创始人之一。回顾科技历史上的 1 月 13 日，这一天还有过哪些关键事件发生呢？
1934 年 1 月 13 日：图灵奖自动定理证明先驱 Robin Milner 出生
罗宾·米尔纳（Robin Gorell Milner）出生于 1934 年 1 月 13 日，他是英国计算机科学家，因自动定理证明机 LCF、ML 语言、通信并发系统的一般性理论 CCS 三个方向的贡献获 1991 年图灵奖。他是英国皇家学会成员，ACM 会士；英国皇家学会米尔纳奖就是以他的名字命名的。2008 年，由于“对计算机科学的基本贡献，包括 LCF、ML、CCS 和微积分的发展” ，他被选为美国国家工程院外籍院士。
米尔纳出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952 年，他入读剑桥大学国王学院，1957 年毕业，随后担任教师赚了第一桶金，然后在 Ferranti 公司当程序员。此后他进入学术界，先后在伦敦城市大学，斯旺西大学，斯坦福大学任职。
1973 年，米尔纳回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了 LCF 的开发。ML（Meta Language）是一种支持命令式编程的函数式编程语言，是为了帮助在 LCF 定理证明机中寻找证明策略而设计的。ML 家族如今主要的两种方言是 Standard ML 和 Caml，影响了后来的 Haskell 等语言。
在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款，并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995 年，罗宾·米尔纳回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。2009 年起，米尔纳回归爱丁堡大学担任计算机科学主席。2010 年 3 月 20 日，米尔纳因心脏病发作卒于英国剑桥，享年 76 岁；他的妻子露西在他之前不久就去世了。
资料来源：维基百科、百度百科
2000 年 1 月 13 日：微软比尔·盖茨将其 CEO 头衔让给了 Steve Ballmer
2000 年 1 月，比尔·盖茨（Bill Gates）辞去微软的首席执行官，由史蒂夫·鲍尔默（Steve Ballmer）继任；他仍然担任董事长，并为自己创立了一个新职位“首席软体架构师”（Chief Software Architect）。2006 年 6 月，盖茨宣布，他将在微软的全职工作转变为兼职工作，渐渐地转移他的职责。盖茨于 2014 年 2 月辞去微软的董事长，同时仍作为技术顾问，协助新任命的首席执行官萨帝亚·纳德拉（Satya Nadella）。
史蒂夫·鲍尔默是盖茨的大学同学，于 1980 年 6 月 11 日成为微软公司的第 24 名雇员，是盖茨雇用的第一位商业经理。起初他能够拿到 5 万美元年薪，正好是当时公司资本的 1%。而微软公司 1981 年创立的时候，鲍尔默拥有 8%的股份。鲍尔默是世界上第一个只通过微软公司配给的股权成为的亿万富翁，而他既不是该公司的创始人，也不是其亲戚（而是大学同学）。
作为服务于微软最长时间的雇员，鲍尔默在担任微软 CEO 的任期和遗产受到了褒贬不一的评价；他于 2014 年下任后，微软公司销售额一共翻了三倍，利润翻了一番，但却失去了市场主导地位，错过了 21 世纪的技术趋势，例如以 iPhone 和 Android 形式出现的智能手机的崛起。鲍尔默还反对开源社区和开源软件，对竞争对手的公司和产品言辞激烈，造成了一种偏见。
常有人指出鲍尔默在任期间，微软错过了许多商业机会，包括触控智能手机和平板电脑。截至 2016 年第四季度，Windows Phone 的全球市场占有率仅为 0.3%。而 2012 年推出的 Microsoft Surface 平板电脑系列销量惨淡；鲍尔默也曾承认开发 Windows Vista 是他最遗憾的事，但微软似乎没有从 Vista 吸取教训，2012 年推出的 Windows 8 依旧收到不小负面评价。
2013 年 8 月，鲍尔默披露即将在一年内退休，当时微软股价涨了 8%，有言论直指鲍尔默是糟糕的 CEO，而鲍尔默反称自己在任微软期间，公司盈利方面做得已经相当不错，除了苹果之外，微软是最赚钱的公司。你如何看待微软在 2000 年至 2014 年这段时间的成果？鲍尔默做的够好吗？欢迎在评论区分享你的真知灼见。
资料来源：维基百科、百度百科
2014 年 1 月 13 日：谷歌收购 Nest
Nest Labs 由前苹果工程师 Tony Fadell 和 Matt Rogers 于 2010 年创立。该公司的首款旗舰产品是于 2011 年推出的 Nest Learning Thermostat。该产品具有可编程，自主学习和支持 Wi-Fi 等功能；随后是 2013 年 10 月推出的烟雾和一氧化碳探测器。到 2012 年底，公司迅速扩展到 130 多名员工。2014 年 1 月 13 日，谷歌宣布计划以 32 亿美元现金收购 Nest Labs；谷歌于次日，即 2014 年 1 月 14 日完成了收购。该公司从此独立于谷歌的其他业务运营。
2015 年 8 月，谷歌宣布将在新的母公司 Alphabet 下重组其业务，Nest 将作为新控股公司的子公司从谷歌中分离出来。重组导致 Nest 首席执行官托尼·法德尔（Tony Fadell）在 2016 年 6 月的博客文章中宣布，他将离开与马特·罗杰斯（Matt Rogers）共同创立的公司，并担任“顾问”角色。Nest 在 2016 年的问题很大程度上源于有限的市场。
根据 Forrester Research 的 Frank Gillet 的说法，只有 6% 的美国家庭拥有联网设备，例如电器、家庭监控系统、扬声器或照明设备。他还预测，到 2021 年，这一比例将仅增长到 15%。此外，普华永道在 2016 年进行的一项调查中，72% 的受访者预计未来两到五年内不会采用智能家居技术。到 2016 年 6 月，收购 Nest 被一些媒体描述为谷歌的“灾难”。
到了 2018 年 2 月 7 日，硬件负责人 Rick Osterloh 宣布 Nest 已与 Google Home 和 Chromecast 等部门直接并入 Google 的硬件部门。它将保留其独立的帕洛阿托总部，但 Nest 首席执行官 Marwan Fawaz 从此将向 Osterloh 汇报，并计划在未来的产品中与 Google 平台和软件（如 Google Assistant）更紧密地集成。消息宣布后不久，联合创始人兼首席产品官马特·罗杰斯（Matt Rogers）宣布了离开公司的计划。7 月，Nest 与由 Rishi Chandra 领导的谷歌家庭设备团队正式合并；随后在 2019 年的 Google I/O 主题演讲中，谷歌宣布 Google Nest 现在将作为 Google 所有家居产品的整合品牌。
曾几何时，亚马逊还没进军智能家居市场，大洋彼岸的小米也还没布局米家生态，Nest 便是当时的行业风向标；在被谷歌收购之后，Nest 从独立业务一度沦落到差点被 Alphabet 卖掉，又因为人工智能时代的到来被拉为谷歌智能家居的主要载体。命途多舛的 Nest 几乎便是谷歌这几年追逐硬件市场的一个缩影，空有强大的算法和 AI，却似乎永远抓不住用户的需求；谷歌在一次次阵痛中反省，以至于如今在智能家居市场全面落后于亚马逊。谷歌接下来还会怎么布局？让时间来见证这个问题的答案。
资料来源：维基百科、百度百科
2019 年 1 月 13 日：电视剧《硅谷繁荣》（Valley of the Boom）开始播出
《硅谷繁荣》（Valley of the Boom）是一部由马修·卡纳汉创作的美国纪录片电视迷你剧，于 2019 年 1 月 13 日在国家地理频道首播。《硅谷繁荣》仔细研究了投机文化、创新文化和放纵文化，这些文化导致了 1990 年代科技泡沫的快速膨胀和破裂；剧中结合史实与采访，讲述了硅谷早期戏剧性的真实内幕。而除了马克·库班（Mark Cuban）和阿里安娜·赫芬顿（Arianna Huffington）等其他互联网名人之外，该系列还采访了剧集部分中描绘的许多人。网景联合创始人兼前技术副总裁马克·安德森（Marc Andreessen）拒绝接受采访。
STXtelevision 在中国发行了该系列电视剧。虽然这部电视剧主要关注网景、theGlobe.com 和 Pixelon 三大有影响力的科技公司的快速兴衰，但该节目也突出了那个时代的小公司，如 sfGirl.com。使用科技产品的人很多，了解乔布斯、盖茨这样的名人名事的也不少，但这些科技事件背后辛勤劳作的程序员与科技历史，却鲜有人描绘。电视剧《硅谷繁荣》证明了网络历史这一主题与纪录片一样，庞大和摇摇欲坠，难以捉摸；无数英雄人物从科技热潮脱颖而出，并在经济泡沫之中存活下来，而这也是“历史上的今天”专栏一直在陈述的故事。
以史为镜，可以知兴替。计算机科学发展至今，有许多至关重要的事件、人物。在《新程序员：我们的技术时代，我们的程序人生》中，来自四十余位技术人跨越半个世纪，用代码敲出一个个真实的程序人生故事！
扫描或点击《新程序员：我们的技术时代，我们的程序人生》订阅！
