12小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20250908
嘿，科技迷们！今天的新鲜资讯已送达！想知道如何在你的Mac上玩转本地LLM吗？想重温经典的Commodore 64游戏吗？还在为代码格式化争论不休？本期为你揭秘！还有日本持续投资浮点加速器的背后故事、VMware的客户关系危机、以及澳大利亚版ChatGPT的雄心壮志… 更有程序员分享了从Intel转向AMD的真实经历！快来一探究竟，别掉队啦！
---
## 在 macOS 上体验本地 LLM
本文介绍了如何在 macOS 上运行本地 LLM（大型语言模型），即使你对 LLM 持怀疑态度，也能轻松上手。文章探讨了本地运行 LLM 的优势，并提供了两种推荐方案：开源的 Llama.cpp 和易于使用的 LM Studio。
文章首先指出，尽管 LLM 被一部分人认为是“高级自动补全”，但它们确实展现出复杂的涌现行为。作者主要将 LLM 用于头脑风暴，并建议忽略其回复，以避免“AI 精神错乱”。作者强调，选择本地 LLM 是出于以下原因：个人隐私、避免资助不道德的 AI 公司，以及享受在本地运行大型模型的乐趣。
文章详细介绍了两种在 macOS 上运行 LLM 的方法。Llama.cpp 是一个开源工具，可以通过 Nix 进行安装，并提供了一个基本的 Web UI。作者推荐使用 Gemma 3 4B QAT 模型进行实验。LM Studio 是一款闭源但用户友好的软件，拥有直观的界面，可以浏览和下载模型，管理对话，并评估模型是否适合你的机器。LM Studio 支持两种运行时：llama.cpp 和 Apple 的 MLX。文章还分享了一些 LM Studio 的使用技巧，例如在对话中途切换模型、创建对话分支、重新生成助手消息以及编辑消息等。
最后，文章还提到了如何选择适合自己用例的 LLM。
- 原文: [Experimenting with Local LLMs on macOS](https://blog.6nok.org/experimenting-with-local-llms-on-macos/)
- Hacker News: [https://news.ycombinator.com/item?id=45168953](https://news.ycombinator.com/item?id=45168953)
- 作者: frontsideair
- 评分: 17
- 评论数: 3
- 发布时间: 2025-09-08 22:43:17
---
## RSS 如何打败微软：一场内容聚合战争
本文讲述了内容聚合标准之争中，RSS 如何战胜微软支持的 ICE（Information and Content Exchange）的故事，类似于 VHS 战胜 Betamax。
ICE 旨在标准化网站间的数据自动发布，从一开始就带有浓厚的商业色彩，承诺通过更容易地将相同材料授权给多个来源来扩大出版商的电子销售。而 RSS 最初只是 Netscape 实验性的 My Netscape Network 门户上的一个小部件，允许网站所有者创建包含网站更新的 feed，并将其添加到 Netscape 的频道列表中。
ICE 由 Vignette 等公司创建，并由微软、Adobe、路透社等公司组成的联盟进行技术开发，专注于商业开发，例如投资 iSyndicate 平台并销售其专有的 ICE 服务器。相比之下，RSS 则朝着相反的方向发展，涌现了 Headline Viewer 等免费的桌面 feed 聚合器和 my.userland.com 等基于 Web 的聚合器，没有任何服务器或高额投资的痕迹。
ICE 的目标是自动化复杂的企业出版合作，包含目录定价、版权执行等功能，导致其入门指南长达 58,000 字。而 RSS 则简单易用，几乎任何人都可以设置 RSS feed 或 RSS 聚合器。最终，简单、开源、可扩展的 RSS 战胜了复杂、自上而下的 ICE。
尽管 ICE 在技术上可能更先进，但 RSS 的开放性和易用性使其赢得了更广泛的采用，尤其是在博客作者中。这场战争的结果表明，在互联网世界中，简单往往胜过复杂。
- 原文: [RSS Beat Microsoft](https://buttondown.com/blog/rss-vs-ice)
- Hacker News: [https://news.ycombinator.com/item?id=45166750](https://news.ycombinator.com/item?id=45166750)
- 作者: vidyesh
- 评分: 126
- 评论数: 81
- 发布时间: 2025-09-08 18:50:01
---
## Commodore 64 平台《印第安纳琼斯与最后的十字军》冒险游戏原型被发现
Games That Weren’t 网站发布了一则消息，他们找到了一个未发布的 Commodore 64 平台《印第安纳琼斯与最后的十字军》冒险游戏的试玩原型。这个原型是对 Lucasfilm Games 经典作品的非官方移植，虽然充满潜力，但最终未能完成。
这个被取消的项目现在可以被大家体验了，链接在：https://www.gamesthatwerent.com/gtw64/indiana-jones-and-the-last-crusade-adventure/。该网站致力于数字化保存那些可能永远消失的软件和历史。如果你不希望你的任何内容出现在网站上，可以联系他们进行删除。
## 评论区观点
* **怀旧与新开发并存：** 有评论提到，即使使用现代工具，为老式机器开发游戏仍然具有魔力，并分享了一个 Commodore 64 平台的新游戏项目链接。
* **期待高清重制：** 有玩家表达了对《亚特兰蒂斯之命运》高清重制版的期待。
* **澄清来源：** 有评论指出，这个原型并非来自 Lucasfilm Games 开发者的遗物，而是一个 2012 年被放弃的粉丝重制项目。
* **文化遗产：** 有人引用电影台词 "It belongs in a museum"，表达了对游戏文化遗产的尊重。
总的来说，评论区既有对经典游戏的回忆和期待，也有对同人作品的关注，以及对游戏历史保存的重视。
- 原文: [Indiana Jones and the Last Crusade Adventure Prototype Recovered for the C64](https://www.gamesthatwerent.com/2025/09/indiana-jones-and-the-last-crusade-adventure-prototype-recovered-for-the-commodore-64/)
- Hacker News: [https://news.ycombinator.com/item?id=45167245](https://news.ycombinator.com/item?id=45167245)
- 作者: ibobev
- 评分: 46
- 评论数: 5
- 发布时间: 2025-09-08 20:01:18
---
## 使用 Claude Code 实现 25 年历史的内核驱动现代化
本文讲述了作者如何借助 Claude Code 将一个 25 年历史的 Linux 内核驱动程序 (`ftape`) 现代化，使其能够在最新的内核版本上编译和运行。`ftape` 驱动用于与连接到软盘控制器的老式磁带驱动器通信，但由于长期未维护，只能在旧版本的 Linux 上使用。
作者首先向 Claude Code 提出了将驱动程序现代化的请求。Claude Code 能够分析编译器输出并进行迭代，最终生成了一个可以编译的内核驱动程序。它自动识别并替换了过时的内核函数和结构，只需要少量手动调整。接着，作者又要求 Claude Code 创建一个独立的构建系统，以便将驱动编译为可加载的内核模块。
在后续的调试过程中，作者通过手动将 `dmesg` 的输出粘贴到 Claude Code 中，并与已知良好的日志进行比较，最终定位了驱动程序无法与硬件通信的问题。Claude Code 能够识别出模块参数未正确配置，导致硬件检测失败。最终，作者成功地在现代内核上加载了 `ftape` 驱动，并能够检测到磁带驱动器并转储磁带内容。
作者强调，虽然 Claude Code 在这个过程中发挥了重要作用，但仍然需要一定的内核模块开发经验和 C 语言基础才能完成这项任务。他认为与这类编码助手合作，就像与一位初级工程师合作一样，需要进行反复的沟通和手动修复。这次经历也让他意识到，应该以开放的心态与这些工具进行真正的协作。
- 原文: [Using Claude Code to modernize a 25-year-old kernel driver](https://dmitrybrant.com/2025/09/07/using-claude-code-to-modernize-a-25-year-old-kernel-driver)
- Hacker News: [https://news.ycombinator.com/item?id=45163362](https://news.ycombinator.com/item?id=45163362)
- 作者: dmitrybrant
- 评分: 737
- 评论数: 242
- 发布时间: 2025-09-08 07:53:47
---
## VMware 再次卷入法律纠纷：客户关系为何恶化至此？
本文讨论了 VMware 再次因客户关系问题而陷入法律纠纷的事件，反思了企业与客户之间关系处理不当可能造成的严重后果。
文章指出，Tesco 是最新一家与 VMware 产生法律纠纷的公司，暗示这并非个例，而是 VMware 在客户关系管理方面存在系统性问题。作者引用了“我们是坏人吗？”这个梗，似乎在暗示 Broadcom 收购 VMware 后，其行为可能正在损害客户利益，导致客户关系恶化。客户关系管理不当可能导致客户流失、声誉受损，甚至引发法律诉讼，给企业带来巨大的经济和声誉损失。文章强调，企业应重视客户关系管理，建立公平、透明、互利的合作关系，避免类似事件再次发生。这不仅关乎企业的短期利益，更关乎企业的长期发展和可持续性。企业需要反思其商业模式和客户服务策略，确保客户的权益得到充分保障。通过积极沟通、解决问题和提供优质服务，企业可以建立稳固的客户关系，赢得客户的信任和忠诚。
由于没有评论内容，这里就不做评论分析了。
- 原文: [VMware's in court again. Customer relationships rarely go this wrong](https://www.theregister.com/2025/09/08/vmware_in_court_opinion/)
- Hacker News: [https://news.ycombinator.com/item?id=45167239](https://news.ycombinator.com/item?id=45167239)
- 作者: rntn
- 评分: 128
- 评论数: 76
- 发布时间: 2025-09-08 20:00:23
---
## Immich：高性能自托管照片和视频管理解决方案
Immich 是一个开源的自托管照片和视频管理平台，旨在为用户提供类似 Google Photos 的体验，但完全掌控在自己的服务器上。它允许用户安全地存储、管理和分享他们的照片和视频，而无需依赖第三方服务。
Immich 具有许多强大的功能，包括：自动备份手机照片和视频、智能相册、人脸识别、对象识别、地理位置标记、时间线视图、搜索功能以及分享功能。该项目使用现代技术栈构建，例如 TypeScript、React 和 Node.js，并提供 Docker 镜像，方便部署和管理。
该项目也在不断迭代更新，例如最近的提交包括添加创建合作伙伴端点的功能，修复开发容器中的日志记录错误，以及更新 Node.js 版本等等。此外，项目还进行了大量的构建优化，例如迁移到 pnpm 来管理依赖，从而提高构建速度和效率。
总而言之，Immich 为那些希望拥有完全控制权和隐私的照片和视频的科技爱好者和开发者提供了一个强大的自托管解决方案。它不仅功能丰富，而且易于部署和管理，使其成为 Google Photos 等云服务的绝佳替代品。
- 原文: [Immich – High performance self-hosted photo and video management solution](https://github.com/immich-app/immich)
- Hacker News: [https://news.ycombinator.com/item?id=45165684](https://news.ycombinator.com/item?id=45165684)
- 作者: rzk
- 评分: 109
- 评论数: 33
- 发布时间: 2025-09-08 15:58:38
---
## MacBook 隐藏的屏幕角度传感器及其妙用
推文指出 MacBook 实际上内置了一个传感器，可以精确检测屏幕铰链的角度。虽然苹果没有公开这个 API，但作者找到了读取数据的方法，并将其变成老旧木门吱呀作响的声音，引发了开发者们的浓厚兴趣。这个隐藏的功能激起了人们对它潜在用途的各种想象。
这个传感器并非无用之物。有人指出，它可能被用于支持 Desk View 功能，该功能可以从几何角度正确地以俯视角度显示桌面上的物品，铰链角度数据对于应用梯形校正非常有用。此外，这个传感器也被用于 2017 年的一个比赛，旨在创造最糟糕的音量控制器。Linux 系统上也有类似的驱动程序，可以通过文件读取角度数据。
评论区里，大家脑洞大开。有人建议用它来制作“愚蠢的音量控制器”，通过调整屏幕角度来控制音量。还有人分享了 2016 年的“Laptop Accordion”项目，该项目利用屏幕角度来演奏音乐。甚至有人猜测苹果是否在 Apple Store 中使用该传感器来设置屏幕角度。一些用户开玩笑说，这个发现可能会导致 MacBook Pro 铰链损坏率上升，因为人们会尝试用它来演奏音乐。一位评论者建议，可以利用这个传感器实现某种广告牌效果，使图像始终以正确的宽高比显示给观察者。
Doohickey-d 指出，屏幕角度传感器已经序列化到主板，更换需要苹果授权服务商进行校准，或者在提供自服务维修的地区，从苹果购买传感器后联网校准。这意味着苹果限制了用户在自己的设备上安装回收或第三方传感器的权利。
- 原文: [The MacBook has a sensor that knows the exact angle of the screen hinge](https://twitter.com/samhenrigold/status/1964428927159382261)
- Hacker News: [https://news.ycombinator.com/item?id=45158968](https://news.ycombinator.com/item?id=45158968)
- 作者: leephillips
- 评分: 906
- 评论数: 427
- 发布时间: 2025-09-07 23:20:29
---
## 日本为何持续投资定制浮点加速器？
本文探讨了日本公司Pezy Computing在浮点加速器领域的持续投入，以及其背后的原因。尽管GPU在高性能计算和人工智能领域占据主导地位，Pezy Computing仍然致力于开发具有独特架构的数学加速器，旨在最大限度地提高能源效率。
Pezy Computing自2012年推出Pezy-1芯片以来，一直在不断迭代其SC（Super Computer）系列加速器。这些加速器采用了MIMD架构的变体SPMD，通过细粒度的多线程技术，实现了更高的计算效率和更低的能耗。与GPU的SIMT架构相比，SPMD架构在灵活性方面更具优势，允许程序显式地调度线程和数据，从而减少了对分支预测和乱序执行的需求，简化了核心设计，并允许在单个芯片上集成更多核心。
Pezy-SC系列加速器经历了多次迭代，从最初的Pezy-SC到最新的Pezy-SC4s，核心数量、时钟速度和内存容量都得到了显著提升。Pezy-SC4s采用了台积电的5纳米工艺，拥有2048个核心，主频高达1.5 GHz，并配备了96 GB的HBM3内存。该芯片还支持BF16处理，以及FP64、FP32和FP16处理。
Pezy Computing的加速器设计优雅，并且包含了强大的MIPS内核（早期）和RISC-V内核（SC4s），这意味着不再需要来自Intel或AMD的主机X86处理器来运行Linux操作系统，从而管理PE上的计算。这些加速器是独立的，就像日本RIKEN实验室的K和Fugaku超级计算机中使用的Sparc和Arm处理器一样。
那么，为什么日本要不遗余力地发展这些技术呢？一个重要的原因是，日本希望在高性能计算领域保持自主性，并开发出能够满足其特定需求的定制化解决方案。通过投资像Pezy Computing这样的公司，日本可以摆脱对国外技术的依赖，并掌握关键技术的控制权。
此外，Pezy Computing的加速器在能效方面具有显著优势，这对于构建可持续的超级计算机至关重要。随着计算需求的不断增长，降低能耗已成为高性能计算领域的一个重要挑战。Pezy Computing的加速器通过其独特的架构和设计，为解决这一挑战提供了一种有前景的解决方案。
总而言之，日本持续投资定制浮点加速器是出于战略和技术方面的考虑。通过开发自主可控的、高能效的加速器技术，日本希望在高性能计算领域保持领先地位，并为未来的科技发展奠定基础。
- 原文: [Why Is Japan Still Investing in Custom Floating Point Accelerators?](https://www.nextplatform.com/2025/09/04/why-is-japan-still-investing-in-custom-floating-point-accelerators/)
- Hacker News: [https://news.ycombinator.com/item?id=45141907](https://news.ycombinator.com/item?id=45141907)
- 作者: rbanffy
- 评分: 154
- 评论数: 44
- 发布时间: 2025-09-06 02:27:24
---
## 我们很少失去技术：对“失落科技”迷思的探讨
这篇文章探讨了科幻作品中常见的“失落科技”主题，并分析了现实中技术失传的可能性。文章指出，虽然技术失传的情况确实存在，但通常是由于特定原因，而非普遍现象。
文章首先给出了“失落科技”的定义，即我们失去了制造过去人们能够制造的东西的能力。 这种能力丧失可能是因为某些先决技术不可用，或者相关知识完全消失。文章举例说明了不同类型的技术失落，例如：
1. **知识的丢失**： 就像 Girolamo Segato 的矿化技术，以及 Starlite 隔热材料的配方，由于发明者去世前未公开或记录，导致技术失传。
2. **经济原因**： 某些技术可能因为成本过高或需求不足而不再使用，例如曾经流行的显像管电视。
3. **技术进步**： 新技术取代旧技术，导致旧技术逐渐被淘汰，例如胶片相机被数码相机取代。
4. **法律限制**： 某些技术可能因为安全或伦理问题而被禁止使用，例如某些化学武器。
文章还提到了长期核废料警告信息的研究，旨在确保即使在遥远的未来，人类也能理解核废料的危险性，避免因“失落科技”而造成的潜在危害。文章作者认为，虽然完全避免技术失传可能是不现实的，但通过各种手段，我们可以最大限度地保留和传承知识，避免重蹈覆辙。
- 原文: [We Rarely Lose Technology (2023)](https://www.hopefulmons.com/p/we-rarely-lose-technology)
- Hacker News: [https://news.ycombinator.com/item?id=45130433](https://news.ycombinator.com/item?id=45130433)
- 作者: akkartik
- 评分: 18
- 评论数: 6
- 发布时间: 2025-09-05 02:18:27
---
## 消除代码格式化烦恼：回到未来寻找灵感
这篇文章探讨了代码格式化工具的必要性，并回顾了上世纪80年代的 Ada 编程语言的解决方案，DIANA。作者认为，与其花费大量时间在代码风格的争论上，不如借鉴 DIANA 的思想，直接存储代码的抽象语法树（AST），让开发者可以自定义代码的显示方式。
文章指出，在 Ada 时代，Rational R1000 工作站使用 DIANA 作为中间表示，避免了源代码格式化的争论。DIANA 存储了代码的结构信息，允许开发者根据自己的喜好进行代码的“美化打印”。这种方式不仅避免了无意义的格式化争论，还促进了增量编译、快速重构和集成。作者认为，尽管现在硬件加速编译已不再是瓶颈，并且我们拥有了更好的重构工具，但在代码格式化方面，我们实际上是退步了。作者提倡探索新的编程范式，以解决代码格式化带来的问题。
评论区对代码格式化问题展开了激烈的讨论，观点各异。
有人认为，代码格式化纯粹是“争论细节”，团队应该快速达成一致并自动执行，无需过度关注。另一些人则强调，代码格式化不仅仅是个人偏好，它还涉及到代码的可读性和可维护性，良好的格式可以传达代码的结构和含义。还有人指出，自动格式化工具可能会破坏代码的“信号”，例如开发者通过格式化来表达经验、纪律和判断力。
此外，有人提到，基于文本的工具（如 grep、diff、sed）在处理非文本格式的代码时会受到限制，这使得采用 DIANA 这样的方案存在权衡。最后，还有人提出了更细致的格式化需求，例如如何对齐赋值语句，以突出代码的结构。总的来说，评论区展现了对代码格式化问题的多角度思考，既有对效率的追求，也有对代码美学和可读性的坚持。
- 原文: [Formatting code should be unnecessary](https://maxleiter.com/blog/formatting)
- Hacker News: [https://news.ycombinator.com/item?id=45163043](https://news.ycombinator.com/item?id=45163043)
- 作者: MaxLeiter
- 评分: 269
- 评论数: 362
- 发布时间: 2025-09-08 07:08:42
---
## GPT-5 在 ChatGPT 中的搜索能力：堪比研究专家
本文讨论了 GPT-5 在 ChatGPT 中作为“研究专家”的出色搜索能力，展示了其在信息检索和问题解答方面的强大功能。文章作者分享了使用 GPT-5 的一些实际案例，突显了它在快速准确地找到所需信息方面的优势。
作者提到，过去几年“不要把聊天机器人当作搜索引擎”的建议已经过时，现在 GPT-5 结合 Bing 支持的搜索工具，表现非常出色，可以完成各种复杂或简单的任务，并能搜集大量信息来找到答案。作者称其为“研究专家”，并分享了使用 GPT-5 完成的多个搜索案例，包括查询“希思罗机场的弹性传送带”、“识别建筑物”、“星巴克英国的蛋糕棒棒糖”、“大英百科全书为维基百科提供种子内容”、“剑桥大学的官方名称”以及“埃克塞特码头洞穴的历史”等。
作者强调，使用 ChatGPT 进行搜索时，选择“GPT-5 Thinking”模型可以获得更全面的结果，虽然速度会慢一些。他通常在手机上使用语音输入来与这个“研究专家”交流，感觉非常有趣。通过这些案例，作者展示了 GPT-5 如何通过深入调查和分析，提供有价值的信息，甚至能找到一些意想不到的细节。例如，在查询星巴克蛋糕棒棒糖时，GPT-5 不仅确认了英国星巴克确实在 2023 年推出了蛋糕棒棒糖，还通过查阅营养和过敏原指南 PDF 确认了其可用性。在查询大英百科全书与维基百科的关系时，GPT-5 找到了维基百科利用 1911 年版大英百科全书内容的历史，并提供了相关链接。
总的来说，作者认为 GPT-5 在搜索方面的能力已经非常强大，以至于使用它进行搜索就像使用 Google 搜索一样自然，无需特别说明。
)
- 原文: [GPT-5 Thinking in ChatGPT (a.k.a. Research Goblin) is good at search](https://simonwillison.net/2025/Sep/6/research-goblin/)
- Hacker News: [https://news.ycombinator.com/item?id=45152284](https://news.ycombinator.com/item?id=45152284)
- 作者: simonw
- 评分: 299
- 评论数: 233
- 发布时间: 2025-09-07 03:42:48
---
## Intel Arc Pro B50 显卡发布，面向紧凑型工作站
Intel 推出了 Arc Pro B50 显卡，专为小型工作站设计，定价 $349 美元。这款显卡基于 Battlemage BMG-G21 GPU，配备 16 个 Xe2 核心，并搭载 16 GB GDDR6 显存，显存速率为 14 Gbps，位宽 128-bit，带宽达到 224 GB/s。
Arc Pro B50 的总功耗仅为 70W，无需外接电源，通过 PCIe 插槽供电。它采用 PCIe Gen 5 x8 接口，在效率和带宽之间取得了平衡，适用于专业工作负载。这款显卡的一大亮点是其在 AI 工作负载和专业应用方面的表现，INT8 计算性能高达 170 TOPS，适用于本地 AI 推理、机器学习和数据预处理等任务。
除了 AI 之外，Arc Pro B50 还针对 CAD、工程、建筑可视化和设计软件进行了优化，在这些领域，稳定性与原始吞吐量同等重要。为此，Intel 提供了经过认证的工作站驱动程序，确保在行业标准应用中实现可预测的性能。
Arc Pro B50 采用低矮的双槽设计，适用于空间紧凑的工作站。它配备四个 mini DisplayPort 输出接口，支持多显示器设置，满足专业用户处理复杂数据集或设计布局的需求。
总的来说，Intel Arc Pro B50 旨在以合理的价格、高效率和可靠性，满足紧凑型工作站的需求，而不是与高端工作站 GPU 竞争原始性能。这款显卡将通过零售渠道和 OEM 工作站系统进行销售。早期评测表明，Arc Pro B50 在其目标工作负载中表现稳定，而非专注于游戏性能。Intel 正在继续投资消费者和专业图形解决方案，Arc Pro B50 展现了其对专业计算市场中专业化、紧凑和节能 GPU 产品的关注。
- 原文: [Intel Arc Pro B50 GPU Launched at $349 for Compact Workstations](https://www.guru3d.com/story/intel-arc-pro-b50-gpu-launched-at-for-compact-workstations/)
- Hacker News: [https://news.ycombinator.com/item?id=45162626](https://news.ycombinator.com/item?id=45162626)
- 作者: qwytw
- 评分: 167
- 评论数: 197
- 发布时间: 2025-09-08 06:06:35
---
## 通过阅读代码来发现 Bug
这篇文章探讨了通过仔细阅读代码来发现bug的有效性，并分享了一些提升这种“超能力”的技巧。作者强调，与其花费大量时间在调试上，不如在一开始就减少bug的产生，而阅读代码就是一种预防bug的有效手段。
作者分享了自己通过阅读 IntelliJ 的 `ImmutableText.java` 源码发现 bug 的经历，强调了仔细阅读代码可以帮助我们构建程序的心理模型，从而发现潜在问题。文章给出了以下建议：放慢阅读速度，构建精确的心理模型；不要回避阅读更多代码，理解代码的历史和上下文；关注控制流和状态，理清数据结构和字段的创建与修改；识别代码中容易出错的模式。作者还提到，编程的关键在于构建精确的心理模型，然后找到大脑中的理解与代码之间的差异。
总而言之，文章提倡通过有意识地阅读代码来主动发现问题，并提供了一些实用的方法来提高阅读代码的效率，例如跟踪控制流、关注状态变化以及识别潜在的错误模式。
评论区对文章的观点进行了多角度的讨论。有人赞同通过构建程序模型来发现 bug 的观点，并分享了在不同场景下debug的经验。也有人认为，这种方法在小型代码库中有效，但在大型复杂系统中可能会失效，并强调了类型系统、不变性检查、自动化属性测试和代码审查的重要性。还有人推荐了《Writing Solid Code》这本书，并分享了通过添加代码文档来加深理解和发现 bug 的技巧。此外，有人强调了“使无效状态不可表示”的重要性，认为这可以减少 bug 的产生。总的来说，评论区既肯定了阅读代码在发现 bug 中的作用，也提出了其他更系统化的方法，并对不同方法适用的场景进行了区分。
- 原文: [Look Out for Bugs](https://matklad.github.io/2025/09/04/look-for-bugs.html)
- Hacker News: [https://news.ycombinator.com/item?id=45128055](https://news.ycombinator.com/item?id=45128055)
- 作者: todsacerdoti
- 评分: 41
- 评论数: 29
- 发布时间: 2025-09-04 22:59:45
---
## 整数规划模型及其应用
本文档介绍了整数规划 (Integer Programming) 的概念，它是一种线性规划模型，其中部分或全部决策变量被限制为整数值。与允许决策变量为分数的连续线性规划模型不同，整数规划更适用于决策变量必须为整数的实际场景。
文档首先解释了整数规划的基本概念，包括混合整数规划和纯整数规划。然后，重点介绍了整数规划在管理科学中的重要性，并通过三个实际应用案例展示了其应用范围：资本预算、仓库选址。在资本预算中，整数规划可以帮助选择最佳的投资组合，同时满足资源约束和逻辑约束。例如，可以选择投资哪些项目，或者决定是否开设新的工厂。在仓库选址问题中，整数规划可以帮助确定开设哪些仓库以及如何从仓库向客户发货，以最小化总成本。
总的来说，整数规划是一种强大的建模工具，可以用于解决各种实际问题，特别是在决策变量必须为整数的情况下。该文档还提到了背包问题，这是一个经典的整数规划问题，可以用于解决资源分配问题。通过学习整数规划，读者可以更好地理解和应用数学规划方法来解决实际问题。
- 原文: [Integer Programming (2002) [pdf]](https://web.mit.edu/15.053/www/AMP-Chapter-09.pdf)
- Hacker News: [https://news.ycombinator.com/item?id=45131091](https://news.ycombinator.com/item?id=45131091)
- 作者: todsacerdoti
- 评分: 3
- 评论数: 0
- 发布时间: 2025-09-05 03:13:10
---
## Creative Technology 和 Sound Blaster 的故事
本文讲述了 Creative Technology 公司的发展历程，以及其标志性产品 Sound Blaster 声卡的诞生故事。从创始人 Sim Wong Hoo 的早年经历，到公司成立初期艰难的创业阶段，再到 Sound Blaster 如何在竞争激烈的市场中脱颖而出，文章详细介绍了 Creative Technology 的成功之路。
文章首先介绍了 Sim Wong Hoo 的早年经历，包括他的家庭背景、教育经历以及创业前的准备。之后，文章详细描述了 Creative Technology 公司的成立，以及公司最初的产品线，例如 Apple II 的内存板和 CUBIC 99 电脑。由于市场变化迅速，公司意识到 IBM PC 兼容机才是未来趋势，于是推出了 CUBIC CT 电脑，但由于市场支持不足而失败。
随后，Creative Technology 调整战略，将 CUBIC CT 的声音功能独立出来，推出了 Creative Music System (C/MS)。为了推广这款声卡，Sim Wong Hoo 搬到了美国加州，成立了 Creative Labs。他很快意识到游戏是驱动声卡销售的关键，于是将 C/MS 更名为 Game Blaster，并与 Sierra Online 等游戏公司合作，获得了超过 100 款游戏的支持。
为了更好地与 Adlib 声卡竞争，Creative Technology 在 1989 年推出了 Sound Blaster。这款声卡不仅兼容 Adlib，还提供了更强大的功能，例如 12 语音 C/MS 立体声、11 语音 FM 合成、MIDI 接口、游戏杆端口、麦克风插孔以及立体声放大器。Sound Blaster 的推出，最终帮助 Creative Technology 在声卡市场占据了主导地位。
- 原文: [Creative Technology: The Sound Blaster](https://www.abortretry.fail/p/the-story-of-creative-technology)
- Hacker News: [https://news.ycombinator.com/item?id=45162501](https://news.ycombinator.com/item?id=45162501)
- 作者: BirAdam
- 评分: 133
- 评论数: 80
- 发布时间: 2025-09-08 05:50:30
---
## SPARC 服务器和工作站收藏：一次怀旧的硬件之旅
本文作者分享了他收集的各种 SPARC 架构的服务器和工作站，包括 Sun Fire V100、Sun Netra T1 以及多款 SPARCstation 型号。作者详细介绍了这些机器的配置、年代以及一些有趣的发现，例如机器上的 Credit Suisse 标签，以及硬件材质随时间推移的变化。
作者提到他从一个 Reddit 帖子中得知有人免费赠送 SPARC 机器，于是驱车前往 Newbury 收集了这些设备。这些机器包括 Sun Fire V100、Sun Netra T1 以及多款 SPARCstation 型号，横跨 1990 年代末到 2000 年代初。作者对每台机器进行了简单的检查，并尝试启动，但遇到了一些问题，例如 Sun Fire V100 无法从 Debian Etch CD-ROM 启动。
这些机器的收藏也引发了作者对于 RISC/UNIX 系统的兴趣，并希望未来能够找到 IBM RS/6000 系列的机器。同时，作者也意识到需要更多的空间来存放这些硬件。文章详细描述了每台机器的配置和特点，例如 Sun Fire V100 上的智能卡，以及 Sun Netra T1 上的热插拔 SCSI 硬盘。作者还分享了启动过程中的一些调试信息，例如 LOM (Lights-Out Management) 的输出。
总而言之，这篇文章记录了一次有趣的硬件收藏之旅，展示了 SPARC 架构在服务器和工作站领域的历史，以及作者对复古计算的热情。
- 原文: [How many SPARCs is too many SPARCs?](https://thejpster.org.uk/blog/blog-2025-08-20/)
- Hacker News: [https://news.ycombinator.com/item?id=45141809](https://news.ycombinator.com/item?id=45141809)
- 作者: naves
- 评分: 46
- 评论数: 14
- 发布时间: 2025-09-06 02:19:54
---
## 用于AI推理和组合优化的模拟光学计算机
本文介绍了一种新型的模拟光学计算机 (AOC)，它旨在同时加速 AI 推理和组合优化，克服了传统计算的局限性。AOC 通过结合光学和模拟电子元件，在反馈回路中快速执行定点搜索，无需数字转换。
AOC 的核心在于其独特的设计，它利用光学元件进行矩阵向量乘法，而模拟电子元件则负责非线性运算、减法和退火等操作。这种架构的每次迭代仅需约 20 纳秒，并且通过多次迭代增强了噪声鲁棒性，这对于模拟硬件至关重要。AOC 的全模拟架构和定点抽象解决了非常规计算中的两个关键挑战：避免了混合架构中能量密集的数字转换，并缩小了应用硬件之间的差距。
该研究展示了 AOC 在多种任务中的应用，包括 MNIST 和 Fashion-MNIST 分类任务的机器学习推理、非线性回归以及医疗图像重建和金融机构间交易结算等工业优化问题。实验结果表明，AOC 在这些任务中表现出色，验证了其作为一种高效、多功能计算平台的潜力。AOC 通过高效地执行 AI 推理和组合优化，为未来的计算技术开辟了新的可能性。
- 原文: [Analog optical computer for AI inference and combinatorial optimization](https://www.nature.com/articles/s41586-025-09430-z)
- Hacker News: [https://news.ycombinator.com/item?id=45129507](https://news.ycombinator.com/item?id=45129507)
- 作者: officerk
- 评分: 94
- 评论数: 18
- 发布时间: 2025-09-05 01:06:14
---
## Veena Chromatic Tuner：一款多功能的乐器调音应用
这款名为 Veena Chromatic Tuner 的 App 旨在为音乐家提供精准的乐器调音控制，尤其是在多种音乐传统（如平均律、纯律）中。它通过指针界面显示音高（频率）和偏差，还具备独特的线性及圆形波形显示功能，当与选定的参考音符调谐时，波形会稳定显示，偏高时向右旋转，偏低时向左旋转，为精确调整提供即时视觉反馈，类似于数字示波器的触发同步。
该应用支持多种调音系统，包括平均律和纯律，并允许用户自定义音律。在音符命名方面，支持西方记谱法、印度古典音乐（卡纳提克/印度斯坦）以及首调唱名法，并支持多种印度语言脚本。用户可以调整参考音高，例如将 A4 频率从标准的 440Hz 调整为 432Hz，还支持移调功能，方便演奏不同调的乐器。此外，用户可以创建、保存和管理不同的调音配置文件，特别适合印度古典音乐及其他依赖纯泛音关系的音乐传统。
这款 App 适用于弦乐器演奏者、乐器制造者、管乐器音乐家、声乐家、音乐教师和学生、民族音乐学家，以及探索微分音音乐的人士。它还新增了 Veena 乐器模式，允许用户在 24 个品位位置上演奏和调音，对乐器制造者特别有用。
评论区对这款 App 提出了不同的看法。有人希望增加更多乐器种类和音律选择，例如毕达哥拉斯音律和纯五度律。也有人质疑广告的存在，认为市面上有很多无广告的调音器。另一些人则质疑“Show HN”是否应该用于商业产品的广告宣传。还有用户对视觉呈现如何辅助调音过程表示疑惑，希望开发者能进一步解释。总的来说，评论区既有对功能改进的建议，也有对广告和推广方式的质疑。
- 原文: [Show HN: Veena Chromatic Tuner](https://play.google.com/store/apps/details?id=in.magima.digitaltuner&hl=en_US)
- Hacker News: [https://news.ycombinator.com/item?id=45165245](https://news.ycombinator.com/item?id=45165245)
- 作者: v15w
- 评分: 48
- 评论数: 28
- 发布时间: 2025-09-08 14:38:34
---
## 澳大利亚版 ChatGPT：更便宜且尊重版权？
文章探讨了 Sovereign Australia AI 计划构建一个澳大利亚本土的 ChatGPT，目标是降低成本并确保版权合规。该公司声称可以用低于 1 亿美元的预算实现这一目标，这引发了人们对该项目可行性的讨论。
文章指出，构建这样一个 AI 模型需要大量的数据和计算资源。Sovereign Australia AI 强调，他们的模型将更加注重版权问题，避免像其他一些大型语言模型那样，在未经授权的情况下使用受版权保护的材料进行训练。这无疑是一个重要的差异化因素，尤其是在版权意识日益增强的今天。
此外，文章还提到了数据主权的重要性。通过构建本土的 AI 模型，澳大利亚可以更好地控制自己的数据，避免依赖外国技术带来的潜在风险。这对于国家安全和经济发展都具有重要意义。
当然，这个项目也面临着诸多挑战，例如资金、人才和技术等方面的限制。Sovereign Australia AI 需要克服这些困难，才能成功打造出具有竞争力的澳大利亚版 ChatGPT。如果成功，这将不仅推动澳大利亚 AI 产业的发展，还将为其他国家提供一个可行的替代方案。
- 原文: ['We can do it for under $100M': Startup joins race to build local ChatGPT](https://www.afr.com/technology/we-can-do-it-for-under-100m-start-up-joins-race-to-build-local-chatgpt-20250908-p5mt5o)
- Hacker News: [https://news.ycombinator.com/item?id=45168883](https://news.ycombinator.com/item?id=45168883)
- 作者: yakkomajuri
- 评分: 4
- 评论数: 1
- 发布时间: 2025-09-08 22:38:30
---
## 告别Intel，拥抱AMD Ryzen 9950X3D：两次Intel CPU死亡后的选择
作者在经历了两次Intel 285K CPU的故障后，决定放弃Intel，转而使用AMD Ryzen 9950X3D CPU。文章详细记录了CPU死亡的过程，以及选择AMD CPU的原因和性能对比。
作者提到，第一次CPU故障发生在运行一个使用CUDA的layout-parser编译任务时，电脑失去网络连接且风扇全速运转。虽然不确定是否是该任务直接导致CPU死亡，但之后电脑就无法从休眠状态唤醒。作者强调，即使欧洲出现热浪，导致Intel CPU崩溃的报告增多，但CPU不应该直接损坏。
在选择AMD CPU时，作者选择了Ryzen 9 9950X3D，因为它在许多基准测试中表现更好，并且Linux 6.13及更高版本允许用户控制优先使用具有更大V-Cache或更高频率的CPU核心。作者还选择了ASUS TUF X870+主板，因为它更注重耐用性，并且功耗较低。
性能方面，AMD 9950X3D似乎略优于Intel 285K。作者列出了在编译Go、gokrazy/rsync测试和gokrazy Linux编译等工作负载下的性能对比数据。虽然文章中没有提及功耗的具体数据，但作者之前选择Intel CPU的原因是其较低的空闲功耗。
- 原文: [I am giving up on Intel and have bought an AMD Ryzen 9950X3D](https://michael.stapelberg.ch/posts/2025-09-07-bye-intel-hi-amd-9950x3d/)
- Hacker News: [https://news.ycombinator.com/item?id=45155986](https://news.ycombinator.com/item?id=45155986)
- 作者: secure
- 评分: 301
- 评论数: 311
- 发布时间: 2025-09-07 14:54:29
---
## Buildkite 从 Side Project 到全球公司的创业故事
本文讲述了 Buildkite 联合创始人兼前 CEO Keith Pitt 将 Buildkite 从一个 side project 发展成为一家全球公司的故事，探讨了创业初期的挑战、融资的必要性以及产品声音的重要性。
Keith Pitt 最初只是想做一个像 Mailgun 这样的邮件交易 API，但需要一个 CI 工具，于是他把自己之前写的一个 CI 工具拿出来改进，这就是 Buildkite 的雏形。当时澳大利亚的 PIN Payments 推出，提供 REST API 来处理信用卡支付，这让 Keith 萌生了将 Buildkite 产品化的想法。他利用业余时间开发 Buildkite，并分享给同事，意外地验证了产品市场契合度。当一位来自欧洲的陌生客户购买了 Buildkite 后，他意识到自己做的事情是有价值的。
在早期，Buildkite 的定价是 $5, $30 和 $100 美元每月。当一位企业客户升级到 $500 美元每月时，他感受到了被认可的喜悦。为了更好地投入 Buildkite 的开发，他离开了 Envato，加入允许他每周工作四天的 PIN Payments。两年后，他决定寻找联合创始人，并最终邀请了同事 Tim Lucas 加入。他们通过 Matt Allen 筹集了 20 万美元，并开始全职投入 Buildkite 的发展。
在公司发展过程中，他们也遇到了资金短缺的困境，例如需要支付员工养老金，但他通过与客户沟通，争取年度付款、向投资者贷款等方式度过了难关。这个故事展现了 Buildkite 从一个 side project 到一家全球公司的创业历程，以及创业者所面临的挑战和机遇。
- 原文: [Taking Buildkite from a side project to a global company](https://www.valleyofdoubt.com/p/taking-buildkite-from-a-side-project)
- Hacker News: [https://news.ycombinator.com/item?id=45162593](https://news.ycombinator.com/item?id=45162593)
- 作者: shandsaker_au
- 评分: 79
- 评论数: 9
- 发布时间: 2025-09-08 06:03:13
---
🫵 来啊，说点有用的废话!
▲
