Developer Community 8 Hours

最后更新: September 13, 2026, 6:09 AM ET

数学与证明

一篇新论文对 Navier-Stokes 问题 提出了证明，引发了关于机器生成证明究竟能确立什么的争论。与此同时，临时计算机博物馆 继续致力于保存计算机历史，获得了 100 分和 8 条评论。

工程文化 & 伦理

一篇颇具挑衅性的文章指出，随着软件开发变得唾手可得，更难的问题变成了谁来决定哪些东西根本不应该被构建。与此相关，一篇博客文章对手工艺程序员这一标签提出了反驳，认为这个词对现代工程实践的遮蔽多于澄清。

科学 & 医学

美国医学会已正式支持将近视归类为一种疾病，这一转变对治疗覆盖和临床研究优先级都有影响。天文学家还捕捉到了一个游荡的黑洞通过引力尾迹在运行中进食，为了解运动中的吸积提供了罕见的一瞥。

历史

一篇专题文章回顾了继承危机如何撕裂英格兰，考察了有争议的继承如何重塑了该国的政治秩序。