技术精选
5 条内容Margaret Hamilton has died
参与阿波罗计划机载飞行软件开发、并领导载人任务软件团队的计算机科学家玛格丽特·汉密尔顿于 9 月 30 日去世，享年 90 岁。阿波罗 11 号登月时，计算机发出 1202 错误警报；她的团队设计的软件能暂停非必要后台任务、优先处理关键任务，任务控制因此允许登月继续。
Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
BIGWORDS.PAGE 可把手机、平板或电视变成全屏标牌，用链接显示文字、倒计时或计时器；无需安装应用或注册账号。创作者说明，内容放在 URL 片段中，浏览器不会把片段发送到服务器，因此无需后端或服务器存储；页面也提供内置编辑器来制作链接。
The Mathocalypse
OpenAI 公布了一批由其内部模型给出的数学问题解答，其中包括长期开放的唯一博弈猜想（UGC）的证明；作者称，模型对约 8000 个长期未解问题各尝试一次，约 5%给出了解答，平均每题使用约 3 小时的 GPT-Pro 级算力。不过这些成果尚未经过充分的人类理解和审查：部分附有 Lean 形式化证明证书，但作者仍强调目前只能说“看起来”是证明，数学界还需核验并弄清推导。
AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)
AnyPS5 是把 PS5 可执行文件移植到 Linux 和 Windows 的工具：它用 relinker 转换为目标系统的原生格式，并实现用于动态链接的系统 PRX 库，而非通过模拟器或独立运行时运行。项目称其库覆盖率统计的是已声明、已知函数占比，并非全部 PS5 系统函数；目前列出的测试例子中，《Dreaming Sarah》在 GTX 1050 Ti 和 i5-7500 上稳定运行于 60 fps。
Why isn't the industry freaking out about DeepSeek 4.1 Flash?
作者根据自己一个月、在十多个项目中的使用，认为 DeepSeek 4.1 Flash 对许多开发任务已“够好”，而成本远低于前沿模型；他称其 KV cache 相较 V1 缩小约 437 倍，让全天编码会话的成本可低于 1 美元，但这是个人使用体验，并非基准测试结论。作者认为行业仍把最高智能置于成本之上，因此低价、够用的模型优势被忽视；有评论者则指出，前沿模型的补贴订阅可能让用户感受不到按量付费的价差。
圈外热门
2 条内容Tell HN: I've been paying for a rural Tanzanian's education for 10 years
发帖者十年前开始资助坦桑尼亚伊布米拉村一名女孩 Anwarite 上学；当地没有学校，最近的寄宿学校费用对多数家庭难以负担。她后来从达累斯萨拉姆大学毕业，并获该校斯瓦希里语硕士项目录取；这个为期 18 个月的项目学费、注册费、书本等合计 3,060,000 坦桑尼亚先令（约 1,161 美元）。发帖者在 2021 年将资助项目注册为非营利组织，目前支持村里五名学生的学费和医疗费用，并希望扩大规模。
“Math 2.0” will need to value mathematical progress more holistically
Terence Tao 认为，过去的“数学 1.0”过度奖励率先解决开放问题，这种做法已被推到不可持续的程度；“数学 2.0”应更全面地衡量数学进展，包括阐释成果、建设学术共同体和开辟新的研究方向。他认为 AI 也能推动这些工作，但不能只把 AI 代理指向未解问题、要求它们给出答案；数学界还需重新审视教育、发表和职业晋升标准。