算法与理论计算机2022people.eecs.berkeley.edu
个人计算器拥有求解任意方程 f(x)=0 的按键
Personal calculator has key to solve any equation f(x)=0 (1979)
进阶 · 约 30 分钟读完前置知识：数值分析基础、浮点运算、微积分基础
导读
这篇 1979 年的文章由 William Kahan 撰写，围绕个人计算器上的 SOLVE 键，讲解如何用单个按键可靠地求解任意方程 f(x)=0，并讨论有限精度计算器上的数值求根设计与实用性问题。
HN 关注点：作者 Kahan 在 IEEE 754 浮点标准中的核心地位，也由此引发对 HP 计算器算法、RPN 与早期计算器工程设计的怀旧和讨论。
后来怎么样
文中描述的 SOLVE 求根方法被用于 HP-34C 等计算器，并成为后续 HP 计算器求解功能的算法基础。
HN 评论精选
这几条评论里：补充 2 亲历 2
亲历指出 Kahan 是 IEEE 754 浮点标准的核心人物，并以亲历说明他对浮点实现极为严苛。
看看作者是谁。不熟悉的人可能不知道，Kahan 是 IEEE 754 的主要架构推动者——如今几乎所有计算机浮点运算的基础。见维基百科。我记得在 Berkeley 的研讨会上，设备厂商来介绍产品，Kahan 坐在前排，就他们的浮点实现穷追猛问。
mikecarlton查看英文原文
Check out the author. For those not in the know, Kahan was the driving architect behind IEEE 754 -- pretty much the basis of all computer floating point now. See https://en.wikipedia.org/wiki/William_Kahan I remember seminars at Berkeley where equipment manufactures show up to talk about their gear and Kahan would sit in the front row and grill them over their floating point implementations.
亲历老用户回忆 HP 计算器的做工、按键手感和 RPN，认为其设计优雅且以实用为先。
我很久以前有一台，非常喜欢。这篇文章很好，年轻读者可以借此理解为什么 20 世纪的 HP 用户那么爱他们的计算器。它们是为需要把事情做完的人设计的。不只是内部算法，机器本身也很棒：可转动的按键让你清楚知道是否输入了数字（不像竞品可能误输入两次）。还有 RPN，可爱又可靠的 RPN，对需要快速得到正确答案的人是忠实朋友。这种优雅（机器和写作）现在很少见。谢谢发帖，唤起美好回忆。
bluenose69查看英文原文
I had one of these way back when, and loved it. This is a great article, and reading it might give younger folks an idea of why HP users from the 1900s loved their calculators so much. They were designed for people who needed to get things done. And it wasn't just the algorithms inside. The physical machines were terrific, too. The pivoting keys left no doubt as to whether you had entered a digit (or whether, as in competitors' machines, the keystroke had entered the digit twice by mistake). And then there's RPN. Oh, lovely RPN -- trusty friend to those who needed correct answers and needed them in a rush. Such elegance (of machines and writing) is rare nowadays. Thanks for posting this, which brought back good memories.
补充补充 Kahan 本人谈 Solve 键的视频资料。
ACM 的 YouTube 频道有 Kahan 的长篇访谈。这里链接到他谈“Solve”键的部分。
mauricioc查看英文原文
There's a very long interview with Kahan on ACM's YouTube channel. Here's a link to the part where he talks about the "Solve" button: https://youtu.be/smrs6FfnCzs?t=8670
补充把 HP-28S 的 User RPL 与 MIT 6.001 听众联系起来，称赞其为 Forth 与 Lisp 的结合。
看 Sussman 和 Steele 讲 MIT 6.001 课程时，观众都是资深 HP 计算器玩家。这一定就是设计 HP-28S 和 User RPL 的团队——Forth 和 Lisp 的美丽混血儿。他们造出的计算器真棒！
tagoregrtst查看英文原文
When you watch Sussman and Steele give the MIT 6001 course the audience are seasoned HP calculator guys and gals These must be the team who were designing the HP-28S and user rpl - the beautiful love child of Forth and Lisp. And what a calculator they put out!
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
- 视频与演讲
历次讨论
- 2022Hacker News 讨论帖149 分 · 30 评
同领域还值得读
哲学家为何应关注计算复杂性
Why Philosophers Should Care About Computational Complexity (2011)
Scott Aaronson 的这篇长文论证计算复杂性理论（如 P vs NP、停机问题的复杂度视角）对哲学问题（如知识的本质、中文房间、水槽论证等）具有实质意义，而不仅是技术细…
算法与理论计算机2015 · 552 分 · 120 评进阶 · 约 90 分钟编辑精选通信的数学理论
A Mathematical Theory of Communication
是香农1948年的《通信的数学理论》，为通信建立数学框架：把信息量定义为不确定性或自由度（信息熵），并讨论信源编码、信道容量与可靠传输。
算法与理论计算机2020 · 495 分 · 91 评进阶 · 约 120 分钟编辑精选物理、拓扑、逻辑与计算：罗塞塔石碑
Physics, Topology, Logic and Computation: A Rosetta Stone (2009)
用范畴论充当“罗塞塔石碑”，试图在量子物理、拓扑、逻辑与计算四个领域之间建立统一的结构性类比：物理中的量子过程、拓扑中的配边、逻辑中的证明和计算中的程序，都可被视为某类范畴中的态…
算法与理论计算机2009 · 390 分 · 55 评 · 引用 13专业 · 约 180 分钟编辑精选一种快速、极小内存的一致性哈希算法
A Fast, Minimal Memory, Consistent Hash Algorithm
论文给出一种快速、省内存的一致哈希方案，目标是在桶数量变化时保持较小的键迁移成本，同时降低计算和内存开销。
算法与理论计算机2014 · 327 分 · 57 评 · 引用 4进阶 · 约 25 分钟编辑精选第五个 Busy Beaver 值的确定
Determination of the fifth Busy Beaver value
宣布确定了第五个 Busy Beaver 值 BB(5)：即 5 状态图灵机中停机前运行步数最多的机器（Champion）在 47,176,870 步后停机。
算法与理论计算机2025 · 288 分 · 116 评 · 引用 1专业 · 约 75 分钟编辑精选