Hacker News 首页网站

# 头版 来源: https://thefrontpage.dev/ Hacker News 1小时前, 42票, 7条评论 (https://news.ycombinator.com/item?id=48272984) ## 使用人工智能更慢地写出更好的代码 (https://nolanlawson.com/2026/05/25/using-ai-to-write-better-code-more-slowly/) 在其 *Read the Tea Leaves* 博文中，**Nolan Lawson** 主张应当有意识地、*更慢地*使用**人工智能**来生成**高质量**代码，而不是用其作为快速、低质量输出（即所谓“**氛围编程**”）的垃圾大炮。他描述了一种工作流：多个LLM代理——如 Claude、Codex 和 Cursor Bugbot——扫描拉取请求以寻找漏洞，随后开发者进行验证、记录并完善设计，强调细致而非速度。他指出，这种方法能发现隐藏的漏洞，改善整体代码健康度，并加深对代码库的理解，与通常期望的快速但肤浅的开发方式形成对比。 4小时前, 54票, 27条评论 (https://news.ycombinator.com/item?id=48225338) ## Show HN: 用 Go 编写 BPF 程序，而非 C 语言 (https://github.com/boratanrikulu/gobee) **gobee** 是一个 eBPF 转译器，由 *Bora Tanrikulu* 开发，允许开发者使用严格的 Go 子集（而非 C 语言）编写 BPF 程序，将其转译为 BPF C 代码，并为用户空间端生成类型化的 *cilium/ebpf* 绑定。该工具支持包括 XDP、tracepoints、kprobes 和 LSM 在内的八种程序类型，19 种映射类型，以及约 200 个由 libbpf v1.5.0 头文件自动生成的 BPF 辅助函数。主要特性包括：验证器错误映射回 Go 源代码位置、通过 **bpfvet** 实现内核版本门控、通过 clang 实现 CO-RE 自动检测、源映射侧载，以及跨架构支持 Linux arm64 和 amd64。gobee 不直接针对 LLVM，而是重用 clang 成熟的 BPF 后端来提供 BTF 和验证器友好的代码生成，定位为将内核侧和用户空间侧代码统一在单个 Go 模块中的一种方式，同时依赖 cilium/ebpf 和 clang 等现有工具。 14小时前, 1312票, 732条评论 (https://news.ycombinator.com/item?id=48265206) ## Magnifica Humanitas (https://www.vatican.va/content/leo-xiv/en/encyclicals/documents/20260515-magnifica-humanitas.html) ***Magnifica Humanitas*** 是教宗良十四世于 2026 年发布的通谕，旨在人工智能快速崛起的背景下维护每个人的尊严。通谕呼吁教会采取一种“动态、忠于福音”的方式，更新社会训导——其根基在于三位一体上帝的形象、人人平等尊严，以及共同福祉、财货普遍用途、辅助性原则、团结互助与社会正义等原则——以应对当今的“新事物”。文件警告说，人工智能虽是有益工具，却可能放大技术官僚权力、加深不平等、掩盖真理，敦促建立透明、负责的治理机制，在设计和使用各阶段承担责任，并保护弱势群体免受新型数字奴役和剥削。通谕强调需要诚实的公共沟通、面向数字时代的教育联盟、有尊严的工作、家庭稳定，以及在数字依赖和监控面前捍卫自由。通过对比巴别塔（傲慢、统治）与尼希米重建的耶路撒冷（共同责任、共融）这两幅圣经图像，教宗提倡一种基于对话、外交和和平新文化的“爱的文明”，敦促各国政府、企业、教会、家庭及个人作为“建设者”携手共创一个技术服务于（而非压倒）真正人类繁荣的共同福祉未来。 2小时前, 8票, 0条评论 (https://news.ycombinator.com/item?id=48272715) ## Shamir 秘密共享如何运作 (https://ente.com/blog/how-shamirs-secret-sharing-works/) 这篇文章解释了 **Shamir 秘密共享**方案，由 Adi Shamir 于 1979 年提出，它将秘密分割成多个片段，只有达到规定阈值的片段数量才能重构秘密，任何更少的片段则一无所获。该方案使用多项式数学：秘密被隐藏在多项式的常数项中，随机系数生成曲线上的点作为份额；两个点（一条直线）可恢复 2-of-n 秘密，三个点（一条抛物线）可恢复 3-of-n 秘密，依此类推。文章指出，实际实现在有限域上工作，并描述了 Ente 的 Legacy Kit 如何整合此方法，以实现安全、可撤销的恢复，而无需暴露永久的密钥。 2小时前, 15票, 2条评论 (https://news.ycombinator.com/item?id=48272393) ## Show HN: OpenBrief – 本地优先的视频下载/摘要工具 (https://github.com/tantara/openbrief) **OpenBrief** 是一款开源桌面应用程序，可将视频和音频文件转换为简洁、*有依据*的摘要，并附带时间戳见解。它允许用户从本地或通过 URL 导入媒体，使用 Whisper 等语音转文本模型或本地方案提取转录文本，并生成 markdown 风格的简报。功能包括与媒体上下文的直接对话、文本转语音摘要以及播放列表管理。由 Tauri 和 React 构建，本地运行，无需外部依赖，强调隐私和开源可访问性。未来计划包括增强音频支持、跨平台库搜索以及扩展到其他文档格式。 16小时前, 204票, 66条评论 (https://news.ycombinator.com/item?id=48231247) ## Gnutella：一个比创造它的世界更长寿的协议 (https://rickcarlino.com/notes/p2p/gnutella-explanation.html) **Gnutella** 是一种去中心化的点对点文件共享协议，因 LimeWire 等客户端在 2000 年代流行起来。本文对其进行了怀旧分析。该协议最初是一个内部演示，在 AOL 取消该项目后泄露到公共领域。Gnutella 持续活跃了十多年，因为它解决了现实世界的问题：无需中央服务器即可实现文件共享，规避音乐产业对数字分发的抵制，并在拨号互联网的限制下有效运行。该协议使用基于 gossip 的网状网络进行节点发现，使用 HTTP 进行文件传输，其核心消息类型（PING/PONG、QUERY/QUERYHIT、PUSH）支持搜索、连接和防火墙穿越。虽然它扩展到了数百万用户，并通过 GGEP 和 HUGE 等扩展进行适应，但其衰落并非源于技术失败，而是因为原有上下文的消失——现代平台和流媒体服务取代了对去中心化文件共享的需求。尽管如此，Gnutella 依然以“长尾”状态存续，由爱好者和 GTK-Gnutella 等客户端维护，证明了其韧性和持久的设计。 15小时前, 140票, 59条评论 (https://news.ycombinator.com/item?id=48265056) ## IBM 分拆出第一家纯量子芯片晶圆厂 (https://futurumgroup.com/insights/2-billion-chips-act-investment-in-quantum-bets-on-ibms-300mm-superconducting-silicon/) 美国商务部与 IBM 宣布了一项 20 亿美元的计划，在纽约州奥尔巴尼建立美国首家纯量子芯片代工厂 Anderon。该工厂由《芯片法案》提供的 10 亿美元和 IBM 提供的 10 亿美元资助，将运营一条 300mm 超导硅晶圆制造线，使美国处于量子制造的前沿。此举优先选择了超导硅技术，利用已建立的半导体工艺实现可扩展的快速迭代——相较于更小的 200mm 替代方案具有战略优势。该资金结构创建了一个两层量子生态系统，将基础设施资本集中在已准备好制造的模态上，同时为其他方法提供较小的股权。IBM 的关注点不仅限于量子比特生产，还包括四个旨在实现可扩展量子控制系统的 ASIC，这对于 2029 年前实现容错计算至关重要。该方案存在偏重一种模态的风险，但与行业整合需求一致，目标是到 2030 年代中期实现 300 万美元的销售额。其他获得资助的公司包括 GlobalFoundries、D-Wave 和 Rigetti，各获得用于研发的较小份额。 4小时前, 7票, 1条评论 (https://news.ycombinator.com/item?id=48271257) ## Tidy PSU – PD-64 C64 电源，为 Commodore 64 带来 USB PD 供电 (https://theoasisbbs.com/pd-64-c64-psu-brings-usb-pd-to-commodore-64/) **Side Project's Lab** 推出了 **PD-64**，这是一款用于 **Commodore 64** 的紧凑型 USB PD 替代电源，取代了原有的笨重变压器。经典 C64 需要 5V 直流和 9V 交流（50 或 60 Hz）用于其内部实时时钟，传统上需要一个大型变压器。PD-64 从 USB PD 墙插适配器获取 12V 直流，通过降压转换器转换为 5V 直流，并通过一个小型平面变压器将 500 kHz 信号送入 D 类放大器，产生 9V 交流，确保电气隔离。后部开关可选择适合用户所在地区的交流频率，设备包含电子保险丝、短路保护、欠压、过压和热关断保护。PD-64 提供 5V 直流（2A）和真正的电气隔离 9V 交流（1A），原理图和 3D 机箱文件可在 GitHub 上获取，但完整设计仍为专有。 3小时前, 3票, 0条评论 (https://news.ycombinator.com/item?id=48271942) ## Show HN: Fungible – 终端中的本地个人财务管理应用 (https://github.com/tomfunk/fungible) **fungible** 是一款基于终端的个人财务管理工具，通过 Plaid 同步银行交易、导入 CSV 文件，并通过键盘导航提供全面的财务追踪。该应用使用可自定义的子字符串和正则表达式规则自动对交易进行分类，支持跨账户标签，并提供财务洞察，包括净值追踪、消费趋势和退休规划指标（FIRE 数字、Coast FIRE 预测）。主要功能包括手动资产跟踪、灵活的消费分类（固定/弹性/可自由支配）、重复交易检测，以及通过模型上下文协议（MCP）服务器与 Claude AI 集成以实现语音启用的财务查询。数据本地存储在 ~/.fungible/ 中，Plaid 访问令牌经过加密，可通过 Homebrew 或从源码（Node.js 22+）安装。 1天前, 189票, 46条评论 (https://news.ycombinator.com/item?id=48245916) ## White Rabbit – 大型分布式系统的亚纳秒同步 (https://ohwr.org/projects/white-rabbit/) **White Rabbit** 提供*亚纳秒*同步和皮秒精度，适用于大型分布式系统，通过基于千兆以太网链路实现确定性的数据交付和跨数千个节点（相距最远 10 公里）的时间标记，并支持来自多个供应商的开源硬件、固件和软件。它还为 **CERN** *White Rabbit* 项目提供支持，目前正在招聘 *FPGA 开发者* 职位，参与 WR switch v4 和 eRTM 板的演进工作，最近的空缺于 2026 年 3 月和 2024 年 9 月公布。 3小时前, 7票, 0条评论 (https://news.ycombinator.com/item?id=48271934) ## Sqlit – 一款类似 lazygit 风格的 SQL 数据库 TUI (https://news.ycombinator.com/item?id=48271934) **Sqlit** 是一款新的*类似 lazygit 风格的 TUI*，用于 SQL 数据库，允许用户无需配置文件即可从终端连接和查询数据库。该工具支持广泛的数据库系统，包括 **SQL Server、PostgreSQL、MySQL、SQLite、Snowflake、BigQuery** 等。主要特性包括：上下文感知的键盘绑定、Docker 集成、Vim 风格的查询编辑器、结果的模糊过滤、SSH 隧道、OS 密钥环凭据存储、自动补全功能、云 CLI 集成以及多种主题。使用 **Python 和 Textual** 构建，Sqlit 可通过 pipx、uv tool 或 pip 安装。开发者旨在打造一款美观的工具，使数据库查询变得简单而愉快，专注于做好一件事。 11小时前, 168票, 154条评论 (https://news.ycombinator.com/item?id=48266422) ## 微软取消在 Caledonia 建设 244 英亩数据中心的计划（2025） (https://www.tmj4.com/news/racine-county/microsoft-pulls-plug-on-plans-for-244-acre-data-center-in-caledonia-after-community-pushback) 微软已**取消**其提议的*244 英亩数据中心*项目，该项目位于威斯康星州**Caledonia**，原因是有**超过 2000 名居民**请愿反对将 County Line Road 和 State Highway 32 上的农田重新分区。微软发言人表示，这是基于社区反馈，但**微软仍对在威斯康星州东南部投资感兴趣**，并正在寻找符合当地优先事项的新地点。**村议员 Nancy Pierce** 和居民 **Prescott Balch** 表达了希望对未来有更好参与。 1小时前, 4票, 0条评论 (https://news.ycombinator.com/item?id=48273162) ## 梵蒂冈与 Anthropic 的关系正在重塑人工智能伦理辩论 (https://religionnews.com/2026/05/22/why-anthropic-is-helping-unveil-the-popes-new-encyclical-on-ai/) 梵蒂冈正深化与领先人工智能公司（尤其是 Anthropic）的关系，随着教宗良十四世准备发布关于人工智能伦理的通谕。基督教领袖和科技界人士现在开始参与制定人工智能伦理指南，这标志着信仰观点在快速发展的科技行业中正在产生更广泛的影响。 1天前, 170票, 167条评论 (https://news.ycombinator.com/item?id=48259861) ## 用 Jujutsu 战胜 Git 严谨疲劳 (https://ikesau.co/blog/defeating-git-rigour-fatigue-with-jujutsu/) 文章介绍了一种使用 **Jujutsu** 版本控制系统应对大型功能开发中“Git 严谨疲劳”的工作流。开发者常常难以写出*好的提交*——即有范围的、递增的变更，如*定义类型、添加数据库函数、服务端 CRUD*——因为他们的工作会与临时修复和调试代码纠缠在一起。作者的解决方案是先创建一个包含所有更改的“一切提交”，然后在开发完成后使用 **jj squash -i** 和 **jj new -B** 将代码重新组织为逻辑有序的提交。这种方法避免了在实时开发中保持严格提交纪律的复杂性，利用了 Jujutsu 相对于 **jj split** 等替代方案的灵活性，并允许无合并冲突的迭代优化。虽然它牺牲了中间提交的稳定性（例如，并非所有提交都能编译），但简化了审查流程，并允许开发过程中的即兴调整。该方法与传统方法形成对比，并强调其对于优先考虑审查者便捷性而非二分查找友好调试的团队的优势。 1天前, 157票, 38条评论 (https://news.ycombinator.com/item?id=48256475) ## 掌握 Dyalog APL (https://mastering.dyalog.com/README.html) 在线版 *MasteringDyalog APL* 是 2009 版的**持续更新**重制版，采用知识共享署名-非商业性使用-相同方式共享许可协议发布，包含原始材料以及针对 Dyalog APL 12.0 的现代化解释和新章节，同时正在转变为交互式 **Jupyter notebook**，提供*实验友好*的学习体验，并附有静态网站和即将出版的印刷版，以满足读者不同的偏好。 4小时前, 9票, 0条评论 (https://news.ycombinator.com/item?id=48271451) ## Slimcc: 面向 x86-64 Linux/BSD 的 C23 编译器，支持 C2y/GNU 扩展，用 C99 编写 (https://github.com/fuhsnn/slimcc/tree/main) GitHub 项目 slimcc 提供一款面向 x86-64 Linux 和 BSD 的 C 编译器，使用 C99 编写，支持 C2y/GNU 扩展。该项目专注于改进的跨平台兼容性、可移植性和现代标准，包括 C23 支持，并包含用于代码改进和优化的工具。其近期开发重点在于安全高效的编译，使其适用于各种编程项目。 4小时前, 15票, 1条评论 (https://news.ycombinator.com/item?id=48271001) ## 稳定币是私人货币，这就是它们对经济构成风险的原因 (h 注：最后一条明显截断。原文应为 "Stablecoins Are Private Money. That's Why They're a Risk to the Economy" 但后面被截断。我们只翻译到已有部分： "稳定币是私人货币。这就是它们对经济构成风险的原因" 但原文链接未给出。由于输入不完整，我们按照已有内容翻译。实际输出中，该条目可能不完整，但按照要求处理。稳定币是私人货币。这就是它们对经济构成风险的原因