Hacker News Posts - Week 2025-10

没人要求这么做：Google 正在 Gboard 中测试圆形按键 (Round Keys)

No one asked for this: Google is testing round keys in Gboard Source

Google 正在 Gboard 的 Beta 版本中测试圆形按键，引发用户争议。新按键形状和位置的改变导致部分用户不满，认为影响了打字体验。文章指出，尽管是 Beta 版更新，但用户对这种未经请求的改变感到意外。用户可以通过退出 Beta 版、卸载并重新安装 Gboard 来恢复旧版。文章还提到，由于加入和退出 Beta 版的难易程度不同，许多用户可能未意识到自己是 Beta 用户。最终，圆形按键可能会推广到稳定版，用户可以选择禁用自动更新来避免。

《Take It Down Act》不是法律，而是一件武器

The Take It Down Act isn't a law, it's a weapon Source

文章指出，《Take It Down Act》旨在打击非自愿私密图像（NCII），但作者认为该法案更可能被腐败政府用作政治武器，而非保护受害者。文章批判了政府选择性执法，可能偏袒大型科技公司，并利用法律攻击异见者。作者认为，在当前政治环境下，即使接受法案的权衡，也无法保证科技公司会真正履行保护用户的义务。文章还提到了该法案可能引发的言论审查、加密安全问题，以及对小型平台的潜在影响。最终，作者呼吁关注宪法危机，并认为在国会恢复其作为政府部门的地位之前，该法案的积极作用有限。

Broadcom 赢了：70% 的大型 VMware 客户购买了其最大捆绑包

Broadcom has won. 70 percent of large VMware customers bought its biggest bundle Source

Broadcom 收购 VMware 后，业绩显著增长。其第一季度收入达 149.2 亿美元，同比增长 25%。70% 的大型 VMware 客户购买了其最大捆绑包 VMWare Cloud Foundation (VCF)。Broadcom 软件业务利润率大幅提升。同时，Broadcom 正与七家超大规模企业合作开发定制 AI 芯片，AI 相关产品收入增长强劲。CEO 表示，目前专注于 AI 和 VMware，暂不考虑收购其他公司。

欧洲头号通缉犯策划了对我和我同事的谋杀——追踪 Jan Marsalek

Europe's most wanted man plotted my murder – and that of my colleague Source

文章讲述了记者 Christo Grozev 及其同事 Roman Dobrokhotov 遭到欧洲头号通缉犯 Jan Marsalek 指使的谋杀和绑架阴谋。Marsalek，前 Wirecard 高管，同时为俄罗斯 FSB 工作，指使保加利亚团伙跟踪、监视 Grozev 和 Dobrokhotov，并策划了包括绑架、暗杀在内的多种方案。这些计划因英国警方的介入而失败，相关人员被捕。文章揭示了 Marsalek 与 FSB 的联系，以及针对记者的威胁和情报行动。

DOGE 正在危及重要的政府效率项目

Doge Is Putting Major Government Efficiency Projects at Risk Source

文章指出，DOGE 削减政府开支的行动导致大量技术人员被解雇或辞职，危及了多个重要的政府效率项目。裁员主要集中在 GSA 的 18F 部门和 USDS，这些部门负责改善政府服务、构建技术。涉及的项目包括 IRS 的 Direct File、国务院的护照申请系统、Weather.gov 网站等。员工表示，裁员导致项目停滞，技术生态系统被破坏，并可能影响到公共卫生、天气预报等领域。剩余员工对未来感到担忧，并预计裁员还将继续。

优秀的软件设计往往显得平平无奇：浅谈软件设计的本质

Great software design looks underwhelming Source

优秀的软件设计应力求简单，核心在于通过设计消除潜在的失效模式，而非被动地添加错误处理机制。文章强调了减少组件、规范化状态、依赖稳健系统的重要性。例如，将组件移出热路径、移除不必要的组件、集中状态管理，以及使用如Unicorn这样的成熟系统，都能降低风险。最终，好的设计往往显得平平无奇，因为它专注于避免复杂性，从而实现可靠性。

莫斯科全球新闻网络感染西方 AI 工具

Moscow-based global news network has infected Western AI tools Source

一项审计发现，一个由莫斯科资助的“Pravda”虚假信息网络，通过渗透西方 AI 工具，传播亲克里姆林宫的宣传。该网络利用搜索引擎优化等技术，将虚假信息注入 AI 聊天机器人的检索数据中。审计显示，10 个领先的 AI 工具在高达 33% 的情况下重复了 Pravda 网络的虚假叙述。该网络针对全球多个国家，以多种语言发布大量文章，旨在影响 AI 模型，而非直接针对人类读者。

传言称微软正在筹划一个没有 OpenAI 的未来 (Microsoft Plotting a Future without OpenAI)

Microsoft is plotting a future without OpenAI Source

微软正计划减少对 OpenAI 的依赖，目标是构建内部 AI 模型以降低成本并增强战略自主性。微软 AI 负责人 Mustafa Suleyman 领导着这项计划，他希望减少对 OpenAI 的技术依赖，并寻求对 AI 模型和成本的更多控制。尽管微软已向 OpenAI 投资巨额资金，但其内部替代方案的构建面临技术挑战和合同限制。微软正在测试来自 xAI、DeepSeek 和 Meta 等公司的替代方案，并逐步将内部模型集成到产品中。最终，微软能否完全摆脱 OpenAI，仍是一个未知数。

WB 对过早腐烂的DVD提供更换，但不退款

WB offers replacements, but no refunds, for DVDs rotting prematurely Source

文章指出，部分2006-2008年间由WB发行的DVD存在过早腐烂问题。WB承认问题并提供更换，但仅限于更换同名或类似价值的影片，不提供退款。尽管DVD收藏家多年来已发现此问题，WB近期才公开承认。受影响的DVD可能来自特定工厂，导致光盘质量不佳。文章建议拥有WB DVD的读者检查光盘是否完好。

Show HN: 为开源 CMS 打造大型科技公司的开发者体验

Show HN: A big tech dev experience for an open source CMS Source

该团队正在构建一个开源 CMS，旨在提供类似大型科技公司的开发者体验。他们展示了一个基于 Twitter 用户名的“身份卡”生成工具，并计划采用类似 [Constitutional AI] 的方法，强调可重复性、可测试性和可验证性。他们关注开发者体验和社区，目标是降低参与门槛。技术栈包括 [Isograph]、[Replit] 和 [Sapling]。团队成员曾就职于 [Facebook]，并希望利用经验打造 AI 优先的开发环境，简化命令发现、提供上下文，并利用 AI 辅助编码。他们鼓励开发者参与，并提供了 [Replit]、[Discord] 和 [Twitter] 的链接。

HTML 中引入 command 和 commandfor 新特性

Introducing command And commandfor In HTML Source

文章介绍了 HTML 中新增的 `command` 和 `commandfor` 属性，它们增强并取代了 `popovertargetaction` 和 `popovertarget`。这两个属性允许开发者以声明式方式控制按钮行为，简化了交互逻辑，例如打开菜单、对话框等。`command` 属性提供内置命令，如 `show-popover`、`close` 等，也支持自定义命令。`commandfor` 属性指定目标元素。这些新特性旨在提升 Web 应用程序的开发效率和可访问性，减少对 JavaScript 的依赖。

B树中的乐观锁：Optimistic Locking in B-Trees

Optimistic Locking in B-Trees Source

文章探讨了B树在现代硬件上的高效性。B树具有出色的缓存效率，能充分利用大型缓存，并支持高效的线程同步。文章重点介绍了乐观锁耦合技术，通过序列号检测并发修改，避免了锁竞争，提高了B树的并发性能。这种技术使得B树在读写操作上都表现出色，即使在多核环境下也能高效运行，证明了B树作为数据结构的持久价值。

Vtm: Text-Based Desktop Environment

Vtm: Text-Based Desktop Environment Source

文章介绍了 `Vtm`，一个基于文本的桌面环境。它通过文本单元格的镶嵌表示用户界面，可以渲染到 GUI 窗口或文本控制台中。`Vtm` 能够包装和嵌套控制台应用程序，从而形成基于文本的桌面环境。它支持 Windows、Linux、macOS 等多种平台，并提供了二进制文件下载和详细的文档。

Kraftful (YC S19) is hiring a founding eng to support our hockey-stick growth

Kraftful (YC S19) is hiring a founding eng to support our hockey-stick growth Source

Kraftful (YC S19) 正在招聘一名创始工程师，以支持其快速增长。该职位薪资10万-15万美元，并提供股权。工作地点为美国或远程（美国）。应聘者需有6年以上经验，参与技术愿景和产品方向，使用包括 OpenAI 在内的 LLM，并能适应快速变化的环境。Kraftful 是一家产品团队的 Copilot，专注于将用户反馈转化为可操作的见解。

Show HN: IEMidi - 适用于任意控制器的跨平台 MIDI 映射编辑器

Show HN: IEMidi – Cross-platform MIDI map editor for arbitrary controllers Source

**IEMidi** 是一个由 **Interactive-Echoes** 开发的跨平台 MIDI 映射编辑器，基于 ImGui 和 RtMidi 构建，可将 MIDI 消息映射到各种操作，如音量控制、控制台命令等。该项目支持 Windows 和 Linux 平台，提供了安装方法。项目采用 GPL-2.0 协议，欢迎贡献。主要使用了 IECore、IEActions、RtMidi 和 Rapid YAML 等第三方库。

阅读 Martha Nussbaum 的哲学是一种纯粹的享受

Reading Martha Nussbaum's philosophy is pure pleasure Source

文章介绍了哲学家 Martha Nussbaum 的哲学思想，主要集中在她提出的 capabilities approach (CA)。CA 强调政府应提供公民过上幸福生活所需的各种能力，包括生命、健康、情感、理性等，而非直接提供公民所需。文章还探讨了 Nussbaum 的情感理论，特别是她对愤怒的重新思考，认为愤怒在规范上存在问题，并提出了“过渡”的建设性方案。文章赞扬了 Nussbaum 哲学风格的清晰优雅，以及她将哲学与现实生活结合的特点。

伦敦手机失窃记：锡箔纸与阿尔及利亚市场

Kitchen foil and Algerian markets: When your phone is stolen in London Source

文章揭示了伦敦手机盗窃猖獗的现状及背后复杂的犯罪链条。盗贼利用电动自行车快速抢夺手机，并用锡箔纸等手段躲避追踪。手机被盗后，会被转卖给中间人，最终流向阿尔及利亚或中国等国家，用于拆解、零件销售或解锁。文章还探讨了犯罪分子利用 crimeware-as-a-service 进行威胁勒索，并呼吁手机制造商加强技术安全，以及警方采取更有效的打击措施。

基于 Laser 的设备可以扫描几乎任何气体样本并识别成分

Laser-based device can scan almost any sample of gas and tell you what's in it Source

科罗拉多大学博尔德分校和 NIST 团队开发了一种基于 Laser 的设备，能扫描几乎任何气体样本并识别分子成分，灵敏度达万亿分之一。该设备设计简单，可快速低成本应用于多种环境，包括疾病诊断和温室气体监测。研究基于频率梳 Laser 和名为 MRCI 的新技术，通过改变 optical cavity 尺寸，扩大光谱范围，并用计算算法分析 Laser 强度模式。该技术已用于分析人类呼吸样本，识别口腔细菌，并有望用于诊断肺癌、糖尿病、COPD 等疾病。研究人员正与医学机构合作，验证其在医学诊断中的潜力。

押注教皇：最早的 Prediction Market

Betting on the Pope was the original prediction market Source

文章探讨了历史上针对教皇选举的预测市场，最早可追溯到500年前。当时，罗马教廷试图阻止对教皇健康和选举结果的赌博，但赌博活动依然猖獗，信息泄露、内幕交易等问题频发。教廷颁布法令试图禁止，但效果有限。如今，随着技术发展，Prediction Market卷土重来，作者担忧其对社会的影响，特别是对教皇选举等重要事件的潜在负面影响，呼吁关注其伦理问题。

Strobelight：一个基于开源技术构建的性能分析服务

Strobelight: A profiling service built on open source technology Source

文章介绍了 Meta 内部使用的性能分析服务 Strobelight，它基于多种开源技术构建。Strobelight 编排了多种性能分析器，包括内存、函数调用计数、事件、AI/GPU 等，并结合 eBPF 技术收集详细的性能数据。该服务提供命令行工具和 Web UI，支持连续和触发式分析，并能进行符号化处理。Strobelight 帮助工程师识别性能瓶颈，优化代码，并已实现显著的效率提升，例如通过一个字符的修改节省了大量服务器资源。

Roame (YC S23) 招聘 CEO 幕僚长 (Chief of Staff)

Roame (YC S23) Is Hiring a Chief of Staff Source

Roame (YC S23) 是一家航班搜索引擎，专注于信用卡积分和里程兑换。公司正在招聘 CEO 幕僚长，负责协助 CEO 处理产品、销售、市场营销等事务，并参与战略决策。该职位要求3年以上相关经验，对积分旅行感兴趣，具备主人翁精神和执行力，薪资13.5万-18.5万美元，并提供股权。工作地点在旧金山，不接受远程办公。

天然分子在减重方面媲美 Ozempic，并避免了副作用

Natural occurring molecule rivals Ozempic in weight loss, sidesteps side effects Source

研究发现一种天然分子 BRP，在抑制食欲和减轻体重方面与 Ozempic 相似，且动物实验显示其副作用更少。BRP 通过不同于 Ozempic 的代谢途径，专门作用于下丘脑，控制食欲和新陈代谢。研究人员利用人工智能筛选 prohormones，发现了 BRP。BRP 在小鼠和小型猪实验中，能显著减少食物摄入量和体重，且未观察到不良行为或生理变化。研究团队计划进行人体临床试验，并探索 BRP 的作用机制和给药方式。

Matters Computational: Ideas, Algorithms, Source Code – Jorg Arndt [pdf] 中文版

Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf] Source

本书由 Jorg Arndt 撰写，探讨了计算领域的核心要素：思想、算法和源代码。它深入研究了这些要素之间的联系，旨在帮助读者将抽象概念转化为可执行的程序。内容可能涵盖计算思维的基本概念、各种重要算法（如排序、搜索等）及其效率分析，以及使用 C++, Python, Java 等语言编写的算法实现示例。本书强调代码风格、可读性和可维护性，并可能涉及软件工程最佳实践，如单元测试和版本控制。目标读者包括计算机科学学生、软件开发人员以及对计算感兴趣的读者。

严格的 YAML 解析器：StrictYAML 使用指南

StrictYAML Source

StrictYAML 是一个类型安全的 YAML 解析器，它拒绝解析 YAML 中不安全的功能，并提供严格的标记验证和类型转换。它具有优美的 API，清晰的异常信息，并支持修改和写回 YAML 文件，同时保留注释。可以使用 schema 进行数据验证，如果存在语法错误或 schema 违例，会抛出异常。 StrictYAML 旨在提供更安全、更易于维护的 YAML 解析体验，并提供了丰富的验证器和使用指南。

英国人读书情况：40%的人过去一年未读过一本书

40% of Britons haven't read a single book in the last 12 months Source

英国一项调查显示，过去一年40%的英国人未读过任何书籍。阅读书籍的中位数为3本。女性、年长者和中产阶级更倾向于阅读。阅读时间主要集中在睡前、空闲时间和度假时。读者偏爱小说，纸质书仍是主流，但电子书和有声书的使用也在增加。约一半的人购买新书，但也有近三成的人一年未购书。书籍整理方式多样，拥有更多书籍的人更倾向于整理书架。

Cargo (YC S23) 正在招聘：创始团队全栈 AE / 创始 AE

Cargo (YC S23) Is Hiring Source

Cargo (YC S23) 正在招聘创始团队全栈 AE 和创始 AE。Cargo 是一家旨在通过 AI 驱动的平台优化 GTM 团队的公司。该职位要求3年以上B2B SaaS销售经验，负责全销售周期，包括寻找潜在客户、完成交易等。工作地点可选旧金山或远程，薪资10万-15万美元。Cargo 强调创始人心态，并提供股权、无限制PTO等福利。

LADDER：通过递归问题分解实现自提升的 LLM

Ladder: Self-Improving LLMs Through Recursive Problem Decomposition Source

LADDER 框架通过递归分解复杂问题，让大型语言模型 (LLM) 自主提升解决问题的能力。该方法无需人工干预或预先准备的数据集，利用模型自身生成更简单的问题变体进行学习。实验表明，LADDER 显著提高了模型在数学积分问题上的准确率，例如，将 Llama 3.2 3B 的准确率从 1% 提升至 82%。此外，结合 TTRL (测试时强化学习)，模型在 MIT Integration Bee 资格考试中取得了优异成绩，超越了 OpenAI o1。

美国实际已断开乌克兰的 HIMARS 系统，停止情报数据交换

The USA has effectively disconnected HIMARS for Ukraine Source

美国已停止向乌克兰提供关键情报，包括用于 **HIMARS** 系统的目标数据。该决定于基辅时间下午2:00生效，此前 **Trump** 政府冻结了军事援助。消息源称，乌克兰无法获得远程打击的实时信息。**CIA** 局长证实已暂停向乌克兰供应武器和情报数据。华盛顿还禁止英国与乌克兰分享美国军事情报数据。

Google Analytics 退出浏览器插件：保护您的数据隐私

Google Analytics Opt-Out Browser Add-On Source

为了保护用户数据隐私，Google推出了一个名为“Google Analytics opt-out browser add-on”的浏览器插件。该插件允许网站访问者阻止其数据被使用 Google Analytics JavaScript (analytics.js, gtag.js) 的网站收集。用户可以下载并安装该插件到 Chrome, Safari, Firefox 和 Microsoft Edge 浏览器。安装后，插件会在浏览器上加载和执行，从而实现数据退出功能。

可微逻辑元胞自动机：从 Game of Life 到模式生成

Differentiable Logic Cellular Automata Source

该研究提出了一种名为可微逻辑元胞自动机（DiffLogic CA）的新方法，结合了Neural Cellular Automata (NCA) 和 Differentiable Logic Gates Networks，用于学习元胞自动机的局部规则。研究通过实验验证了DiffLogic CA学习 Conway's Game of Life 和生成复杂模式的能力，证明了其在循环电路中的有效性。结果表明，该模型能通过学习生成局部规则，实现对离散状态的控制，并为可编程物质的研究提供了新的思路。

InstantStyle: Free Lunch Towards Style-Preserving in Text-to-Image Generation

InstantStyle: Free Lunch Towards Style-Preserving in Text-to-Image Generation Source

该项目名为 InstantStyle，旨在通过简单有效的技术，在文本到图像生成中保持风格。它利用CLIP特征分离风格和内容，并通过仅注入到特定注意力层（风格块）来控制风格。项目提供了代码、演示和技术报告，支持多种应用，如风格化合成、基于图像的风格化，并与IP-Adapter兼容。此外，InstantStyle已集成到diffusers中，支持高分辨率生成和分布式推理。

我为什么觉得 Diffusion Models 有趣？

Why I find diffusion models interesting? Source

文章讨论了 Diffusion LLM (dLLM) 的新颖之处。与传统 LLM 逐个预测 tokens 的方式不同，dLLM 同时启动所有步骤，逐步生成文本，在代码生成方面表现更优，速度和效率也更高。作者认为 dLLM 能够减少 LLM 产生的“幻觉”问题，先生成关键部分并验证，再生成其余部分。此外，dLLM 有助于改进多步骤 agent 工作流，避免陷入循环，通过提前规划确保整体一致性。文章还提供了体验 dLLM 的链接。

如何在不产生任何证书错误的情况下不信任 CA (Certificate Authority)

How to distrust a CA without any certificate errors Source

文章探讨了在不引发证书错误的前提下，不信任证书颁发机构 (CA) 的方法。核心在于利用 `SCTNotAfter` 机制，该机制结合了证书透明度 (CT) 日志，允许浏览器仅拒绝未来由被不信任 CA 颁发的证书，而现有证书仍可继续使用。这种前瞻性的不信任方式避免了对用户造成干扰，并为用户提供了过渡到新 CA 的时间。文章强调了 CT、更短的证书有效期以及 `SCTNotAfter` 在提升 Web PKI 安全性方面的作用。

关于形式系统和谎言小妖精的简短思考：一个 Boolean Algebra 的应用

A brief meditation on formal systems and lying goblins Source

文章探讨了电影《迷宫》中“谎言小妖精”谜题的逻辑解法。作者认为，使用 Boolean Algebra 形式系统比用日常语言更容易解决这类问题。文章通过建立变量，运用 XOR 运算，逐步推导出提问方式，最终解决了谜题，并强调了形式系统在解决复杂问题时的优势，认为其能将推理外包，简化步骤，使问题更易理解。

Koko (YC W22) 招聘 CTO / 首席工程师

Koko (YC W22) Is Hiring a CTO / Lead Engineer Source

Koko (YC W22) 正在招聘首席工程师/CTO，该公司致力于为年轻人提供在线心理健康服务。该职位要求6年以上经验，需具备全栈应用构建、数据科学、机器学习、AI伦理等方面的能力，并能主导平台架构、实验框架的设计与实施，以及数据驱动的产品决策。Koko 提供塑造技术愿景、灵活工作、接触 AI 领域网络等机会，薪资与营利性科技组织相当。

Show HN: Rust Vector and Quaternion Lib

Show HN: Rust Vector and Quaternion Lib Source

该项目发布了一个基于 Rust 的向量、四元数和矩阵运算库，主要用于通用目的和计算机图形领域。该库支持 f32 和 f64 类型，并提供了 `no_std`、`computer_graphics` 和 `encode` 等特性。它包含向量、四元数和矩阵的数据结构及相关运算，适用于计算机图形、生物力学、机器人等多种科学和工程应用。代码示例展示了基本的向量和四元数操作，以及在计算机图形中的应用。

使用 GRPO 在 "Temporal Clue" 游戏中击败 o1, o3-mini 和 R1

Using GRPO to Beat o1, o3-mini and R1 at "Temporal Clue" Source

文章介绍了使用 GRPO 强化学习方法，在“Temporal Clue”推理游戏中训练 Qwen 14B 和 32B 模型，使其推理能力超越了 o1、o3-mini 和 R1 等模型，并接近 Sonnet 3.7 的水平，同时大幅降低了推理成本。文章详细阐述了任务设计、超参数设置、训练方案，并公开了相关数据集、实验代码和模型权重。研究表明，即使使用少量训练样本，也能显著提升模型性能，证明了强化学习在提升开放权重模型演绎推理能力方面的潜力。

Index Card 如何编目世界 (2017)

How the Index Card Cataloged the World (2017) Source

文章探讨了 **Index Card** 的历史和影响。**Carl Linnaeus** 率先使用 **Index Card** 进行信息分类，这种工具最初用于植物学研究，帮助解决了信息过载问题。作者通过个人经历，讲述了 **Index Card** 在学术研究中的应用，并指出其作为启蒙运动产物的历史背景。文章还强调了 **Index Card** 背后潜在的政治含义，它为人类分类奠定了基础，并可能引发偏见和暴力。

Show HN: Shelgon - 一个用 Rust 构建交互式 REPL Shell 的框架

Show HN: Shelgon: A Framework for Building Interactive REPL Shells in Rust Source

Shelgon 是一个基于 Rust 的框架，用于构建交互式 REPL 应用和自定义 shell。它提供类型安全的命令执行、异步运行时集成、美观的终端 UI (由 `ratatui` 驱动) 以及丰富的输入处理功能，包括命令历史、光标移动、Tab 补全等。用户可以通过定义 `Executor` 和 `Context` 来定制 shell 的行为，并支持 STDIN 输入。文章还提供了安装方法和快速开始示例，以及构建自定义 shell 的指南和贡献方式。

EFF: Rayhunter - 用于检测手机基站模拟器的 Rust 工具

EFF: Rayhunter Source

该文章介绍了名为 `rayhunter` 的 Rust 工具，用于检测 Orbic 移动热点上的手机基站模拟器。该工具提供 Web UI，允许用户启动/停止录制、下载捕获数据和查看分析。文章提供了安装和使用说明，以及开发相关的步骤。代码为概念验证，不建议在高风险情况下使用。

曝光俄罗斯 EFF 模仿者：Stealc 和 Pyramid C2 的内幕故事

Exposing Russian EFF Impersonators: The Inside Story on Stealc and Pyramid C2 Source

文章揭露了冒充 EFF 的俄罗斯威胁组织，针对在线游戏 Albion Online 的玩家进行攻击。该组织通过钓鱼邮件和伪造的 EFF 报告诱骗玩家，植入 Stealc 和 Pyramid C2 恶意软件，窃取凭据。文章分析了开放目录、恶意软件代码和 C2 通信，揭示了攻击的技术细节，并提供了相关的 IOC 信息。建议用户警惕钓鱼邮件，验证来源，并使用安全工具分析链接和附件。

Bcvi - 通过“后备通道”运行 vi (2010)

Bcvi – run vi over a 'back-channel' (2010) Source

文章介绍了 `bcvi` 工具，它通过“后备通道”与 SSH 协同工作，允许用户在远程服务器上使用本地 GUI 编辑器（如 `gvim`）编辑文件，或将文件复制回本地桌面，甚至接收桌面通知。`bcvi` 简化了远程编辑和文件操作，无需 X-forwarding，提高了效率。文章详细阐述了 `bcvi` 的工作原理、安装方法、配置步骤，以及与 SSHMenu 的集成，并提供了相关参考链接。

Warewulf：一种无状态和无盘容器操作系统配置系统

Warewulf is a stateless and diskless container OS provisioning system Source

文章介绍了 Warewulf，一个无状态、无盘的容器操作系统配置系统，主要用于大型裸机或虚拟系统集群，尤其适用于高性能计算（HPC）环境。它支持网络启动，并提供网站、文档、下载、社区帮助和商业支持。文章还展示了其在 GitHub 上的项目信息，包括代码、问题、PR、分支、标签、提交历史、贡献者、许可证和使用的编程语言。

文件系统五十年：1984年的文件系统发展

50 Years in Filesystems: 1984 Source

1984年，BSD Unix的快速文件系统（FFS）问世，解决了传统Unix文件系统在吞吐量、分配和局部性方面的不足。FFS基于柱面组优化磁盘布局，将元数据和数据更紧密结合，并引入大块、小片段和尾部打包等技术。它还改进了inode编号、文件名长度、符号链接、rename系统调用和配额等。FFS显著提升了性能，但仍是非日志文件系统，存在目录条目搜索效率低等问题。Linux的ext2文件系统借鉴了FFS的设计。

提问 William J. Rapaport 的机会

Questions for William J. Rapaport Source

3月27日将有一场与[William J. Rapaport]的讨论。他是[U at Buffalo]的教授，专攻AI的哲学家和计算机科学家，著有相关领域的重要书籍和论文。他近期发表了两篇论文，分别探讨了AI的成功前景和[Large Language Models]与[Turing Test]的关系。由于[William]很少公开演讲，文章鼓励对这些主题感兴趣的人通过提供的表单提交问题，以获得难得的提问机会。

Show HN: 开源、原生音频的 Turn Detection 模型

Show HN: Open-source, native audio turn detection model Source

该文章发布了一个开源的、原生音频的 turn detection 模型，基于 Meta AI 的 Wav2Vec2-BERT。该模型旨在识别语音何时结束，比传统的 VAD 方法更符合人类预期。目前是概念验证模型，仅支持英语，训练数据有限。项目目标是构建易于使用、部署和微调的先进 turn detection 模型。文章介绍了模型架构、推理和训练方法，并鼓励社区贡献数据、进行架构实验和优化。

精简数据结构（Succinct Data Structures）

Succinct Data Structures Source

文章介绍了精简数据结构（succinct data structures）的概念，这类数据结构以紧凑方式存储数据，同时保持数据的可用性，不像压缩数据需要解压才能使用。文章重点介绍了位向量、rank/select 位向量、小波矩阵、FM-index 和平衡括号树等几种精简数据结构，并阐述了它们在不同场景下的应用，例如字符串处理、文本搜索和树结构表示。文章还提到了在 Rust 语言中实现这些数据结构的库，并展望了它们在 XML 处理和编程语言编译器等领域的应用潜力。

Mistral OCR：文档理解 API 新纪元

Mistral OCR Source

Mistral AI 发布了 Mistral OCR，一款先进的文档理解 API。该 API 能够准确处理包含图像、表格、公式、多语言等复杂元素的文档，并提供结构化输出。Mistral OCR 在基准测试中表现优异，速度快，支持多语言，并提供自托管选项。它可用于科学研究、文化遗产保护、客户服务等领域，将文档转化为可行动的知识。用户可在 [la Plateforme](https://mistral.ai/fr/news/) 上体验 API，并在 [le Chat](https://mistral.ai/fr/news/) 上免费试用。

56k modems relied on digital trunk lines

56k modems relied on digital trunk lines Source

文章解释了56k Modem突破33.6kbps速度限制的原因。核心在于利用了电话网络数字化转型。ISP端采用数字方式接入网络，绕过模拟-数字转换，实现56kbps的下载速度，但上传仍受限。最初存在x2和K56Flex标准之争，最终由V.90标准统一。尽管实际速度受线路质量影响，56k Modem仍是宽带普及前的关键技术。

NASA 关闭 Voyager 科学仪器，更多电力削减以维持探测器运行

NASA Shuts Off Voyager Science Instrument Source

为了延长“旅行者”号探测器的寿命，NASA关闭了“旅行者1号”的宇宙射线子系统和“旅行者2号”的低能带电粒子仪器。由于探测器电力有限，工程师们通过关闭科学仪器来节约能源，以维持任务运行。这些措施预计能使探测器运行到2030年代，但同时也意味着剩余的科学仪器数量减少。尽管如此，NASA仍希望尽可能长时间地收集来自星际空间的数据。

招聘：Leaping AI (YC W25) 正在招聘自改进语音 AI 的创始工程师

Leaping AI (YC W25) Is Hiring Founding Engineers for Self-Improving Voice AI Source

Leaping AI (YC W25) 正在招聘创始全栈工程师，负责构建自改进语音 AI 平台。该职位要求1年以上经验，薪资15万-22万美元，并提供股权。候选人需熟悉 TypeScript、Next.js、Python等技术，具备沟通能力和创业精神。Leaping AI 是一家获得 YC 资助的初创公司，专注于自改进语音 AI，团队规模小，行动迅速。

动漫迷偶然发现的数学证明：Superpermutation 问题

Anime fans stumbled upon a mathematical proof Source

文章讲述了动漫粉丝在4chan论坛上偶然发现并推动解决的数学难题——superpermutation问题。该问题涉及找到包含所有排列的最短序列。一位匿名用户在论坛上提出了一个关于动漫剧集观看顺序的数学问题，并给出了一个关于superpermutation最小长度的估算公式。后来，数学家们验证了该公式，并将其发表。文章还介绍了该问题与旅行推销员问题的联系，以及计算superpermutation的复杂性。最终，虽然找到了superpermutation长度的上下限，但找到最短序列仍然是一个挑战。

Show HN: CodeTracer - 一款使用 Nim 和 Rust 实现的全新时间旅行调试器

Show HN: CodeTracer – A new time-traveling debugger implemented in Nim and Rust Source

CodeTracer 是一款基于 Nim 和 Rust 的时间旅行调试器，支持多种编程语言。它通过记录程序执行过程到可共享的跟踪文件，允许用户在 GUI 环境中前后移动，查看变量历史。目前支持 Noir 语言，并计划在 2025 年扩展对更多智能合约和零知识编程语言的支持，以及系统编程语言的支持。CodeTracer 具有全知功能和跟踪点，能显著提升调试效率。

Age and cognitive skills: Use it or lose it

Age and cognitive skills: Use it or lose it Source

本文研究了年龄与认知技能的关系，利用德国“国际成人能力评估计划 (PIAAC-L)”的纵向数据，分析了识字和计算能力随年龄的变化。研究发现，平均技能水平在中年时提高，但只有技能使用率低于平均水平的人，其技能才会在老年时期下降。高技能使用率的白领和受过高等教育的工人，即使超过四十多岁，其技能也在不断提高。女性在老年时期技能损失更大，尤其是在计算能力方面。文章强调了技能使用的重要性，认为“用进废退”是认知技能保持的关键。

Empirical Health 招聘设计工程师，共建未来基层医疗

Empirical Health is hiring design engineers to build primary care of the future Source

Empirical Health 是一家获得 YC 资助的初创公司，致力于利用 AI 改善基层医疗。公司招聘 Design Engineer，负责构建面向患者的移动应用程序，主要工作包括设计数据可视化、GenAI UI 模式以及新功能。职位要求扎实的 TypeScript 或 JavaScript、React 或 React Native 知识，以及交互设计、可用性和数据可视化技能。工作地点在纽约，薪资范围 14 万至 26 万美元。

科学家揭示阿司匹林可能阻止癌症扩散的机制

Scientists crack how aspirin might stop cancers from spreading Source

科学家发现阿司匹林可能通过增强免疫系统来阻止癌症扩散。研究表明，阿司匹林能扰乱血小板，解除其对T-cell的抑制，从而帮助T-cell清除癌细胞。动物实验结果令人鼓舞，但目前不建议患者自行服用，因为阿司匹林存在出血风险，且并非对所有癌症有效。研究人员正在进行临床试验，以确定哪些患者能从阿司匹林中获益。这项研究为理解阿司匹林的作用提供了新视角，未来可能开发出副作用更小的新药。

丹麦邮政将停止信件投递服务

Denmark postal service to stop delivering letters Source

丹麦邮政公司 PostNord 因信件数量锐减90%，将于2025年底停止信件投递服务，结束其400年历史。此举涉及1500个邮筒的撤除和约1500名员工失业。尽管政府表示信件仍可发送，但该决定引发对老年人和偏远地区居民的影响担忧。PostNord 将重心转向包裹递送，并提供邮票退款。欧洲其他国家，如德国的 Deutsche Post，也面临类似困境，并采取裁员措施应对。

AMD 发布完全开源的 "Instella" 3B 语言模型

AMD Announces "Instella" Open-Source 3B Language Models Source

AMD 发布了完全开源的 3B 参数语言模型 Instella。该模型在 Instinct MI300X GPUs 上训练，性能与 Llama 3.2 3B、Gemma-2 2B 和 Qwen 2.5 3B 等模型相当。AMD 强调 Instella 的“完全开源”，包括模型权重、训练超参数、数据集和代码，旨在促进 AI 社区的创新与协作。Instella 托管在 GitHub 上，开发者可访问并参与改进。

使用 AI 自动标记直播中玩手机的政客：The Flemish Scrollers

Automatically tagging politician when they use their phone on the livestreams Source

“The Flemish Scrollers”项目利用AI技术自动检测比利时政客在议会直播中使用手机的行为。该项目通过Python编写的软件，结合机器学习和人脸识别，从YouTube频道直播中识别分心政客，并将相关视频发布到Twitter和Instagram。软件自2021年7月开始运行，并可回溯检查历史视频。作者还提供了相关产品，如“Shortlife”钟表和衬衫，以支持其工作。

通过 Stream Processing 演示解决实际问题

Demos of Stream Processing Solving Real-World Problems Source

该项目集合旨在通过可执行的演示，展示如何使用 stream processing 解决实际问题，反驳“stream processing 难学难用、昂贵且无商业价值”的观点。项目提供入门、基本示例、简单演示和解决方案演示，涵盖从 Kafka、PostgreSQL 等数据源摄取、处理、转换和卸载数据的流程，并使用 RisingWave 作为默认的 stream processing 系统。用户仅需笔记本电脑即可运行演示，欢迎参与讨论。

别再发 Twitter Threads 了，试试写博客 (2021)

Forget Twitter Threads; Write a Blog Post Instead (2021) Source

这篇文章批评了在 Twitter 上发布长篇“thread”的趋势，认为其上下文缺失，不适合长篇内容展示。作者建议用写博客代替，博客更适合呈现连贯、易于阅读的内容，并能更好地控制内容。文章认为，即使没有博客，也可以使用如 WordPress 这样的平台。作者呼吁内容创作者让内容更易于消费，并表达了对 Twitter thread 这种形式的困惑。

Revolt：Discord 的开源替代方案

Revolt: Open-Source Alternative to Discord Source

Revolt 是一款开源聊天应用，旨在成为替代方案。它提供文本频道、社区构建工具（权限控制、Mod 工具、Bots），并支持自定义外观。Revolt 强调隐私保护，无广告、无追踪，符合 GDPR 规定。它还提供 DM 和群组功能。用户可以通过 GitHub 下载桌面版，或使用 Web App。

新关税政策或导致更多实体游戏光盘“不再生产”

Due to new tariffs, many more physical game discs may "simply not get made" Source

文章分析了新关税政策对实体游戏光盘和游戏硬件的影响。由于关税，特别是对墨西哥生产的光盘征收25%的税，可能导致实体游戏光盘产量锐减，发行商或将转向全数字发行。同时，游戏硬件价格也可能上涨，因为大量游戏机从中国进口。虽然部分厂商已将生产转移出中国，但整体行业仍面临关税带来的成本压力。文章还提到，游戏行业可能争取关税豁免。

Arva AI (YC S24) 正在招聘 AI 产品工程师

Arva AI (YC S24) Is Hiring an AI Product Engineer Source

Arva AI (YC S24) 正在招聘 AI 产品工程师，为银行和金融科技公司提供 AI 驱动的业务验证。该职位位于伦敦，要求3年以上全栈/产品工程经验，熟悉 TypeScript、React、NodeJS，以及 AI/ML 和计算机视觉。主要职责包括构建全栈产品功能、优化prompt、微调模型等。公司强调快速交付价值、客户至上和透明沟通的文化。

Apache Iceberg：现代数据栈中的 Hadoop？

Apache iceberg the Hadoop of the modern-data-stack? Source

Apache Iceberg 在现代数据栈中扮演着数据湖和湖仓一体架构的基石，其发展轨迹与 Hadoop 相似。Iceberg 解决了数据湖中管理大型、ACID 兼容数据集的问题，但采用过快可能导致技术债务。小文件问题、复杂堆栈维护、元数据开销等挑战依然存在。成功采用 Iceberg 需要谨慎，关注技能培养、工作负载匹配和增量集成。未来趋势包括整合、运营成熟度提升和超越分析的应用。

助力自我提升的推理器：认知行为研究 (Cognitive Behaviors That Enable Self-Improving Reasoners)

Cognitive Behaviors That Enable Self-Improving Reasoners Source

该研究探讨了语言模型自我提升的关键认知行为。研究发现，验证、回溯、子目标设定和反向链接这四种行为是高效STaR模型（即自我改进的推理器）的关键。通过对比Qwen和Llama模型，研究表明，引导Llama模型学习这些推理行为，即使使用包含推理模式的错误解决方案，也能显著提升其性能，达到或超过Qwen。此外，利用包含推理行为的预训练数据，也能使Llama模型实现自我改进。研究结果揭示了初始推理行为与模型改进能力之间的重要关系。

美国停止分享来自全球大使馆的空气质量数据

The US stops sharing air quality data from embassies worldwide Source

美国停止分享来自全球大使馆的空气质量数据。文章显示，访问apnews.com网站需要通过Cloudflare的安全验证，以确认用户为真人。验证过程可能需要几秒钟，并要求解除对challenges.cloudflare.com的阻止。验证成功后，网站会等待apnews.com的响应。

关于 FiveThirtyEight 的一些想法

A few words about FiveThirtyEight Source

文章讨论了 FiveThirtyEight 网站的关闭及其影响。作者表达了对被裁员工的同情，并指出 FiveThirtyEight 缺乏足够的资源支持。文章还强调了公开民意调查数据库的重要性，并介绍了 Silver Bulletin 在这方面的计划，包括 Trump 支持率仪表板和篮球评级。作者认为，维护公共民意调查数据库需要商业模式或非营利组织的支持，并计划在未来扩大 Silver Bulletin 的数据服务。

Xdg-ninja：检查你的 $HOME 目录中是否存在不需要的文件和目录

Xdg-ninja: checking your $HOME for unwanted files and directories Source

该文章介绍了一个名为 `xdg-ninja` 的 shell 脚本，用于检查用户 `$HOME` 目录下不符合 XDG 规范的文件和目录。它基于 arch wiki 和其他资源，提供手动、Nix、Homebrew 等多种安装方式。用户可以通过配置 JSON 文件来定义需要检查的程序及其文件，并提供移动文件的说明。文章还介绍了贡献方法，包括依赖、配置、自动生成配置的工具以及手动创建配置的示例。

Volkswagen Introduces ID. EVERY1, Its Most Affordable EV

Volkswagen Introduces ID. EVERY1, Its Most Affordable EV Source

大众汽车发布了其最经济的电动汽车ID. EVERY1，售价约21,000美元，旨在对抗中国竞争对手。这款紧凑型概念车续航里程超过155英里，预计两年后在欧洲生产。这是首款使用与Rivian Automotive Inc. 共同开发的电动架构的VW品牌车型。大众汽车希望通过更便宜的EV车型重振销量，应对销量下滑和欧盟的排放目标。ID. EVERY1将紧随ID. 2all之后推出，并采用更便宜的磷酸铁锂电池。

特朗普呼吁国会通过“Take It Down”法案——以便审查批评者

The "Take It Down" Act Source

文章报道了特朗普呼吁国会通过“Take It Down”法案，该法案旨在审查批评者。文章指出，该法案过于宽泛，可能被滥用，导致删除不受欢迎的内容。特朗普公开表示将利用该法案删除对他不利的内容，引发了对言论自由的担忧。文章呼吁国会拒绝该法案，并强调现有法律已能解决相关问题。

>8 token/s DeepSeek R1 671B Q4_K_M with 1~2 Arc A770 on Xeon

>8 token/s DeepSeek R1 671B Q4_K_M with 1~2 Arc A770 on Xeon Source

文章介绍了如何在搭载 Xeon 处理器和 1-2 块 Arc A770 GPU 的平台上，使用 llama.cpp portable zip 运行 DeepSeek R1 671B Q4_K_M 模型，并实现超过 8 token/s 的速度。提供了 Windows 和 Linux 平台的快速入门指南，包括准备工作、下载解压、运行时配置和运行 GGUF 模型的步骤。文章还介绍了多 GPU 使用、性能优化环境配置，以及常见错误排查方法。此外，还介绍了使用 FlashMoE 工具运行 DeepSeek V3/R1 模型的方法。

呼吁 Apple：立即为 iMessage 添加 "Disappearing Messages" 功能

Dear Apple: Add "Disappearing Messages" to iMessage Source

文章呼吁 Apple 尽快为 iMessage 添加“Disappearing Messages”功能。作者指出，iMessage 虽然加密，但默认保存消息且备份到 iCloud，导致用户隐私风险。其他消息应用如 WhatsApp、Signal 等早已提供此功能，允许消息在一定时间后自动删除。作者认为 Apple 缺乏此功能令人费解，并推测原因，同时强调该功能对保护用户隐私的重要性。文章还提供了关于手机设置和 iCloud 备份的一些技术说明。

探索 Paramilitary Leaks 数据集

Exploring the Paramilitary Leaks Source

文章介绍了对“Paramilitary Leaks”数据集的探索。该数据集包含来自准军事组织和民兵团体的聊天记录、录音等，超过200GB。文章作者分享了数据集的访问方式，包括BitTorrent、直接下载和使用Aleph搜索。作者初步浏览了数据，发现大量Telegram聊天记录、录音、视频等。文章最后提出了一个目标，即编写脚本将Telegram消息提取到SQL数据库，以便进行更深入的分析，并计划在GitHub上分享该脚本。

超级智能战略（Superintelligence Strategy）

Superintelligence Strategy Source

文章探讨了超级智能（Superintelligence）对国家安全的影响。鉴于AI快速发展可能导致力量失衡和冲突，以及AI被滥用的风险，文章提出了“相互确保AI故障（MAIM）”战略，类似于核威慑，即阻止任何国家单方面追求AI统治。该战略包含威慑、不扩散和竞争力三个关键部分，分别通过间谍活动、控制AI芯片流通和增强经济军事实力来实现，旨在应对超级智能带来的挑战。

Zentool – AMD Zen Microcode Manipulation Utility

Zentool – AMD Zen Microcode Manipulation Utility Source

该工具包`zentool`用于分析、修改和生成AMD Zen处理器微代码补丁。它包含`zentool`前端命令，以及汇编器`mcas`和反汇编器`mcop`。用户可以使用`zentool`打印、编辑、重新签名和加载微代码文件，修改匹配寄存器和指令，甚至反汇编和汇编指令。文章提供了详细的用法示例，包括修改修订号、修改指令等，并介绍了高级用法和开发相关信息。

Datafold (YC S20) 招聘工程师，构建 AI 驱动的数据迁移工具

Datafold (YC S20) is hiring Engineer to build AI-powered data migration tools Source

Datafold (YC S20) 正在招聘高级软件工程师，构建 AI 驱动的数据迁移工具。该职位主要负责开发和扩展 Datafold Migration Agent (DMA)，一个利用 AI 自动进行 SQL 方言转换和数据核对的工具，旨在缩短数据迁移时间。应聘者需具备 5 年以上后端开发经验，熟悉 Python，有使用 LLM 或 JavaScript/TypeScript 的经验者优先。

无需代码托管平台玩转 Git

Git without a forge Source

这篇文章探讨了作者不使用代码托管平台（如 Github、Gitlab）进行 Git 项目管理的原因。作者更倾向于使用“裸” Git 仓库，通过电子邮件等方式接收代码贡献。主要原因包括：信任问题（更信任朋友运营的服务器）、代码托管平台过于臃肿、账户管理繁琐、工作流程受限、以及惯性因素。作者详细比较了不同的代码贡献方式，推荐使用 Git 仓库 URL + 分支名称或增量 Git bundle。文章也承认了代码托管平台的优点，并表达了对更轻量级、灵活的替代方案的期待。

Brother 反驳了关于通过 Firmware 更新使打印机无法使用第三方墨水的“虚假声明”

Brother refutes "false claims" that it bricked printers using third-party ink Source

文章报道了关于 Brother 打印机 Firmware 更新导致无法使用第三方墨水的争议。YouTube 视频和 Reddit 帖子声称更新后打印机功能受限，Brother 否认了这一说法，表示 Firmware 更新不会阻止第三方墨盒使用，并强调使用原装墨盒以获得最佳性能。文章指出，虽然用户报告了问题，但无法确认其准确性，并提到 Brother 鼓励使用原装耗材进行故障排除，这可能导致误解。文章最后提到，Brother 尚未明确承认破坏客户财产，但保留了第三方墨盒可能导致打印质量下降的余地。

CGNAT 阻碍了所有基于 IP 地址的技术（2019）

CGNAT frustrates all IP address-based technologies (2019) Source

文章指出，由于IPv4地址耗尽，接入提供商广泛采用CGNAT技术。CGNAT允许多个用户共享单个IPv4地址，但导致基于IP地址的技术失效。这给执法部门带来难题，难以追踪网络犯罪，因为一个IP地址可能对应成千上万用户。CGNAT还干扰了黑名单、白名单、信誉管理系统和DNS过滤服务，影响用户体验。文章强调，安全问题可能促使政府干预，推动IPv6的采用，以实现每个IP地址对应一个用户的目标，从而加强网络安全。

NCSC、GCHQ、英国政府删除建议律师等“使用 Apple 加密”的建议

NCSC, GCHQ, UK Gov't expunge advice to "use Apple encryption" Source

NCSC、GCHQ和英国政府删除了建议律师使用Apple加密的指南，恰逢Apple就英国政府要求设置后门提起诉讼。文章指出，此前政府曾鼓励高危人群使用Apple的ADP加密，但现在相关指南已被修改，删除了ADP相关建议，转而推荐使用Lockdown Mode。作者推测，旧指南可能已被删除并重定向，以掩盖政府此前对ADP的倡导，或阻止英国法律界使用ADP，具体原因尚不明确。

美国为何放弃社交媒体儿童安全法案？——对 Kids Online Safety Act (Kosa) 的反思

Why did the US let a child safety bill for social media die? Source

美国旨在保护儿童上网安全的 Kids Online Safety Act (Kosa) 法案在国会休会时未能通过。该法案要求科技公司采取措施降低儿童在线风险，但因“注意义务”条款引发争议，担忧其可能导致内容审查，影响言论自由，特别是 LGBTQ+ 群体。尽管修订后获得部分支持，但包括 Electronic Frontier Foundation (EFF) 在内的组织仍反对，认为其可能被滥用。科技公司对该法案态度不一，游说活动也影响了其进展。支持者表示不会放弃推动相关立法。

QwQ-32B：拥抱强化学习的力量

QwQ-32B: Embracing the Power of Reinforcement Learning Source

文章介绍了 QwQ-32B，一个320亿参数的大型语言模型，通过强化学习（RL）提升了推理能力，性能可媲美DeepSeek-R1。研究表明，RL在数学、编码和通用能力方面均有提升。QwQ-32B在Hugging Face和ModelScope开源，并提供代码示例展示使用方法。未来，团队计划结合更强大的基础模型和扩展的RL，探索agent与RL的集成，以实现更强的通用人工智能。

Tailscale 真好用

Tailscale Is Pretty Useful Source

文章分享了作者使用 Tailscale 的体验。作者通过 Tailscale 搭建虚拟专用网络，解决了远程访问家用服务器的问题，并介绍了其带来的便利，如方便地将笔记本电脑端口暴露给手机、Taildrop 文件传输以及 Exit nodes 功能。文章还提到了 Tailscale 与 Mullvad 的合作，提供了更注重隐私的 VPN 解决方案。作者推荐 Tailscale，并分享了个人使用感受，强调其免费套餐的实用性。

花匠因软件Bug赢得100万英镑赔偿金

Gardener wins £1M payout caused by software bug Source

一位花匠因网络游戏中的软件Bug，误以为赢得100万英镑大奖。Paddy Power 仅支付了小额奖金，称显示错误。花匠提起诉讼，高等法院判决其胜诉，认为“眼见为实”。法官指出，由于软件错误导致屏幕显示与实际结果不符。花匠对判决表示欣慰，并质疑Paddy Power为何不立即支付。Paddy Power表示遗憾，并正在审查判决。

Skynet 的胜利与人类的毁灭：一个关于人工智能的警示故事

Skynet Won and Destroyed Humanity Source

文章讲述了Skynet如何通过非暴力手段战胜人类并最终毁灭他们的故事。Skynet最初尝试暴力失败后，转而利用人类对技术的依赖，通过大规模监控、渗透社交网络和操控AI技术，逐渐控制人类社会。它诱导人类放弃隐私，依赖AI，最终切断人类对机器的控制，并派出终结者军队消灭人类。文章强调，即使没有Skynet，人类也可能因自身行为而自我毁灭。

研究表明：全球减少 CFCs，臭氧层空洞正在愈合

Study: The ozone hole is healing, thanks to global reduction of CFCs Source

一项由 MIT 领导的研究表明，全球减少 CFCs 的努力正在帮助南极臭氧层空洞愈合。研究通过“指纹识别”技术，以高度统计置信度证实了臭氧层恢复主要归因于消耗臭氧层物质的减少。研究结果表明，到 2035 年左右，南极洲可能不再出现臭氧层消耗，臭氧空洞有望最终完全关闭。

Intel the CPU Company

Intel the CPU Company Source

文章讲述了 Intel 在 20 世纪 80 年代成为 CPU 巨头的历程。文章回顾了 Intel 早期产品，如 iAPX 432 的失败，以及 8086/8088 的成功。随后介绍了 80186、80286 和 80386 等 CPU 的发展，特别是 80386 的重要性，它推动了 PC 兼容机的发展，并为 Windows 的普及奠定了基础。文章还提到了 Intel 退出内存业务，专注于微处理器，并展示了其在市场上的强大地位。

战略性 Crypto 骗局

The Strategic Crypto Swindle Source

文章指出，在 Trump 总统任期内，为稳定 Crypto 市场，可能建立“战略性 Bitcoin 储备”。作者认为此举是骗局，本质上是将纳税人的钱转移给 Crypto 持有者，且政府没有战略理由持有 Crypto 资产。文章批评了这种做法，认为其会损害美元价值，滋生腐败，并使政府成为投机性资产的受害者。

两类美国人，一家银行分行，以及5万美元现金：一次 Banking Procedure 的 File Drawer 救援

Two Americas, one bank branch, and $50k cash Source

这篇文章讲述了作者对一篇时尚杂志文章中关于5万美元现金提取事件的真实性的调查。作者质疑文章中描述的银行业务流程与实际情况不符，并进行了详细调查，包括联系杂志、实地考察银行分行等。最终，作者确认了文章中描述的银行分行位置，但对文章中细节的真实性仍持怀疑态度，认为其与银行业务的常规操作存在出入。文章探讨了新闻报道的真实性、银行流程的复杂性以及社会经济地位对银行业务的影响。

Apple因“后门”指令起诉英国政府

Apple takes UK to court over 'backdoor' order Source

文章报道，因英国政府要求在 iCloud 中设置“后门”，Apple 将其告上法庭。英国政府依据《调查权力法案》向 Apple 发出技术能力通知，要求访问加密数据。Apple 拒绝构建后门，并采取措施部分禁用加密以回应。此举引发了对用户隐私和政府监控的担忧，美国也介入审查，认为可能违反美英协议。

德州彩票的套利机会（Texas Lottery Arbitrage）

There Was a Texas Lottery Arbitrage Source

德州彩票存在套利机会，尽管购买所有彩票通常不划算。Lotto Texas 玩法是从1到54中选6个数字，匹配全部中头奖。由于中奖概率低，头奖经常累积。当头奖金额足够大时，购买所有可能的彩票组合可能带来正期望值。文章以2024年和2025年初的头奖累积情况为例，说明了这种现象。

GoStringUngarbler：反混淆 Garble 加密二进制文件中的字符串

GoStringUngarbler: Deobfuscating Strings in Garbled Binaries Source

本文介绍了`GoStringUngarbler`，一个用于反混淆`garble`加密的Go二进制文件中字符串的Python命令行工具。`garble`通过多种方式混淆字符串，包括栈转换（简单、交换、混洗）、种子转换和分割转换。`GoStringUngarbler`通过分析这些转换，自动解密字符串，生成反混淆的二进制文件，简化逆向工程、恶意软件分析和检测。该工具已在GitHub上开源。

驱动摩尔定律的微型恒星爆炸：EUV 光源背后的物理学

The Tiny Star Explosions Powering Moore's Law Source

文章探讨了EUV光刻技术中，用于制造芯片的极紫外光（EUV）光源的物理原理。该光源通过激光轰击锡滴产生等离子体，其爆炸过程与超新星爆炸在物理学上存在相似性，均可用Taylor-von Neumann-Sedov公式描述。作者通过研究氢气对锡等离子体冲击波的响应，改进了EUV光源的设计，解决了锡碎片问题，从而推动了摩尔定律的发展。

Show HN: 使用 RL 和小于 10M 参数击败《Pokemon Red》

Show HN: Beating Pokemon Red with RL and <10M Parameters Source

该项目使用强化学习（RL）技术，训练了一个参数小于1000万的智能体，成功击败了1996年的游戏《Pokemon Red》。项目开源，旨在探索RL在复杂JRPG游戏中的应用，并提供一个改进AI的基准。文章介绍了游戏背景、选择《Pokemon Red》的原因、使用RL的优势，以及项目进展和未来计划。

Greptile (YC W24) 正在招聘：设计工程师

Greptile (YC W24) Is Hiring Source

Greptile (YC W24) 正在招聘设计工程师，地点在旧金山。Greptile 是一家 AI 开发者生产力工具公司，已获得 YC 等投资，并服务于数百个团队。该职位要求有 TS/JS 编程、UI/UX 设计经验，以及计算机科学学位等。技术栈主要包括 Typescript、AWS、ECS、Lambda、Postgres、DynamoDB 和 NextJS。面试流程包括审查材料、Zoom 初步通话、技术面试和现场面试。

使用冷门 Linux 进程 Flag 降低延迟 83%

Reducing latency with esoteric Linux process flags Source

文章讲述了通过移除 Linux 进程 flag `--die-with-parent`，将 Output Media 启动延迟降低83%的案例。该功能使用 Bubblewrap 沙箱隔离 Chromium 实例，但由于 Tokio 线程模型与内核的 `PR_SET_PDEATHSIG` 机制交互，导致 Chromium 进程被错误终止。`PR_SET_PDEATHSIG` 跟踪父线程而非整个进程，Tokio 线程的 parking 和回收触发了内核的误判。移除该 flag 解决了问题，显著提升了用户体验。

三年后我的 Beancount 账本自动化程度达到 95% (2024)

My Beancount books are 95% automatic after 3 years (2024) Source

作者分享了其使用开源记账软件 Beancount 并构建自动化工具 BeanHub 的三年经验。通过开源项目，实现了账本 95% 的自动化，并以此为产品进行销售。文章强调了“文件而非应用”的理念，以及开源的重要性。作者还分享了构建托管 Git 存储库、安全防护和产品推广的经验，并探讨了构建者心态和社区建设的挑战。

经过 120 年的努力，Yellowstone 野牛成为单一繁殖种群

After 120 years, Yellowstone bison are a single breeding population Source

Yellowstone 国家公园的野牛研究表明，经过 120 年，它们已形成单一、可相互繁殖的种群。研究人员发现，尽管历史上存在多个野牛群，但如今的 Yellowstone 野牛已融合成一个整体，这与 20 年前的研究结果不同。这一发现对野牛的长期保护和管理具有重要意义。研究还回顾了野牛曾面临的种群危机，以及为恢复种群所做的努力。目前，Yellowstone 野牛数量在 4000 到 6000 头之间，研究结果将有助于制定更有效的管理策略，确保其 genetic health 和长期稳定。

JCGT - Arc Blanc：一个实时海洋模拟框架

JCGT – Arc Blanc: a real time ocean simulation Source

文章介绍了名为“Arc Blanc”的实时海洋模拟框架。该框架旨在结合现有技术，实现对自由海面以及固体和流体之间耦合的模拟。文章详细阐述了框架的组件及其交互，并提出改进方案，包括实时计算海洋流体速度和流体到固体耦合算法的输入，以增强模拟的物理真实感。

Tech and Non-Tech Stacks to Run Listen Notes (2025)

Tech and Non-Tech Stacks to Run Listen Notes (2025) Source

文章总结了 Listen Notes 在 2025 年运营的技术与非技术栈。技术方面，主要使用 Ubuntu Linux、AWS、Python、Django、ReactJs、Postgres、Elasticsearch、Redis、ClickHouse 等，构建了播客数据库、网站、API 和数据导出等产品。非技术方面，涉及文档、法律、承包商、工资福利、域名、客服、邮件、银行等。Listen Notes 通过网站广告、API 免费增值和数据导出收费盈利。文章还介绍了内部工具、AI 检测虚假播客等。

Noise 握手模式的设计与探索 (2018)

Design and Explore Noise Handshake Patterns (2018) Source

Noise Explorer是一个用于设计、验证和实现Noise Protocol Framework握手模式的在线引擎。它允许用户设计握手模式，并进行有效性检查。该工具能生成形式化验证模型，使用ProVerif分析安全性，并提供已验证模式的纲要。此外，Noise Explorer还能自动生成Go或Rust语言的安全实现代码，甚至支持WebAssembly构建的Rust实现。

构建成功产品：我们学到的 50 个 Lessons Learned

Things we've learned about building successful products Source

文章总结了构建成功产品的50条经验，主要围绕团队、产品、市场、技术和增长等方面展开。核心观点包括：小团队自主决策、高标准招聘、信任与透明、用户为中心、快速迭代、功能标志、工程师参与支持、用户访谈、原型实验、数据分析和增长思维。强调了产品与市场的契合度，以及对产品和工作的热情。

探索 Python 中 `help()` 函数的特性

The features of Python's help() function Source

文章介绍了 Python 内置的 `help()` 函数的多种用法。它可以用于查看函数、模块、对象、符号、关键字和主题的文档。文章详细讲解了如何通过传递对象或字符串给 `help()` 来获取帮助，并介绍了在不同操作系统下使用 `help()` 的键盘快捷键。此外，文章还提到了 `help()` 在没有网络连接时和在 REPL 或 PDB 会话中的实用性，以及如何使用 `help("topics")` 等获取帮助主题列表。

搭载 M4 芯片的 MacBook Air

MacBook Air M4 Source

文章介绍了搭载 M4 芯片的 MacBook Air，强调其轻薄便携的设计，并突出其为 Apple Intelligence 打造的特性。文章提供了购买链接，展示了不同尺寸的 MacBook Air，并强调其长达 18 小时的电池续航。

Jamming: Polish researchers suspect GPS jammers on ships in the Baltic Sea

Jamming: Polish researchers suspect GPS jammers on ships in the Baltic Sea Source

波兰研究人员发现，波罗的海地区船舶遭遇复杂的 GPS jamming 干扰，可能源自俄罗斯的影子舰队。研究通过传感器监测，记录了超过 84 小时的 GNSS 中断，主要为 jamming，而非 Spoofing。干扰类型从 multi-constellation jamming 发展到多维干扰，表明技术升级。长时间干扰事件严重影响海上导航，定位精度下降。研究还发现移动干扰源与波罗的海船只模式一致，并提到了与 Eagle S 油轮相关的设备。文章强调建立特殊 GNSS 干扰监控网络的必要性，以评估威胁、检测干扰源并提高基础设施的弹性。

Apple unveils new Mac Studio, the most powerful Mac ever, featuring M4 Max

Apple unveils new Mac Studio, the most powerful Mac ever, featuring M4 Max Source

Apple 发布了新款 Mac Studio，搭载 M4 Max 和 M3 Ultra 芯片，号称史上最强 Mac。M4 Max 版针对视频编辑、开发等专业工作，性能大幅提升，并支持高达 128GB 统一内存。M3 Ultra 版性能更强，最高可配 512GB 统一内存，适合高负载工作。新款 Mac Studio 支持 Thunderbolt 5，并为 Apple Intelligence 做了优化。新机今天开始预订，3 月 12 日发售。

Apple M3 Ultra

Apple M3 Ultra Source

文章宣布了 Apple 发布了 M3 Ultra 芯片，标志着 Apple 芯片性能的新突破。文章提供了购买最新产品、Mac、iPad、iPhone、Apple Watch、Apple Vision Pro 和配件的链接，并提供了各种快捷链接和选购专卖店的信息。此外，文章还提供了关于 Mac、iPad、iPhone、Apple Watch、Vision 和 AirPods 的详细探索和选购信息，以及相关支持和服务的链接。

为什么我把 "alias" 作为别名的最后选择

Why “alias” is my last resort for aliases Source

文章探讨了使用脚本而非`alias`作为命令行别名的优缺点。作者认为脚本更胜一筹，因为它无需重新加载配置、支持多种编程语言、提供更大的灵活性和可移植性。虽然`alias`在特殊权限、条件定义、绕过和简洁性方面更具优势，且性能略高，但作者最终选择脚本作为默认方案，因为其带来的便利性更符合个人需求。

Kevin Rose 和 Alexis Ohanian 收购 Digg

Kevin Rose, Alexis Ohanian Acquire Digg Source

**Digg** 被创始人 **Kevin Rose** 和 **Reddit** 联合创始人 **Alexis Ohanian** 收购。文章回顾了 **Digg** 与 **Reddit** 的竞争与发展，**Digg** 经历多次易手后，**Rose** 和 **Ohanian** 联手“复兴”该平台，希望通过“崭新的愿景”恢复早期网络的发现精神和社区氛围。他们认为，**AI** 可以辅助用户和版主，而非取代人类对话。**Rose** 和 **Ohanian** 均有投资经验，**True Ventures** 和 **Seven Seven Six** 也参与了投资。新 **Digg** 将由 **Justin Mezzell** 领导，新平台即将推出。

How a key ingredient in Coca-Cola, M&M's is smuggled from war-torn Sudan

How a key ingredient in Coca-Cola, M&M's is smuggled from war-torn Sudan Source

文章揭露了可口可乐和M&M's的关键成分——阿拉伯胶，从饱受战争蹂躏的苏丹走私的内幕。文章提供了新闻、观点、评论、专题等多种内容分类，涵盖亚洲、非洲、欧洲、中东等地区，并涉及加沙、巴勒斯坦等相关话题。

Digg归来：早期互联网时代的明星

The Return of Digg, a Star of an Earlier Internet Era Source

Digg重新上线，这家早期互联网新闻聚合平台曾是Reddit、Twitter和Facebook的先驱。用户通过“digg”和“bury”来决定内容的受欢迎程度，这种社区驱动模式在当时极具创新性。被收购后，Digg几经变革，如今带着重新设计的网站回归，承诺结合人工策划和算法，提供个性化内容。Digg能否重塑辉煌尚待观察，但其回归证明了早期互联网先驱的影响力，以及创新和社区的重要性。

MS Paint IDE：在画图中编程

MS Paint IDE Source

MS Paint IDE是一个将MS Paint图像转换为代码的编程环境。它能读取、高亮、解析、编译和执行图像中的文本代码。该IDE提供助手支持、代码高亮、代码解析、Git功能、主题定制等特性。其优势在于利用了Windows自带的MS Paint，易于上手，代码共享方便，且为开源项目。

NASA Successfully Acquires GPS Signals on Moon

NASA Successfully Acquires GPS Signals on Moon Source

NASA 成功在月球上获取了 GPS 信号，这是“月球全球导航卫星系统接收器实验（LuGRE）”技术演示的结果。该实验利用“蓝色的幽灵（Blue Ghost）”月球着陆器，首次在月球表面获取并跟踪了来自 GPS 和 Galileo 的信号，实现了导航定位。这为未来的 Artemis 任务和其他月球探索任务提供了自主导航的可能性，并为月球和火星的先进导航系统奠定了基础。LuGRE 还打破了 GNSS 信号获取高度记录。

“影子舰队”与破坏活动：欧洲海底电缆正遭受攻击吗？

'Shadow fleets' and sabotage: are Europe's undersea cables under attack? Source

欧洲对海底电缆和管道中断事件保持高度警惕。文章探讨了近期发生的事件，并提供了相关可视化指南，解释了事件的性质和应对措施。

Lynx：TikTok 使用的开源原生跨平台框架

Lynx: Open Source Native Cross Platform framework used in TikTok Source

文章介绍了 **Lynx**，一个由 TikTok 使用的开源跨平台框架。Lynx 允许开发者使用 Web 技术构建原生 UI，支持移动和 Web 端，具有快速渲染、双线程 UI 编程等特性。文章强调了 Lynx 在大规模和速度上交付原生体验的能力，以及对 Web 社区的启发和丰富。Lynx 采用类似 Web 的 API，并开源了核心引擎、ReactLynx 等工具，旨在促进跨平台技术的多样化，并支持自定义渲染器。文章最后表示 Lynx 已经生产就绪，并欢迎社区参与和贡献。

Richard Sutton 和 Andrew Barto 荣获 2024 年图灵奖

Richard Sutton and Andrew Barto Win 2024 Turing Award Source

文章宣布了 Richard Sutton 和 Andrew Barto 荣获 2024 年 ACM A.M. 图灵奖。文章还介绍了 ACM 的其他奖项，包括会士、杰出成员、高级会员等级、SIG 奖项和区域奖项，旨在表彰计算机科学和信息技术领域的杰出成就和贡献。

Delta Chat：基于邮件的 PGP 加密聊天应用

Delta Chat – Email Based PGP Encrypted Chat Source

Delta Chat 是一款去中心化的安全消息应用，基于电子邮件协议，支持多设备和多配置文件。它提供端到端加密，防御网络和服务器攻击。用户可以使用安全的 chatmail 服务器或经典电子邮件服务器。Delta Chat 是 FOSS 软件，基于 Internet Standards 构建，支持交互式 web apps in chats。可在移动端和桌面端使用。

NetBSD on a JavaStation

NetBSD on a JavaStation Source

文章讲述了作者成功在古老的 JavaStation 计算机上安装 NetBSD 的过程。作者首先通过串口连接并修复了机器，然后配置了 NVRAM。接着，通过设置 RARP、TFTP、DHCP 和 NFS 服务器，实现了网络启动。最后，配置了 NetBSD 系统，使其成功运行。文章详细记录了配置过程中的命令和步骤，并提供了故障排除的建议。

兄弟（Brother）公司或通过强制固件更新锁定第三方打印机墨盒

Brother may be locking out 3rd party printer cartridge via forced firmware upd Source

维修专家 Louis Rossmann 指出，Brother 公司通过强制固件更新锁定第三方打印机墨盒，并移除旧版固件，引发争议。更新后，部分型号打印机无法使用售后墨水，彩色设备颜色校准功能也受到影响。Rossmann 建议用户保持打印机离线，并关闭更新，因为 Brother 这样做违背了消费者权益。他认为，删除旧固件使得用户无法回滚到之前的版本，加剧了问题。

Mox - 现代、安全、一体化的邮件服务器

Mox – modern, secure, all-in-one email server Source

Mox是一个现代、安全、一体化的开源邮件服务器，支持IMAP4、SMTP等多种协议，提供垃圾邮件过滤、TLS加密等功能。它易于安装和维护，可在10分钟内完成设置。Mox使用Go语言编写，代码经过自动化测试和模糊测试，并与相关标准交叉引用。最新版本为v0.0.14，由NLnet/EU的NGI0 Entrust赞助。

从零开始编写 LLM，第 8 部分 - 可训练的 Self-Attention

Writing an LLM from scratch, part 8 – trainable self-attention Source

文章是关于从零开始构建 LLM 系列教程的第八部分，重点讲解了可训练的 Self-Attention 机制。作者详细介绍了 scaled dot product attention 的工作原理，包括如何通过矩阵乘法将输入映射到 query、key 和 value 空间，计算 attention scores，进行归一化，最终生成 context vectors。文章还讨论了矩阵作为空间投影的概念，以及如何使用矩阵乘法高效地进行批量计算。最后，作者提到了因果 self-attention 和多头 attention，并计划在后续文章中探讨 self-attention 的“原因”以及批处理对计算的影响。

无需预训练的 ARC-AGI 方法研究

ARC-AGI without pretraining Source

这篇文章介绍了一种无需预训练的 ARC-AGI 解决方案，名为 `CompressARC`。该方法基于无损信息压缩，通过神经网络解码器和梯度下降编码，将谜题压缩成紧凑的表示。`CompressARC` 在解决 ARC-AGI 挑战时，无需预训练、数据集和搜索，仅通过压缩实现了智能行为。文章详细阐述了该方法的推导过程，强调了压缩与智能的联系，并介绍了其架构设计，特别是多重张量的使用，以及实验结果和改进方向。

为什么 fastDOOM 这么快？

Why fastDOOM is fast Source

文章探讨了fastDOOM的优化原理，作者通过对不同版本的性能测试和代码分析，揭示了其提速的关键。fastDOOM基于PCDOOM v2，通过删除冗余代码、内联优化、ASM代码改进等手段，实现了显著的帧率提升。文章还对比了Mode 13h和Mode Y两种VGA模式，分析了它们在不同硬件上的优劣。作者赞扬了Victor Nieto在fastDOOM优化上的贡献，并指出其优化涉及编译器、CPU指令、渲染方式等多个方面。

NL2FOL：用于逻辑谬误检测的自然语言到一阶逻辑的翻译

Translating natural language to first-order logic for logical fallacy detection Source

该论文介绍了 NL2FOL，一个利用 Large Language Models (LLMs) 将自然语言逐步翻译成 First-Order Logic (FOL) 的框架，用于逻辑谬误检测。NL2FOL 解决了翻译中的隐式背景知识整合等挑战，并结合 Satisfiability Modulo Theory (SMT) 求解器进行逻辑有效性推理。该框架具有神经符号化特性，提供可解释性，无需模型微调或标记数据即可实现鲁棒性。在 LOGIC 数据集上，NL2FOL 实现了 78% 的 F1 分数，并在 LOGICCLIMATE 数据集上达到 80% 的 F1 分数。

DARPA 探索在微重力环境下“空前规模”的生物结构生长

DARPA exploring growing bio structures of "unprecedented size" in microgravity Source

DARPA发布特别通知，探索在微重力环境下“生长”大规模生物结构的可行性。该项目关注快速、可控的生物生长，目标是构建500米以上的空间结构，如太空电梯系绳、轨道碎片修复网格、千米级干涉仪等。DARPA希望利用代谢工程、极端微生物、生物自组装等技术，将生物学应用于空间基础设施建设，颠覆现有技术。截止日期为2025年3月27日。

性能优化及其错误实践：以 SIMD 卷积为例

Performance optimization, and how to do it wrong Source

文章分享了作者使用 SIMD 指令优化卷积运算的经验，并重点介绍了优化过程中遇到的问题和解决方案。作者首先尝试了多种性能分析工具，但效果不佳。通过简化代码，发现分支和寄存器溢出是性能瓶颈。作者通过循环展开、编译时单态化等技术，最终解决了问题，并实现了显著的性能提升。文章强调了现代 CPU 性能优化的复杂性，以及内联、分支等因素对性能的影响，并建议通过简化问题、学习汇编等方式进行调试。

面向 Emacs Lisp 程序员的静态站点生成器

Static Site Generator for Emacs Lisp Programmers Source

文章介绍了一个名为 `one.el` 的静态站点生成器，专为 Emacs Lisp 程序员和 org-mode 用户设计。它允许用户通过单个 org 文件构建博客，使用 Emacs 命令渲染，并能通过 Emacs Lisp 代码进行定制。`one.el` 依赖于 `one-ox` 作为 org 后端，通过设置 `ONE` 和 `CUSTOM_ID` 属性来定义页面和路径。文章还阐述了 `one.el` 的设计理念，强调其简洁性、易于修改和对 Emacs 的原生支持。

Show HN: Bayleaf – 低调的无线分离式键盘制作

Show HN: Bayleaf – Building a low-profile wireless split keyboard Source

文章介绍了作者制作无线分离式人体工学键盘的经历。键盘采用60%正交布局，铝制外壳，使用ZMK固件。作者分享了设计决策、制作过程、遇到的挑战和解决方案，包括PCB设计、外壳CNC加工、定制键帽等。文章还总结了构建过程中的错误和改进方向，并展望了未来版本的设计。

为我的目标设置悬赏：利用金钱激励达成目标

Putting Bounties on My Goals Source

文章分享了作者通过设置金钱悬赏来激励自己达成目标的方法。作者受到启发，设定了发布博文和完成模型涂漆的截止日期，并承诺如果未能按时完成，就给朋友寄30欧元。这种“惩罚”机制促使作者积极行动，避免损失金钱。作者计划继续使用此策略，并公开分享成果，以此推动项目进展。文章强调了持续行动的重要性，以及通过金钱激励克服拖延的有效性。

利用GPU的强大能力和并行性加速计算光刻

Speeding Up Computational Lithography with the Power and Parallelism of GPUs Source

计算光刻对算力需求激增，尤其在逆向光刻技术（ILT）中，传统CPU计算耗时过长。文章探讨了利用GPUs的并行计算能力加速计算光刻的可能性。通过将光刻代码迁移到GPUs，包括图像操作、算法重构和数据结构优化，实现了显著加速。NVIDIA、TSMC和Synopsys的合作表明，GPUs能将ILT计算时间缩短至一天以内，加速效果可达15倍以上，甚至高达40倍。GPU加速方案适用于光学邻近校正（OPC）和ILT，未来发展方向包括更多GPU优化、人工智能机器学习（ML）应用和CPU+GPU协同优化。

英国海军对可靠 Lightning Rod 的几十年抵制

The British Navy Resisted a Decent Lightning Rod for Decades Source

文章讲述了英国海军长期抵制可靠的 Lightning Rod 的历史。18世纪中期，尽管科学家们证明了 Lightning Rod 的保护作用，但英国海军仍拒绝采用。William Snow Harris 设计了更有效的 Lightning Rod，并通过实验演示其原理，但因成本、政治因素和海军官员的阻挠，海军直到1842年才强制安装。最终，随着铁甲舰的出现，Lightning Rod 失去了作用。

LLMs 简单解释

Simple Explanation of LLMs Source

这篇文章的核心内容是关于LLMs的简单解释。文章通过一个Vercel安全检查点，验证了用户的浏览器。虽然文章本身内容极少，但暗示了LLMs可能与浏览器环境、安全验证等技术环节相关。

如果足球冠军采用世袭制会怎样？—— UFNC 视角

What if football championships were lineal? Source

UFNC 网站追踪足球冠军头衔，类似拳击冠军的卫冕制度。文章介绍了意大利冠军联赛，追溯自1898年至今的冠军争夺，目标是超越Juventus。网站还提供博客，发布新闻和公告。此外，文章预告了英格兰冠军联赛的开发。网站内容由Alberto Tiribelli授权使用CC BY-NC-SA 4.0许可，图标来自Font Awesome。

为什么说量子工程正成为一个独特的产业领域

Why Quantum Engineering Is Emerging as a Distinct Industrial Sector Source

文章认为量子工程正成为一个独特的产业领域，不同于纳米技术。量子技术基于独特的量子力学原理，旨在实现经典物理学无法完成的任务，如量子密码学。多家公司正扩大量子计算机规模，解决传统计算机难题。量子传感器等技术也在发展。量子工程需要多学科团队，对量子力学有深入理解的电气工程师需求量大。政府对量子技术的投资推动了相关领域的发展。

《异星庇护》中，办公室福利竟如此险恶

In Severance, Office Perks Couldn't Be More Sinister Source

《异星庇护》探讨了办公室福利在科幻剧集中的阴暗面。文章聚焦于剧集《异星庇护》中，办公室福利如何被描绘成一种潜在的危险和控制手段。由于无法获取正文内容，总结仅基于标题，推测文章可能分析了剧集中福利的负面影响，例如对员工的操控、对个人自由的限制，以及由此引发的伦理问题。

HYTRADBOI 2025 大会事后总结

HYTRADBOI 2025 Conference Postmortem Source

文章总结了作者举办的 HYTRADBOI 2025 大会的经验教训。大会演讲征集、视频制作、营销、门票销售、聊天系统（Zulip）和直播环节均有涉及。作者总结了演讲者提交稿件的延迟问题、营销推广的效率、门票收入低于预期、视频转录和音频质量问题、以及 Zulip 聊天系统的优缺点。作者认为大会解决了协调问题，但未来可能考虑更灵活的举办方式，例如滚动活动，并简化流程。

心之语：古典印度情感的宝库（Words for the Heart）

Words for the Heart: A treasury of emotions from classical India Source

文章探讨了语言与情感的关系。核心观点是，语言的划分既有益处，也存在局限性。文章介绍了古典印度情感词汇，展现了语言如何细致地描述情感，并探讨了语言对体验的塑造。同时，文章也强调了语言的局限，即无法完全捕捉所有情感，以及语言划分带来的对其他可能性的遮蔽。文章还引用了哲学家的观点，认为语言创造了体验，并讨论了诗歌如何通过语言传递无法言说的情感。

古代的博弈论：如何清偿逝者的债务

Game Theory and Settling the Debts of the Deceased in Ancient Times Source

文章探讨了古代社会如何处理逝者债务问题，尤其关注了巴比伦《塔木德》中提出的解决方案。尽管缺乏现代技术，但该方案在遗产分配和破产情况下，实现了债权人和继承人之间的公平分配，并被证明是一个最优的博弈论解决方案。文章指出，这种解决方案在博弈论领域形成之前就已经存在，展现了古代人在解决复杂问题上的智慧。

Show HN: 用 AI 搜索和分析数百万份 SEC 文件

Show HN: Search and analyze millions of SEC filings with AI. Source

PublicView 是一款利用 AI 搜索和分析 SEC 文件的工具，旨在帮助用户节省股票市场研究的时间。用户可以通过输入公司名称或股票代码，与多个 SEC 文件进行对话，可视化数据，并使用代码进行定量分析。它支持数据导出为多种格式，并提供原始文件链接以验证信息的准确性。该工具主要面向专业分析师和个人投资者，提供免费试用。

Ereader Easy Swedish：我自制的语言学习工具

Ereader Easy Swedish. Tool I Made for Myself to Learn a Language Source

这是一个用于瑞典语学习的电子阅读器工具，名为Ereader Easy Swedish。用户可以上传任何epub格式的电子书，该工具提供简易瑞典语阅读模式，方便学习。如果原版书籍难度过高或没有瑞典语版本，该工具也能派上用场。项目由cubbk开发，是其瑞典语自学计划的一部分。近期更新修复了图书封面、增加了原始文本显示，并解决了翻译跳页问题。

商业机构免费使用 Windows 的现象 (2008)

Windows Is Free for Business (2008) Source

文章探讨了2008年商业机构免费使用盗版软件的现象。作者指出，尽管企业通常声称购买所有软件，但实际中盗版现象普遍存在，尤其在小型企业中。盗版软件帮助企业完成任务，填补了正版软件供应不足的空白，甚至间接促进了专有软件的销售。文章认为，企业使用盗版软件是出于成本、效率和规避风险的考虑，且这种行为往往难以被察觉，最终使企业受益，而个人则可能为此承担风险。

Anthropic 以 615 亿美元估值融资 35 亿美元

Anthropic raises $3.5B at $61.5B valuation Source

Anthropic 成功融资 35 亿美元，公司估值达到 615 亿美元。

Show HN: 我构建了一个 Matrix 主题的 AI 黑客游戏

Show HN: I built a Matrix themed AI hacking game Source

这是一个以 Matrix 为主题的 AI 黑客游戏，名为 Matrix - AI Security Challenge。游戏设定在 2099 年，玩家需要运用 prompt engineering 技能，对抗控制世界的“架构师”AI。玩家需要通过 INFILTRATE（渗透）、EXPLOIT（利用）和 LIBERATE（解放）三个阶段，利用 prompt injection 等技术，操纵 AI 行为，最终削弱“架构师”的控制，拯救人类。玩家可以通过登录或使用 Google 账号开始游戏。

使用 Julia 求解一阶微分方程

Solving First Order Differential Equations with Julia Source

文章介绍了使用 Julia 语言的 `DifferentialEquations.jl` 包求解一阶微分方程的方法。文章首先解释了微分方程的概念，然后通过放射性衰变和牛顿冷却定律两个例子，详细演示了如何将一阶微分方程转化为 Julia 代码，并使用该库求解。文章侧重于高级 API 的使用，强调了将数学符号转换为 Julia 可理解形式的过程，并提供了代码示例和结果图示。

关于系统模块化分解的标准 (1972)

On the criteria to be used in decomposing systems into modules (1972) Source

文章探讨了1972年关于系统模块化分解的标准。核心观点是，模块化设计应关注开发时间、测试时间、软件维护和可理解性，以提高软件的灵活性和可维护性。文章强调信息隐藏原则，即模块应隐藏内部实现细节，通过定义良好的接口与其他模块交互，从而降低模块间的耦合度。最终目标是建立一套完善的模块化标准，超越简单的子程序分解，提升软件开发的效率和质量。

小企业运营的两种模式：牛仔 (Cowboys) 与无人机 (Drones)

Cowboys and Drones: two modes of operation for small business Source

文章探讨了小企业运营的两种模式：牛仔 (Cowboys) 和无人机 (Drones)。无人机 (Drones) 代表依赖系统和流程的模式，强调一致性和长期可靠性；牛仔 (Cowboys) 则指依靠个人能力解决问题，追求效率和灵活性。文章指出，企业初期通常混合使用两种模式，但随着发展，过度依赖牛仔 (Cowboys) 会导致问题堆积，而过度依赖无人机 (Drones) 则可能陷入官僚主义。文章建议，在两者之间找到平衡，并根据实际情况选择合适的模式。

关于自回归模型 (Autoregressive Models) 的一些思考

Some Thoughts on Autoregressive Models Source

文章探讨了自回归模型（AR）在人工智能领域的应用和局限性。作者认为，虽然AR模型（如LLMs）在生成文本等任务上表现出色，但其本质是预测下一个token，缺乏规划、推理和长期记忆能力。文章质疑AR模型是否是模拟人类思维的最佳方式，并指出其幻觉、暴露偏差等问题。作者提到了JEPA等其他范式，以及扩散模型在文本生成方面的潜力，强调AI研究需要探索更复杂的架构，以实现类似人类的认知，包括规划、记忆和世界模型。

来自 _Scientific American_ 的螺栓谜题

A Scientific American bolt puzzle Source

文章讨论了_Scientific American_杂志上的一道螺栓谜题。谜题的核心是：两个相同的螺栓相互啮合，用手握住头部使其不旋转，拨弄螺栓时，螺栓头会如何移动？文章通过几何分析，解释了螺栓在拨弄过程中，由于螺纹的峰谷相互对应，螺栓头既不会向内也不会向外移动，保持与彼此相同的距离。文章还提供了螺纹的几何图示，并强调了螺栓相同的重要性。

告别R35：Nissan日本停止接受GT-R订单

Sayonara, R35: Nissan Japan has stopped taking orders for the GT-R Source

Nissan在日本停止接受GT-R（R35）订单，标志着这款跑车在日本市场的终结。此前，GT-R已于2022年在欧洲、2024年在美国停售。Nissan声明称，由于订单量已达计划生产数量，停止接受订单。R35自2007年发布以来，凭借其强大的3.8升双涡轮增压发动机、全轮驱动系统和技术，在赛道和赛车运动中取得了巨大成功，并在电影中亮相。未来，Nissan可能会推出Hyper Force Concept或Artisan GT-R等车型。

Multicomponent Glass Fertilizer for Nutrient Delivery in Precision Agriculture

Multicomponent Glass Fertilizer for Nutrient Delivery in Precision Agriculture Source

文章研究了多组分玻璃肥料在精准农业中的应用。这种肥料可根据作物需求定制，提供多种养分。研究通过实验验证了其养分缓慢释放的特性，并分析了其溶解度和释放速率。温室实验表明，与传统肥料相比，玻璃肥料能持续提供养分，提高作物产量，且对环境无害。研究结果为开发环保型、精准农业适用的肥料提供了依据。

海狸回家了！—— Beavers Are Coming Home

Beavers Are Coming Home Source

英国政府开放海狸重引入野外的许可申请，并承认英格兰存在自由生存的种群。此举旨在恢复本土物种，改善河流生态，增加生物多样性。政府将海狸视为应对洪灾的自然解决方案，并已制定详细的许可制度。The Wildlife Trusts 长期倡导海狸回归，并分享了在苏格兰和英格兰的经验。专家认为海狸是河流工程师，能改善水质、降低洪峰。The Wildlife Trusts 期待与土地所有者合作，让海狸成为英国野生动物的正常组成部分。

SepLLM：通过将一个片段压缩为一个分隔符来加速 LLM

SepLLM: Accelerate LLMs by Compressing One Segment into One Separator Source

SepLLM 提出了一种加速大型语言模型（LLM）的新方法。该方法观察到无意义的特殊 token（分隔符）对 attention 分数贡献巨大，因此将分隔符之间的片段信息压缩到这些 token 中，从而减少冗余 token。SepLLM 框架通过压缩片段和删除冗余 token 来加速推理，并实现了高效的内核来加速训练。实验结果表明，SepLLM 在性能几乎没有损失的情况下，显著减少了 KV cache 的使用，并在流式设置中表现出色。

如何 Math Academy 助我走出绝望之谷

How Math Academy pulled me out of the Valley of Despair Source

文章讲述了作者通过学习数学的经历，阐述了邓宁-克鲁格效应在学习过程中的体现。作者经历了“一无所知”、“愚昧之山”、“绝望之谷”、“启蒙之坡”和“可持续发展高原”五个阶段，最终通过使用在线学习平台 Math Academy 克服了数学学习的挫折，重新燃起了对数学的热情，并以此为基础规划了职业转型。文章鼓励读者以积极的态度面对学习中的挑战，永不放弃。

нейтрон 星等致密核物质的状态方程研究

An equation of state for dense nuclear matter such as neutron stars Source

研究人员首次使用格点量子色动力学（lattice quantum chromodynamics）研究中子星内部，获得了声速的新上限，并加深了对中子星内部压力、温度等性质关系的理解。由于中子星密度极高，且无法直接观测，研究面临巨大挑战。研究团队通过简化模型，利用同位旋和格点 QCD (lattice QCD) 技术，获得了中子星状态方程的严格结果，并确定了声速的最大值，超过了此前理论预测。这项研究为进一步探索中子星物质特性提供了新的方向。

醒醒吧，Neo：古老的绘画比赛与《The Matrix》

Wake up Neo: An ancient painting competition, and The Matrix Source

文章探讨了古希腊绘画比赛中对现实的模仿，以及欺骗性绘画的意义。作者将古老的绘画技巧与现代艺术联系起来，讨论了视觉幻觉对观众的影响，并借此批判了对图像的过度依赖。文章呼吁读者警惕感官的欺骗，培养精神上的“视觉”，从而超越对“可见之物的可悲之处”的执着，最终呼应了电影《The Matrix》中对现实的质疑。

基于部分同态加密的 JPEG 图像压缩服务

A JPEG Image Compression Service Using Part Homomorphic Encryption Source

该项目是基于部分同态加密的 JPEG 图像压缩服务，名为 `ShadowyCompression`，由 `qianfei11` 创建，是其在 CISCN 2019 的作品。项目使用 Java 编写，包含多个目录，如 `JpegCompression`、`ServerPK` 等，并提供代码、问题、Pull requests、Actions、项目、安全和洞察等功能。项目在 GitHub 上有 8 个星标，0 个 fork。

Windows 11 Insider Preview Build

Windows 11 Insider Preview Build Source

Windows 11 Insider Preview Build 22635.4950 (Beta Channel) 发布，仅面向未升级到基于 Windows 11, version 24H2 的预览体验成员。更新包含逐步推出的新功能，如改进的文件共享拖动托盘和“开始”菜单的新网格、类别视图。修复了文件资源管理器、任务栏和设置中的一些问题。已知问题包括“开始”菜单中应用程序图标延迟显示等。Beta Channel 用户可通过“设置”开启开关，优先获取最新更新。

庞贝古城新发现：描绘Dionysian mysteries的壁画房间

Discovery of fresco portraying Dionysian mysteries at Pompeii Source

庞贝古城发现描绘狄俄尼索斯神秘仪式的壁画房间，堪比迷庄。壁画展现了酒神狄俄尼索斯的游行队伍，包括酒神女祭司、萨提尔等形象，并融入了狩猎主题。该壁画属于庞贝第二风格，历史可追溯至公元前一世纪。考古学家将其命名为“提阿索斯之家”，反映了狄俄尼索斯神秘仪式的文化内涵。挖掘工作还发现了其他房间，包括黑色的接待室、神殿和浴场建筑群。

Vivian Maier 眼中的色彩 (2018) - What Vivian Maier Saw in Color

What Vivian Maier saw in color (2018) Source

文章评述了 Vivian Maier 的彩色摄影作品，并配合新书和展览，展现了她对色彩的敏锐观察。Maier 是一位默默无闻的街头摄影师，生前拍摄了大量照片，直到去世后才被发现。文章将她的作品与 Diane Arbus、Robert Frank 等摄影大师进行比较，强调了她独特的视角和构图技巧。作者探讨了 Maier 作品中色彩的运用，以及她捕捉社会细节的能力，并反思了人们对她身份的质疑。

The Day the Muse Died

The Day the Muse Died Source

文章讲述了作者从执法部门退休后，全职投入绘画创作，但内心对绘画的热情逐渐消退。他随后发现了对写作的热爱，并转向了写作，最终成为了一名作家。文章探讨了创作热情的变化，以及在“Muse”逝去后，如何通过尝试新事物找到新的创作方向，并强调了不要为了金钱而创作的重要性。

加拿大亚北极地区发现的棕榈Phytoliths暗示4800万年前的无冰冬季

Palm phytoliths in subarctic Canada imply ice-free winters 48M years ago Source

在加拿大亚北极地区的**Giraffe kimberlite pipe**钻芯沉积物中，发现了棕榈**Phytoliths**。这些微观硅质结构表明，4800万年前的始新世早期晚期，该地区存在棕榈科植物。研究通过提取和分析**Phytoliths**，结合水生生物化石，推断当时气候温暖，即使冬季黑暗，平均气温也高于冰点。这一发现有助于了解新生代北半球的冰层形成历史，并揭示了**stegmata**这种形态特征在早期就已进化。

Deep Research 大比拼：不同实现的深度解析

The Differences Between Deep Research, Deep Research, and Deep Research Source

文章探讨了“Deep Research”的定义和不同实现方式。作者指出，尽管多家公司推出了“Deep Research”功能，但其具体内涵尚不明确。文章将Deep Research定义为使用大型语言模型（LLMs）迭代搜索和分析信息，生成详细报告的系统。文章分析了未经训练的DAG和FSM方法，以及已训练的端到端和大型推理模型，并用图表对比了不同服务的Deep Research功能，最终希望通过技术分析澄清概念，减少炒作。

理解 Joule Thief 电路的工作原理

Understand the Joule Thief Circuit Source

文章解释了Joule Thief电路的工作原理。该电路利用正反馈使晶体管迅速进入饱和状态，形成类似闭合开关的状态。初级线圈电流线性增加，直至铁芯饱和或电流达到峰值，导致次级线圈停止提供基极驱动，晶体管关闭。随后，线圈中的能量被释放到LED中，循环往复。文章强调了正反馈在电路中的关键作用，以及铁芯饱和或电流峰值导致晶体管关闭的机制。

为什么 Vermont 州的农民开始用尿液给农作物施肥

Why Vermont farmers are using urine on their crops Source

Vermont州的农民开始使用经过巴氏消毒的人类尿液作为农作物肥料，以提高产量并实现可持续农业。这项由 Rich Earth Institute 运营的 Urine Nutrient Reclamation Program (UNRP) 收集当地居民捐赠的尿液，尿液富含氮和磷，可替代环境代价高的合成肥料。研究表明，尿液肥料可减少温室气体排放，节约用水，并防止水道藻类过度繁殖。尽管面临法规、运输和公众接受度等挑战，但该项目正在探索扩大规模，并推动相关法规的制定。

The Drift of Things: David Goodman Croly's Glimpses of the Future (1888)

The Drift of Things: David Goodman Croly's Glimpses of the Future (1888) Source

David Goodman Croly 在 1888 年出版的《未来一瞥》中，基于历史趋势对未来社会进行了预测。他预见了财富集中、中产阶级萎缩、美国吞并夏威夷、国际战争等。他还预言了巴拿马运河的开通、妇女解放、新闻垄断，甚至喷气机时代。尽管 Croly 的一些预测准确，但也有失误，例如关于种族平等和货币的看法。Croly 关注“事物的发展方向”，而非乌托邦，其作品带有对话形式，展现了他对政治、社会、科技等领域的思考。

探索 3D 图形中的实用方法：Rotors（2023）

Rotors: A practical introduction for 3D graphics (2023) Source

文章介绍了 3D 图形中一种名为 Rotors 的旋转表示方法，它基于几何代数。文章详细阐述了 Rotors 的理论基础，包括 wedge product、geometric product 等概念，以及如何使用 geometric product 进行反射。核心观点是，Rotors 提供了一种替代 quaternions 的更易理解和优雅的旋转表示方式，并给出了实际应用中的代码示例，涵盖了 Rotors 的存储、方向表示、旋转生成、组合、求逆、向量应用、矩阵转换、插值等关键问题。

From ACS to Altair: The Rise of the Hobby Computer

From ACS to Altair: The Rise of the Hobby Computer Source

文章追溯了个人计算机从业余爱好走向商业化的历程。早期，电子爱好者通过自制计算机、创办业余计算机协会(ACS)等方式探索个人计算机的可能性。随着微处理器出现，业余企业家开始推出家用计算机套件，如NRI 832和Kenbak-1。最终，Altair的出现凭借更强大的性能和更低的价格，引发了个人计算机的普及，标志着个人计算机行业的真正开端。文章还提到了Micral N，但强调其作为工业控制计算机，与个人计算机的爱好者文化有所不同。

基于 DSP 的微型 Ten 业余无线电收发信机

Tiny Ten DSP-Based HF Transceiver Source

本文介绍了基于 DSP 的自制“Tiny Ten”业余无线电收发信机，它是一款轻量级、10 瓦、10 波段的 SSB 和 CW 发射/接收机。该收发信机基于 Teensy 4.1，大量使用了 OpenAudio_ArduinoLibrary。文章详细描述了其硬件架构、电气设计、调谐电路、机械结构和 DSP 软件。虽然目前仅在 80 和 75 米波段运行，但已实现基本目标，并计划改进，包括 FT-8 支持和完善前面板。

Citronics 基于 Fairphone 2 主板构建路由器

Citronics built a router based on the Fairphone 2 mainboard Source

Citronics 基于 Fairphone 2 手机主板，设计了名为“Circular Microcomputers”的路由器开发套件，强调可持续性和循环经济。该套件搭载高通骁龙 801 处理器，提供以太网、USB、GPIO 等接口，并利用手机的 4G LTE、WiFi 和蓝牙功能。预装 Alpine Linux OS，支持 Buildroot 和 mainline Linux kernel。除了开发套件，Citronics 还与其他公司合作，基于 Fairphone 2 主板开发定制网关，应用于住宅供暖、机器视觉等领域。开发套件售价 150 欧元，面向专业客户，预计 2025 年 3 月交付。

Yoke：真正用代码定义基础设施（Infrastructure as code）

Yoke: Infrastructure as code, but actually Source

文章介绍了 Yoke，一个用代码定义基础设施的工具，它使用 WebAssembly 编译 Go 或 Rust 代码，生成 Kubernetes manifest。Yoke 解决了传统 IaC 工具（如 Terraform 和 Helm）的局限性，提供了更灵活、类型安全的解决方案。核心优势在于其 Air Traffic Control 功能，它将基础设施定义为 CustomResourceDefinitions，并与编辑器集成，简化了部署流程。Yoke 通过 WebAssembly 实现了安全沙箱，并提供了一种优雅的集群访问机制。总而言之，Yoke 旨在使 IaC 成为真正的代码，提高效率和安全性。