电脑怎么才能进外国网站 电脑怎么上外国网站
【电脑怎么才能进外国网站 电脑怎么上外国网站】整理 | 王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来 。
今天 2022 年 8 月 22 日 。历史上的今天，Masatoshi Shima 出生，他和 英特尔（Intel） 合作设计的芯片让第一个微处理器 Intel 4004 诞生，而 微处理器的发展 ，已经历了五代的变化，作用于家家户户的计算机 。
微处理器的诞生，让计算机从原本庞大无比的体积缩小成如今便携的模样，并间接地促进了计算机作为娱乐影音的功能诞生；如今，网络直播行业愈加火爆，直播已经从特定的职业变成了每个互联网企业都会参与的宣传行为 。
网络直播其实并非一个新兴的事物，它最早可以溯源至 1993 年——关于一个咖啡壶的直播 。而 2001 年的今天，就是这个“咖啡壶直播”被关闭的日子 。让我们钻入历史的长河一窥端倪，看看这些事件是如何对我们今天的科技生活产生影响的 。
1943 年 8 月 22 日：首个微处理器 Intel 4004 的设计者之一，Masatoshi Shima 出生图源：维基百科
Masatoshi Shima 是一位电子工程师，他于 1943 年 8 月 22 日出生在日本静冈市 。他是世界上第一个微处理器 Intel 4004 的设计者之一，这款芯片由四人共同设计，除了 Busicom 公司的 Masatoshi Shima，还有英特尔（Intel）公司的 费德里克·法金（Federico Faggin） 、 泰德·霍夫（Ted Hoff） 和 斯坦利·马泽尔（Stanley Mazor） 。
英特尔创始于 1968，而 1971 年诞生的 Intel 4004 正是英特尔初出茅庐时威震科技界的作品，有趣的是，4004 在当时其实仅是一个因人手不足险些失败的筹钱项目，专门为日本的 Busicom 公司设计制造——也就是 Masatoshi Shima 所在的公司 。
20 世纪 60-70 年代是芯片界逐鹿的时代，许多大公司都参与到了微处理器的竞争中，而最后是初来乍到的英特尔赢得胜利：这得益于上一段提到的四位工程师，其中一位便是 Masatoshi Shima，他甚至不为英特尔工作 。
Intel 4004 所带来的计算革命改变了整个世界 。英特尔凭借 4004 崛起，逐渐获得了全球的主导地位；而作为世界上第一个单芯片的微处理器，它的“后代”一直进化发展，我们如今使用的手机和个人电脑里的处理器都残留着 4004 的影子 。
1955 年 8 月 22 日：世界上第一个计算机用户小组成立1955 年的今天，在 IBM 公司主办的洛杉矶研讨会之后，订购 IBM 704 大型计算机的 17 个小组代表在加州圣莫尼卡的 Rand 公司会面 。会议的成果是成立一个计算机用户小组 SHARE 。选择这个名字是为了促进在安装之间共享信息和程序的想法 。这个团队发展迅速，最终为他们的 IBM 电脑生产新的软件和文档 。
IBM 704 大型计算机是 IBM 700 系列的成员，是 IBM 700 科学计算机系列的第一款专为工程和科学计算而设计的计算机，也是世界上第一款采用磁核内存和 FORTRAN 编程语言的机器 。我们如今玩的“21 点”纸牌游戏，其规则就是在当年运行了数百万次模拟打牌得出的 。
IBM 700 系列和人工智能也有点渊源，1962 年，跳棋高手的 Robert Nealey 和 IBM 7094 进行了跳棋对战，计算机最终获胜；在 20 世纪 60 年代初向人们展示了计算机的运算能力，被视为人工智能的里程碑 。
这个用户小组并非我们如今说的计算机术语“用户组”，而是一群程序员为了分享自己的想法而聚在一起的团体组织 。2022 年的我们，可以通过通讯软件、远程会议、博客和 CSDN 等论坛网站进行技术讨论与交流，而疫情的影响也让我们减少了线下聚会的时间；而正是在如今这样的社会背景，让远程网络会议系统急速发展，和疫情初期的窘迫仓促已然不同 。
2001 年 8 月 22 日：网络直播的鼻祖“咖啡壶直播”的终结你平时会看各种类型的直播吗？网络直播是如今最热门的网络社交方式之一，截至 2020 年的 12 月，我国网民规模达 9.89 亿，短视频用户规模为 8.73 亿，网络直播用户规模达 6.17 亿；也就是说，有六成左右的网民是网络直播的受众，这也是网络直播能成为热门产业的原因之一 。在我们的印象里，网络直播是近十年才新兴的行业，但是，它其实已经有了近 30 年的历史 。
名义上的“网络直播第一人”是美国的一名女大学生，珍妮弗·林利（Jennifer Ringley），当时年仅 19 岁的她建立了一个叫 Jennicam 的直播网站，每天用宿舍里的电脑摄像头直播自己的生活 。这个发生在 1996 年的无心之举，彻底改变了今天的现代社会 。
但是，珍妮弗只是世界上第一个使用网络摄像头进行直播的“人类”——真正意义的世界上第一个网络摄像头实际上安装于 1993 年，用于直播学校休息室的咖啡壶情况 。
图源：CSDN 下载自东方 IC
1994 年，剑桥大学计算机研究室的 Quentin Stafford-Fraser 和 Paul Jardetzky 博士面临着一个问题：整个研究室要共用一台咖啡机，而实验室却分布在不同的楼层 。这导致当时想在忙碌之余来杯咖啡的研究员经常上下楼白跑一趟 。为了解决这个问题，两位博士在咖啡机面前装了一个摄像头，每分钟抓取三次图像，然后上传到电脑上，监控当前咖啡壶里的咖啡剩余情况 。
随后，他们编写了一整套软件让其他同事在局域网里一起监控咖啡壶，并在 1993 年把直播画面上传到了互联网上，全世界第一个直播平台应运而生 。世界各地的数百万科技爱好者都会跑去看实验室里的咖啡壶直播 。
这个过程十分的无聊的直播持续了十年，获得了数百万次点击 。2001 年 8 月 22 日，两位博士因为设备老化等原因不得已终结“咖啡壶直播”的使命 。
最终，这台“网红咖啡壶”被挂在了 eBay 上，拍出了 3350 英镑的高价 。
2013 年 8 月 22 日：NASDAQ 的“黑色三小时”纳斯达克（NASDAQ），全称为美国全国证券交易商协会自动报价表（National Association of Securities Dealers Automated Quotations），这是美国的一个电子证券交易机构，是今天世界最大的股票市场之一 。纳斯达克的一举一动可以说是牵动了许多人的心，一不小心就会引起一场风暴 。而在 9 年前的今天，纳斯达克就遭遇过一个计算机问题导致的麻烦：“黑色三小时” 。
文章插图
文章插图
文章插图
文章插图
文章插图
图源：CSDN 下载自东方 IC
跳槽在科技界已经屡见不鲜，尤其是程序员的跳槽更是家常便饭 。何小鹏出走阿里，我们当时看到的是双方的和平告别，小鹏投入到了他当年天使投资的小鹏汽车，试图把爱好变成现实 。
近几年虽然停车费用涨价、高峰交通问题没有缓解、地铁交通发达，但是大部分人还是想要一台私人拥有的车，何小鹏认为，未来的汽车可能提倡自动共享，在高峰的时候自己用，在非高峰的时候可以让别人去用 。
提到中国的智能汽车，有一个无法绕过的名字，小鹏 。有这么一种说法，在汽车之都底特律，当汽车高管们谈起互联网对汽车的影响时，他们认为这与重新发明汽车引擎一样重要 。而担任小鹏汽车董事长的何小鹏认同这样的观点，“互联网思维从用户出发定位，而传统汽车人看汽车设计理念更多的是从工程师维度”，在何小鹏看来，互联网造车定位要从工程师维度转换到用户角度 。
智能汽车领域始终是“得到众多关注，未得到足够发展”，很多人一直处于一个观望的态度 。汽车行业是一个历史悠久的老产业，很难被新生血液迅速推动，并且虽然硬件大同小异，但是在软件上会出现相对的垄断和集中性；在未来，智能汽车领域也会出现“谷歌”和“苹果”这样的公司，或许不止一家 。
2017 年 8 月 22 日：计算机先驱 Michael J C Gordon 逝世Michael John Caldwell Gordon，交互定理证明和硬件验证领域的先驱，出生于 1948 年 2 月 28 日 。在 20 世纪 70 年代，他有了正式验证系统设计的远见，并用数学和逻辑证明它们的正确性，随后，他便在现实世界的计算机设计中展示了自己的想法 。他的学生将工作扩展到诸如浮点算法的验证、概率算法的验证和源代码的验证翻译以纠正机器代码等不同领域 。
Michael Gordon 在爱丁堡大学获得博士学位，于 1973 年完成了一篇题为《Pure LISP 程序的评价与表义（Evaluation and Denotation of Pure LISP Programs）》的论文，导师是 Rod Burstall 。
后来，他应 LISP 语言的发明者 约翰·麦卡锡（John McCarthy） 的邀请来到加州斯坦福大学，在那里的人工智能实验室工作 。Gordon 从 1981 年开始在剑桥大学计算机实验室担任讲师，在 1996 年晋升为教授 。
Gordon 在爱丁堡大学的主要成就是和罗宾·米尔纳（Robin Milner）等人提出了 LCF 的一个系统——“可计算函数的逻辑”（Logic for Computable Functions），这是一种自动定理证明工具，利用它可以方便地验证计算机程序的逻辑 。现代高阶逻辑（HOL）定理的证明有着悠久的历史，可以追溯到上世纪 80 年代末，Michael Gordon 便在之后基于 LCF 开发了 HOL 的证明工具 。
Michael J C Gordon 教授于 2017 年 8 月 22 日逝世，他对自动定理证明（ATP）领域的研究影响深远，而这个领域尤其是在国内的发展一直较为缓慢；随着机器学习热潮兴起，人工智能和自动定理证明之间的可能性被挖掘出来，在数学和哲学的研究不断进展 。或许在这些伟大前人的理论和实践中，我们会发现未来的科技技术离我们并不遥远 。
<
推荐阅读
- 拼多多物流助手记录怎么删除
- 怎么看显卡型号
- 我的世界甘蔗怎么种
- 微信收藏表情怎么恢复
- 如何解决孩子沉迷于手机 孩子沉迷于手机怎么办
- 新鲜香菇怎么烧好吃 香菇怎么烧好吃
- 钓鱼不吃钩怎么回事
- wps如何用word打开 wps怎么做文档
- 妄想山海化形石怎么获得 妄想山海化形石获得方法介绍
- 汽车隐形车衣怎么选购