月归档：2025年10月

1977 年 10 月 31 日，姚期智提出 Yao’s principle。Yao’s principle（姚氏原理）是一个简单而重要的工具，用于随机化算法的复杂度分析。除了计算复杂度领域的贡献，姚期智在 1979 年首次提出了“通信复杂度”，且在量子计算领域做了很多开创性工作。 继续阅读 →

1847 年 10 月，乔治·布尔发明了布尔逻辑。布尔出版 The Mathematical Analysis of Logic 一书，首次定义了逻辑的代数系统，后来被称为布尔逻辑，也叫布尔代数。布尔逻辑是数字逻辑和计算机科学的基础。香农在布尔的基础上向前跨出了伟大一步，将其应用到了电子学中。 继续阅读 →

2009 年 10 月 29 日，国防科技大学成功研制中国首台每秒峰值速度过千万亿次的超级计算机“天河一号”，峰值速度达每秒 1206 万亿次。“天河一号”由 103 台机柜组成，占地面积约 1000 平方米。 继续阅读 →

2010 年 10 月 28 日，讯飞语音输入法发布。讯飞语音输入法即讯飞输入法的前身，是由科大讯飞推出的汉语拼音及语音输入法，以语音识别率高、识别速度快，支持多种方言等特色而著称。罗永浩在锤子发布会上演示 M1 内置的讯飞输入法，引爆应用下载。 继续阅读 →

1994 年 10 月 27 日，首个横幅广告上线。wired.com 推出了一则 AT&T 的广告：Have you ever clicked your mouse right here? You will。据说这是 Web 页面上的首个横幅广告，自此之后，横幅广告再也没有淡出人们的视野。 继续阅读 →

量子计算指的是使用量子比特存储和处理数据，利用叠加、纠缠等量子力学现象进行计算。20 世纪七八十年代，量子计算相关概念开始快速发展。1969年，威斯纳发现了量子信息理论中最重要的几个观点，并提出“基于量子力学的计算设备”。 继续阅读 →

2012 年 10 月，微软首次发布公开版 TypeScript 0.8。TypeScript 是由微软主导开发的开源编程语言，为开发大型应用而设计。它是JavaScript ES6 的一个严格超集，以可选的方式提供了静态类型支持和基于类的面向对象编程特性。 继续阅读 →

1985 年，IEEE 754 发布。IEEE 754 是 20 世纪 80 年代以来使用最广泛的浮点数运算标准，最初由威廉·卡汉设计。1980 年，英特尔推出单片的8087 浮点数协处理器，其浮点数表示法及定义的运算被 IEEE采用作为浮点数运算标准。 继续阅读 →

1958 年 9 月 12 日，第一个集成电路诞生。这一天，杰克·基尔比跟助手向德州仪器的管理层介绍：把电阻、电容、晶体管等电路元件集成到一块半导体材料上可以解决“数字暴政”问题。随后演示了相关实验：把几个元件集成到锗片上做成一个振荡器，并将其连接到示波器。 继续阅读 →

1985 年 9 月 13 日，任天堂发行《超级马里奥兄弟》。《超级马里奥兄弟》是任天堂超级马里奥系列的首款红白机游戏。玩家通过控制水管工马里奥，完成在蘑菇王国拯救公主的冒险故事。《超级马里奥兄弟》卖出了 4000 多万份，为红白机的初步成功打下了牢固的基础。 继续阅读 →