Hacker News 每日播报，今天我们一同缅怀科学巨匠简·古道尔，深入探讨 Diff 算法与多臂老虎机，围观谷歌的开源项目和待售的机械恐龙，并反思 AI 时代下软件开发的本质与意义。

著名灵长类动物学家、环保主义者简·古道尔（Jane Goodall）于91岁高龄去世，标志着一个时代的结束。她对人类和动物世界的理解所做出的贡献将永载史册。

古道尔博士以其对黑猩猩长达数十年的开创性研究而闻名于世。1960年，她在坦桑尼亚的贡贝溪国家公园开始了这项研究，彻底改变了我们对人类近亲的认知。她最重要的发现之一是黑猩猩能够制造和使用工具，这一行为曾被认为是人类独有的特征。此外，她还观察到黑猩猩捕食、食肉，并表现出与人类相似的广泛情感和行为，包括亲情、悲伤甚至类似战争的暴力行为。

她的研究方法在当时极具争议。在男性主导的灵长类动物学领域，她坚持给黑猩猩命名而非编号，这在当时引起了科学界的质疑。然而，古道尔博士凭借其坚韧不拔和敏锐的观察力，最终克服了这些批评，她的工作被誉为“西方世界最伟大的科学成就之一”。

在她的晚年，古道尔博士将重心转向了全球范围内的环保倡导。她创立了简·古道尔研究所和“根与芽”项目，致力于大猿保护和青年环保教育。科技爱好者们分享了她对个人产生的深远影响，许多人提到她即使在90多岁高龄时依然活跃，展现出惊人的活力和对事业的投入。

一个广为流传的趣闻是关于加里·拉尔森的《远方》漫画。这幅漫画描绘了两只黑猩猩，其中一只发现另一只身上有金发，并问道：“又和那个简·古道尔荡妇搞‘研究’呢？”最初，简·古道尔研究所的律师认为这幅漫画品味不佳，准备采取法律行动。然而，古道尔博士本人看到后却觉得非常有趣，并指示研究所撤销了投诉。她甚至与拉尔森成为了朋友，并允许研究所将这幅漫画印在T恤上进行义卖。这个故事被人们津津乐道，认为这体现了古道尔博士的幽默感和卓越的领导力。

简·古道尔博士的一生是奉献、发现和倡导的一生。她的工作不仅改变了科学，也触动了无数人的心灵，激励着我们以更深刻的同情心和责任感去理解和保护地球上的所有生命。

Diff算法是软件开发中无处不在的工具，用于表示和理解代码及数据随时间的变化。最近，一篇名为《Diff Algorithms》的文章深入探讨了现有Go语言Diff库的不足，并介绍了一个新的Go Diff库 znkr.io/diff，旨在提供更灵活、高效且可读性强的Diff解决方案。

文章作者指出，现有Diff库普遍存在只支持文本输入、输出格式单一、API不够简洁以及最坏情况下性能不佳等问题。为了解决这些痛点，他开发了自己的Go Diff库，并采用了多种优化手段：

新库提供了灵活的API，支持对任意切片和文本进行Diff操作，并允许通过函数选项定制行为。

围绕Diff算法的讨论远不止于代码版本控制。一些观点指出，Diff算法还包括多维和树形（Tree-based）Diff，后者对于处理HTML或JSON等结构化数据至关重要。

开发者们分享了Diff算法在各种意想不到的领域中的应用：

讨论中也探讨了Diff的“最小性”是否总是最佳选择。许多人认为，编辑操作最少的Diff并不总是对人类最易读的。VSCode等工具在Diff编辑器中投入了大量精力来提高可读性，这表明在某些场景下，牺牲一点最小性来换取更好的可读性是值得的。difftastic等基于语法树的语义Diff工具也备受推崇，它们能理解代码结构，提供更智能的Diff结果。

谷歌开源了一个源自已停运云游戏平台Stadia的项目——CDC File Transfer。该项目旨在解决游戏开发者在Windows工作站和远程Linux实例之间高效同步或流式传输大量文件的痛点，其核心技术是“内容定义分块”（Content Defined Chunking, CDC）。

该项目包含两个主要工具：cdc_rsync 和 cdc_stream。

这项技术引发了开发者们的浓厚兴趣。一些技术专家分享了对CDC算法的优化经验，例如通过“预读”机制可以进一步减少数据传输量。大家普遍认为，cdc_rsync相较于传统rsync在处理文件中间修改和大量小文件时具有明显优势。

许多人对Stadia项目能留下这样的技术“遗产”表示欣慰。尽管该项目仓库目前已被归档，但其核心技术非常有用，被认为是复活为一个活跃开源项目的好机会，尤其是在扩展跨平台支持方面。不过，项目目前仅支持特定的平台组合以及使用Bazel构建系统，这可能会阻碍其被广泛采用。

多臂老虎机（Multi-Armed Bandits，简称MAB）是一个简单却极其强大的算法模型，用于在不确定性下进行决策。一篇名为《Introduction to Multi-Armed Bandits (2019)》的论文为我们提供了一个深入了解这一概念的绝佳起点。

MAB问题的精髓在于：如何在“探索”（尝试新的、未知回报的选项）和“利用”（选择已知回报最高的选项）之间找到最佳平衡，以在有限的尝试次数内最大化总收益。这篇论文系统地讲解了MAB的各个方面，从基础的IID奖励模型到对抗性模型，再到更高级的情境化老虎机（Contextual Bandits）。

在实际应用中，MAB展现了强大的能力。有开发者分享，他们利用MAB来动态选择展示给用户的内容以优化点击率，其效率远超传统的手动A/B测试。还有人使用MAB为每个客户选择最佳供应商或模型，并能量化新功能带来的改进，称之为“游戏规则的改变者”。

然而，MAB的应用并非没有挑战。最大的痛点之一是MAB对传统A/B测试的干扰。当MAB在不同实验组之间共享学习信息时，会打破实验组的独立性假设，导致A/B测试结果变得不可靠。此外，MAB可能会变成一个难以理解的“黑箱”，其内部状态和决策逻辑不易推理。一个警示案例是，当MAB和另一个机器学习模型都以最大化点击率为目标时，它们“过于有效”地推荐了不当内容，凸显了在设计MAB系统时仔细考虑优化目标和安全机制的重要性。

总的来说，多臂老虎机是一个强大而优雅的工具，在优化决策方面具有巨大潜力。然而，在引入MAB时，必须充分理解其对实验设计、系统复杂性以及潜在副作用的影响。

一篇1999年的教材《类型理论与函数式编程》再次引发了人们的关注。尽管年代久远，但其核心思想在今天依然具有深刻的启发性。

这篇文章的核心在于通过“命题即类型”（Curry-Howard同构）这一概念，探讨类型理论与函数式编程之间深层次的联系。它倡导设计一种语言，让程序的正确性像类型正确性一样，在编译时就能得到保证。

这篇文章引发了关于函数式编程（FP）未来的热烈讨论。

总的来说，这篇文章及其引发的讨论表明，类型理论和函数式编程这些基础概念在今天的软件工程领域依然具有强大的生命力和相关性。

在一篇名为《我只用 Google Sheets》的文章中，作者提出一个核心观点：在解决问题时，应该始终选择最简单的方案，只有当它无法满足需求时，才去寻找更复杂的替代品。对他而言，这个最简单的方案往往就是Google Sheets。

作者在一家需求频繁变化的初创公司工作，他发现投入大量时间构建复杂工具往往是徒劳的。他分享了自己开发货运管理后台、报价系统MVP的经历，这些项目最终都被一个简单的Google Sheet所取代。他认为，从最基本的解决方案开始，了解问题全貌后再迭代，可以避免不必要的开发工作。

许多人对这一观点表示赞同，认为电子表格是极其强大和灵活的工具。它集数据库、可定制的用户界面和数据处理功能于一体，并且几乎人人都能理解和使用。对于懂编程的人来说，Google Apps Script更是能为电子表格带来“超能力”。此外，Google Sheets在多人实时协作和版本控制方面的无缝体验，解决了传统文件共享的痛痛点。

然而，另一方则指出了电子表格的局限性，主要集中在数据完整性、可维护性和扩展性方面。

这场讨论揭示了电子表格在业务运营中的独特地位。它既是快速原型开发的利器，也可能成为技术债务的温床。关键在于理解其优缺点，并根据实际情况选择最适合的解决方案。

一篇名为“Our efforts, in part, define us”的文章深入探讨了技术进步，特别是人工智能，如何影响我们从工作中获得的意义和自我认同。作者作为一名软件开发者，表达了对AI自动化编码任务所带来的“无力感”和“失落感”。

文章的核心观点在于，我们所付出的努力具有内在价值，它帮助我们确立身份、理解自身定位。当技术让这些努力变得“不费吹灰之力”时，这种内在价值便面临挑战。作者担忧，除非我们重新塑造对工作的期望，否则这种趋势可能会进一步打击人们在工作领域的精神。

这场讨论引发了对软件开发本质的深刻反思。许多开发者认为，软件开发的本质并非仅仅是“写代码”，而是更高层次的“沟通”和“问题解决”。AI或许能代劳“无聊”的编码部分，但这将解放开发者去专注于更具创造性的架构设计、用户体验和跨部门沟通，从而提升为“问题解决者”而非单纯的“编码员”。

开发者们明显分为两派：

不少人对AI在编码领域的实际效用持谨慎态度。他们质疑AI生成代码的“正确性”和“效率”，认为LLM常常给出“糟糕的近似答案”，需要人类专家进行大量审查和修正。历史上的“无代码”平台也曾承诺取代程序员，但最终未能实现，这让人们对AI的“颠覆性”保持警惕。

总而言之，这场讨论不仅关乎技术工具的演变，更是一场关于人类在技术洪流中如何保持自我、寻找意义和重塑职业身份的深刻反思。

一篇名为《范畴论图解——自然变换》的文章，旨在通过丰富的图示和编程示例，让读者更好地理解**自然变换（Natural Transformations）**这一范畴论的核心概念。

文章指出，自然变换被认为是范畴论的“心脏”。它是一种连接两个函子（Functors）的“态射”，可以被理解为一种在保持结构的同时，将一个函子“变形”为另一个函子的方式。

在编程中，函子通常对应于泛型类型（如 List），而自然变换则对应于参数化多态函数。例如，一个将任何类型 T 的列表安全地取出第一个元素的函数（返回 Option），就可以被看作是一个从 List 函子到 Option 函子的自然变换。

这篇文章引发了关于“为什么人们对范畴论如此着迷？”的热烈讨论。

总的来说，这篇文章及其引发的讨论，为我们理解这一抽象数学工具在软件开发和科技领域的意义提供了多维度的视角。

一个充满奇幻色彩又带着一丝伤感的消息传来：新泽西的“恐龙野外站”（Field Station: Dinosaurs）主题公园即将关闭，并将其栩栩如生的机械恐龙在Facebook Marketplace上出售。

园内30多只大小不一的机械恐龙，包括一头52英尺长的棘龙，都以相对亲民的价格挂牌出售，价格从500美元到近3000美元不等。公园执行制作人表示，希望这些恐龙能找到“好归宿”，但也提醒买家需要一个“大后院”，并且需要自行承担所有拆卸和运输费用。

这个消息立刻点燃了科技爱好者的热情。有人开玩笑说要“彻底改造客厅”，也有人表示想买一只放在前院，挑战一下邻里协会（HOA）的底线。

然而，热情之余，现实问题也浮出水面。虽然恐龙本身的价格看起来很划算，但许多人指出，运输和拆卸的成本将是巨大的挑战，甚至可能远超恐龙本身的售价。这引发了关于“买得起，运不起”的现实讨论。

这次甩卖还引发了一些有趣的商业洞察。有人提议为加州的“摩登原始人屋”众筹购买这些恐龙，这引出了关于商业交易中“1美元收购”背后复杂性的讨论，通常这背后涉及承担现有债务或运营成本。

此外，一些用户分享了对其他类似恐龙主题公园的怀旧记忆，展现了人们对这些独特景点的特殊情怀。一位自称曾在该公园负责维护恐龙的前员工，也表达了对公园关闭的惋惜。

总的来说，这次恐龙主题公园的关闭和机械恐龙的出售，不仅是一个商业事件，更在科技社区引发了一场关于怀旧、商业运作、物流挑战，甚至是对科学与信仰认知的多维度探讨。

一位开发者分享了一份书单，列出了过去二十年里对他软件开发思维产生深远影响的十篇经典文章。这份清单涵盖了从团队管理、代码质量到用户体验和技术选择等多个方面。

这份清单引发了广泛的共鸣，许多开发者也分享了对他们影响深远的文章和书籍。

相关链接：

• Jane Goodall has died
• Diff Algorithms
• CDC File Transfer
• Introduction to Multi-Armed Bandits (2019)
• Type Theory and Functional Programming (1999) [pdf]
• I only use Google Sheets
• Our efforts, in part, define us
• Category Theory Illustrated – Natural Transformations
• NJ theme park puts animatronic dinosaurs on Facebook Marketplace
• Software essays that shaped me