Hacker News 每日播报：今天，我们将深入探讨从高效算法到前沿设计，从科学发现到社会议题的多个热门话题。
SIMD-friendly algorithms for substring searching (2018)
这篇文章深入探讨了如何利用现代 CPU 的 SIMD（单指令多数据）能力来加速字符串搜索。作者 Wojciech Muła 指出，传统的字符串搜索算法（如 KMP 或 Boyer-Moore）是基于旧式 CPU 特性设计的，认为字符比较和查表廉价，而子串比较昂贵。然而，在现代 CPU 上，SIMD 指令使得并行比较大量数据（如 16、32 甚至 64 字节）变得非常高效，甚至比复杂的跳转和查表操作更划算。
文章提出了几种利用 SIMD 指令进行子串搜索的新算法，并比较了它们在不同架构上的性能。核心思想是使用一个“向量谓词”来快速判断一个数据块中哪些位置 可能 存在匹配，然后对这些可能的位置进行精确的子串比较。其中，基于“第一个和最后一个字符”匹配的通用 SIMD 算法表现最佳，在多种 x64 和 ARM 平台上都显著优于标准 C 库函数，最高可达 6.5 倍的加速。
围绕这篇文章的讨论非常热烈，许多开发者分享了他们在实际项目中应用 SIMD 字符串搜索的经验。例如，知名工具 ripgrep 的作者提到，他们的 Rust regex crate 中就使用了类似文章中通用 SIMD 算法的方法，并在此基础上通过启发式选择子串中出现频率最低的两个字节作为谓词，进一步提升了性能。大家普遍认为，虽然 SIMD 核心逻辑可能简洁，但构建一个健壮、高效且能处理所有边缘情况的 SIMD 字符串搜索库是一项艰巨的任务，需要仔细处理未定义行为和边界条件。同时，也有人探讨了 SIMD 算法的效率阈值，即字符串多长时 SIMD 的设置开销才值得，并指出对于设置开销小的算法，即使子串很短也可能有效。
Filedb: Disk-based key-value store inspired by Bitcask
Filedb 是一个用 Zig 语言实现的键值存储系统，其设计灵感来源于 Riak 数据库使用的 Bitcask 存储引擎。这个项目的核心思想是追求简单、高性能的写入和快速的读取。
Filedb 的工作原理基于日志结构化存储：所有记录以追加（append-only）的方式写入磁盘文件，并在内存中维护一个哈希表，存储每个键对应的值在磁盘文件中的精确位置。这种追加写入的方式非常高效，尤其适合写密集型工作负载。由于内存中的哈希表直接指向磁盘上的数据位置，读取操作可以做到 O(1) 的时间复杂度。为了回收旧数据占用的空间，Filedb 会定期运行一个压缩（compaction）过程。项目还提供了一个 Redis 兼容的客户端，并展示了不错的性能测试结果。
关于 Filedb 的讨论中，不少人对 Bitcask 的简单性表示赞赏，认为其追加写入的模式简化了复杂性，易于理解和实现，并且在不需要范围查询或二级索引的场景下表现出色。也有人提到 Bitcask 的一个局限性是缺乏内置的二级索引策略。关于数据持久性，有用户对文件同步机制表示关注，作者或其他人澄清说 Filedb 有后台同步进程，并可配置为每次写入都同步。对于 Filedb 是否适合生产环境，存在两种观点：一种认为它更多是用于学习数据库原理的“练手项目”，另一种则认为对于某些特定的工作负载（如高速写入大量日志或遥测数据），这种日志结构化存储是完全适用且高效的。
The international standard for identifying postal items
这篇文章深入探讨了国际邮件追踪号码背后的标准：万国邮政联盟（UPU）的 S10 标准。作者通过自己收到国际包裹的经历，好奇地发现不同国家的邮政服务使用了格式相同的追踪号码，从而引出了对这一国际标准的探索。
文章详细阐述了 S10 标准规定的 13 个字符的追踪号码格式：前两个字母是服务指示符，接着是八位数字的序列号，第十一位是一个校验位，最后两个字母是 ISO 3166-1 国家代码。文章特别提到了服务指示符的一些细节，以及序列号的容量（每个服务指示符和国家组合下有 1 亿个可用号码，建议至少 24 个月内不重复使用）。校验位的计算方法虽然不复杂，但足以检测一些常见的输入错误。此外，文章还提到了 S10 标准对条形码格式的要求。
在讨论中，一个主要焦点是 S10 标准下序列号的容量问题，特别是对于像中国这样发货量巨大的国家是否足够。大家探讨了可能的解决方案，包括高发货量国家可能通过批量运输到目的地国再进行本地投递，或者使用自己的私营快递网络进行“最后一公里”配送，这些方式可能绕开了 S10 标准。也有人指出，每个服务类型都有 1 亿个序列号，并且国家可以定义多个服务类型来增加容量。此外，讨论还涉及了序列号是否必须是十进制数字、校验位算法的优势，以及邮政系统中存在的其他识别和处理机制。
Endometriosis is an interesting disease
这篇来自 Owl Posting 的文章深入探讨了子宫内膜异位症，揭示了它在科学理解、治疗手段以及社会关注度上的诸多“有趣”之处，这里的“有趣”更多是指其出乎意料的复杂性和未解之谜。
文章首先介绍了子宫内膜异位症的临床定义：类似子宫内膜的组织在子宫外生长，导致剧烈疼痛、炎症、瘢痕形成和器官粘连。作者详细阐述了该疾病为何如此“有趣”：其起源假说不完整，最流行的“经血逆流”理论无法解释所有情况，例如异位组织可以在远离盆腔的器官发现，甚至从未有过月经的人也可能患病；它与癌症惊人相似，包括存在致癌基因突变和扩散能力，但缺乏突破性治疗手段；当前治疗手段（激素疗法和手术切除）都只是“管理”而非“治愈”，复发率高；最后，尽管它影响全球 10% 育龄女性（1.9亿人），但其研究资金严重不足，诊断平均需要 7-10 年，导致大量病例未被诊断。
围绕这篇文章的讨论非常热烈，许多人对诊断的漫长和困难深有同感，认为这反映了医疗系统的结构性问题，例如医生时间不足、过度依赖常见病诊断模式，以及对女性健康状况的忽视甚至医疗性别歧视。大家也探讨了 AI 在医疗诊断中的潜力与局限，认为 AI 既可能作为辅助工具帮助医生发现罕见病线索，也可能继承现有医疗系统的偏见。许多人分享了自己或亲友与子宫内膜异位症斗争的痛苦经历，证实了文章中提到的剧烈疼痛、生活质量下降和治疗局限性。
Student discovers fungus predicted by Albert Hoffman
一篇来自西弗吉尼亚大学（WVU）的文章报道了一项有趣的科学发现：一名学生发现了一种长期以来被 LSD 的发明者阿尔伯特·霍夫曼所预测存在的神秘真菌。
WVU 环境微生物学专业的学生 Corinne Hazel 在研究牵牛花时，在植物的种子外壳中发现了这种新物种，并被命名为 Periglandula clandestina。这项发现之所以重要，是因为牵牛花已知含有麦角生物碱，这类化合物与霍夫曼合成 LSD 时使用的麦角菌产生的生物碱类似。霍夫曼曾推测牵牛花中的这些化合物可能来源于一种共生真菌，但他本人并未找到。Corinne Hazel 的发现通过基因组测序证实了霍夫曼的猜想，填补了这一科学空白。文章指出，这种真菌高效产生麦角生物碱的特性，可能为未来的药物开发提供新的研究方向，用于治疗偏头痛、帕金森病等疾病。
大家对这一发现表现出浓厚的兴趣。关于“学生发现”的讨论中，一些人对一名本科生能做出如此重要的发现表示赞叹，认为这凸显了学生的好奇心和导师的支持环境。同时，大家也广泛讨论了自然界的未知潜力与生物多样性，对牵牛花与真菌这种“隐藏的化学家”共生关系感到惊奇，并由此联想到自然界中可能还隐藏着大量未被发现的、具有潜在应用价值的生物和化合物。
TimeGuessr
TimeGuessr 是一款基于图片的地理和时间猜测游戏，在 Hacker News 上引起了广泛关注。
这款游戏的核心玩法是向玩家展示一张历史照片，玩家需要根据照片中的线索，猜测照片拍摄的具体地点和年份。与传统的 GeoGuessr 游戏只关注地理位置不同，TimeGuessr 引入了时间维度，要求玩家同时在地图上标记地点并在时间轴上选择年份。游戏的得分取决于玩家在空间和时间上与正确答案的接近程度。
社区对 TimeGuessr 的反馈普遍积极，许多用户表示游戏“很有趣”且“令人愉快”，认为它在 GeoGuessr 的基础上增加了“全新的维度”。玩家们享受这种“侦探工作”的感觉，通过观察照片中的建筑风格、交通工具、服饰、广告牌甚至光影等细节来推断时间和地点。然而，讨论中也提到了一些可以改进的地方，例如照片的地理分布主要集中在欧美国家，希望未来能有更多来自世界各地的多样化图片。在用户体验方面，有评论提到了图片缩放和移动端的一些小问题。
Liquid Glass – WWDC25 [video]
WWDC25 的一个视频介绍了苹果最新的用户界面设计语言——Liquid Glass。它被描述为一种新型的数字元材料，能够动态地弯曲和塑造光线，同时像轻盈的液体一样有机地移动，响应触控和应用环境的变化。
Liquid Glass 的核心特性包括：动态性，界面元素呈现为圆润、漂浮的形态，通过“透镜效应”弯曲和扭曲背景光线，并对用户交互有流畅、有弹性的响应；自适应性，能根据自身大小和所处环境自动调整，并根据背景智能切换亮/暗模式；设计原则，强调光线、深度和自适应变化协同工作，并建议用于漂浮在应用内容之上的导航层；变体与可读性，提供“常规”和“清晰”两种变体，并强调可读性是核心考量；以及内置的辅助功能支持。
大家对 Liquid Glass 的看法呈现出明显的分歧，但批评的声音似乎更为突出。许多人质疑苹果声称的“直觉视觉线索”，认为人类对折射和透镜效应并没有像对阴影或渐变那样天生的理解，这可能导致困惑甚至眩晕，牺牲了清晰度和对比度，是过度花哨的拟物化回归。性能和资源消耗也是一个关注点，一些人担心这些花哨的动画会消耗大量计算资源和电池电量。也有人指出，Liquid Glass 在当前的测试版中看起来混乱且难以辨认，甚至违反了视频中提出的设计原则，被视为苹果近年来设计和品控水平下降的又一例证。
Whatever Happened to Sandboxfs?
这篇文章回顾了 sandboxfs 文件系统项目的兴衰。sandboxfs 是一个用户空间文件系统，最初是为了解决 Bazel 构建系统在 macOS 上糟糕的沙盒性能问题而开发的。它旨在通过一个虚拟文件系统来取代传统的符号链接森林，从而减少创建沙盒的系统调用开销。
文章指出，sandboxfs 的核心思想是：Bazel 通过 RPC 将文件映射清单发送给 sandboxfs，后者在其挂载点下立即呈现一个虚拟的文件层级，拦截 I/O 请求并重定向到实际文件。初步的性能测试显示，sandboxfs 确实比符号链接森林有性能提升。然而，项目最终停滞。作者反思，最初对性能瓶颈的判断可能存在偏差，真正的性能问题可能在于 macOS 编译器在沙盒环境中无法持久化磁盘缓存状态。更致命的是，macOS 生态系统的变化带来了巨大挑战：Apple 弃用了内核扩展（FUSE 依赖的技术），并提供了不适合 sandboxfs 用途的新文件系统 API，使得继续依赖它变得不可行。
在讨论中，社区成员对 sandboxfs 的命运和 macOS 构建沙盒问题展开了讨论。有人提到了 macOS 近期的一些新进展，比如新的 FUSE-like API (FSKit) 和 Apple 编译器在缓存方面的改进，并建议 Bazel 或许应该尝试与 LLVM 的内容可寻址存储（CAS）机制集成。也有人探讨了在 Mac 上通过 Linux VM 运行 Bazel 的可能性，以及使用 LD_PRELOAD 等技术拦截系统调用的替代方案。
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
一篇来自华尔街日报的文章揭示了美国陆军的一项新计划，旨在将硅谷的顶尖人才引入军方，以加速技术采纳和现代化。
文章的主要内容是，美国陆军启动了一个名为“Detachment 201”的项目，招募了来自 Meta、OpenAI 等知名科技公司的高管。这些高管将通过一个为期六周的“直接委任课程”，然后以预备役中校（Lieutenant Colonel, O-5）的身份服役。该项目的核心目标是利用这些高管在商业技术领域的经验，帮助陆军更好地评估、采纳和推广无人机、机器人等商业技术。
大家对这一举措表达了多样化的观点，其中不乏质疑和担忧。许多人对这些高管被直接授予中校军衔表示不解和担忧，认为六周的训练营远不足以培养出具备传统军事领导和作战规划能力的军官。这种高军衔的直接委任被一些人视为一种“虚衔”，其主要作用可能是在军方内部获得更高的发言权和访问权限，而非实际的指挥职责。一个突出的担忧是潜在的利益冲突和“旋转门”问题，即这些高管来自向政府和军方出售产品的公司，让他们来“建议”军方采纳哪些技术，很可能导致他们推荐自己公司的产品或服务。此外，大家还讨论了军事文化与科技公司文化的巨大差异，以及这些高管能否真正融入军方体系并获得尊重。
Peano arithmetic is enough, because Peano arithmetic encodes computation
这篇来自 Math Stack Exchange 的回答深入探讨了皮亚诺算术（PA）的证明能力，特别是围绕古德斯坦序列（Goodstein sequence）的一个著名结果。
文章首先提出了一个问题：皮亚诺算术（PA）能否证明“对于每一个自然数 n，都存在一个在 PA 中证明古德斯坦序列 G(n) 最终会达到零的证明”？文章的核心论点是，尽管 PA 不能证明古德斯坦定理本身（即所有古德斯坦序列最终都会达到零），但它 可以 证明“对于每一个 n，存在一个 PA 中的证明来证明 G(n) 终止”。作者通过详细阐述 PA 如何编码计算来支持这一论点，以 Lisp 为例，展示了如何仅使用 PA 的基本公理来构建基本的算术运算、配对、列表，并最终编码一个图灵完备的计算模型。
围绕这篇文章的讨论非常活跃，许多人对文章的清晰度和深度表示赞赏，特别是对使用 Lisp 引导来解释 PA 编码计算的部分，认为这对于程序员理解抽象的逻辑概念非常有帮助。核心的逻辑讨论集中在“PA 证明 X”与“PA 证明‘PA 证明 X’”之间的区别。一些人最初对此感到困惑，认为如果 PA 能证明对于每个 n 都存在一个证明，那不就等于 PA 证明了古德斯坦定理吗？作者和其他人澄清了这一点，指出这是哥德尔不完备定理的一个体现。讨论也发散到了更广泛的数学和哲学基础问题，例如可计算实数与不可计算实数、物理学是否需要不可计算连续统等。