## 牛奶的惊人复杂世界 一次简单的乳制品区购物之旅，引发了对牛奶从牛到包装盒的整个过程的深入探索。这一切始于现代奶牛惊人的产量——一瓶牛奶可以在一小时内生产出来！但真正的惊喜不是牛奶的*数量*，而是它*变成*的东西。 牛奶不仅仅是一种饮料，它还是几十种产品的极具适应性的基础。通过分离、巴氏杀菌、均质化和发酵等工艺，牛奶可以衍生出奶油、黄油、酸奶以及超过2000种奶酪。每一步都利用了牛奶独特的性质——它的乳液、胶体和溶液特性——来创造出截然不同的结果。 除了食品，牛奶成分如酪蛋白还被用于令人惊讶的应用中，从耐用的油漆和二战时期的飞机胶水到塑料，甚至药物填充剂。有趣的是，奶酪的制作历史早于人类消化乳糖的能力，这展示了古代克服生物限制的聪明才智。全球乳业是一个庞大的8000亿至9000亿美元的市场，其驱动力是这种单一白色液体的惊人适应性。
每日HackerNews RSS
## 牛奶都去哪儿了？ - Hacker News 讨论摘要
一篇关于牛奶流向的文章在 Hacker News 上引发了热烈讨论。一些人觉得文章信息量足，另一些人则觉得文章质量过于“精炼”或像是 AI 生成的。
讨论很快扩展到家庭奶制品生产，用户们分享了用生奶和巴氏杀菌奶制作奶酪、黄油和酸奶的方法。许多人强调了自制产品的更好口感。一个关键的争论点围绕着生奶——人们指出了它的风险，但也提出了关于其营养价值和历史消费背景（例如母乳喂养）的论点。
讨论还深入探讨了现代奶牛养殖的伦理影响，特别是为了产奶而进行重复授精的必要性以及小牛的命运。参与者指出，动物农业中常常被隐藏的现实以及行业掩盖这些做法的努力。最后，讨论涉及了牛奶加工的复杂性，包括均质化、巴氏杀菌方法，甚至奶牛消化系统内的微生物群。
黑格尔是一种基于属性的通用测试协议和库集合，建立在 Hypothesis 之上。 首次访问？ 我们建议从“入门指南”开始。 介绍 操作指南 解释 参考
对不起。
## Hacker News 讨论：游戏引擎与数据库
一篇最近的博客文章探讨了游戏引擎中使用的数据管理技术，在 Hacker News 上引发了热烈讨论，核心问题在于数据库是否“遗忘”了在游戏开发中吸取的教训。文章认为游戏引擎优先考虑数据布局以提高性能（例如数组的结构体），这反映了高效的列式数据库，但更侧重于零拷贝和缓存局部性。
然而，评论区的一个重要话题质疑了文章的真实性，认为它受到了人工智能的强烈影响，甚至可能是 *由* 人工智能撰写的，理由是其风格模式与大型语言模型常见。这引发了关于人工智能生成内容日益普及及其对在线社区影响的更广泛辩论。
除了作者身份的争论之外，评论者还讨论了诸如列式存储（已存在于数据库中）、OLAP 和 OLTP 系统之间的差异以及 ECS（实体组件系统）架构的可扩展性挑战等概念。许多人强调了游戏开发独特的诉求——优先考虑速度和本地化数据——与传统数据库的一致性和持久性需求之间的区别。最终，这场讨论强调了跨学科学习的价值，但也提醒人们不要过度简化，以及人工智能驱动的内容可能稀释宝贵见解的潜力。
启用 JavaScript 和 Cookie 以继续。
## ChatGPT Pro 价格变动与性能讨论
OpenAI推出了新的每月100美元“Pro”计划，提供Plus计划5倍的使用量，以及现有的每月200美元计划（20倍使用量）。一些人认为此举是对竞争的回应，可能表明对市场份额的担忧。
讨论的中心是GPT-5.4（通过Pro计划访问）与Claude Opus等竞争对手的性能。多名用户报告称，GPT-5.4在代码重构和错误修复等复杂任务上表现更优，尤其是在系统编程方面，但承认它在简单任务上可能较慢。另一些人则认为Claude更适合规划和架构设计。
许多人也在讨论成本效益，一些人因为价格较低而更倾向于使用GitHub Copilot进行编码。人们对LLM访问成本的增加以及如果价格继续上涨可能导致民主化受限表示担忧。OpenAI还据报道正在测试在其免费版本中投放广告。
## 编码代理通过研究增强：LLM 推理速度提升 15%
这项研究表明，在代码修改*之前*配备研究阶段的编码代理可以显著改善优化结果。研究人员通过文献综述和竞争对手分析增强了一个自动研究循环（类似于 Karpathy 的工作），并将其应用于 llama.cpp 项目，使用 SkyPilot 进行并行云端执行（4 台虚拟机，总成本约 29 美元）。
该代理的任务是加速 TinyLlama 1.1B 的 CPU 推理，通过五项关键优化，在 x86 架构上实现了 **+15% 的速度提升，在 ARM 架构上实现了 +5% 的速度提升**。这些优化包括融合 softmax、RMS norm 和 flash attention 的 KQ tile 等操作——这些策略是通过研究现有的 CUDA/Metal 实现和 ik_llama.cpp 分支而识别出来的，而不仅仅是从代码库本身中获取。
该研究强调，当解决方案存在于现有源代码之外时，仅靠代码的方法会遇到困难。虽然之前的自动研究成功地优化了具有可见优化表面的项目（如 Liquid），但 llama.cpp 需要外部知识来识别内存带宽瓶颈和有效的融合策略。研究阶段比单纯搜索 arXiv 更有成效。完整的设置是公开可用的，可以应用于其他可基准测试的项目。
## 研究驱动的智能体：摘要
最近Hacker News上的讨论强调了在智能体开始编码*之前*赋予它们研究能力的好处。核心思想是，智能体在阅读相关论文和分析现有项目后表现更好，这模仿了人类开发者的做法。
多位用户分享了构建系统向LLM提供学术研究的经验，倾向于使用reStructuredText (RST)而不是Markdown或LaTeX，以实现最佳的token使用率和保真度。像`research-papers-plugin`和`Qlatt`这样的工具可以自动化文献回顾、标注和索引。
共识是这种“先读后码”的方法可以带来更有效的优化，并避免重复劳动。虽然计算成本较高，但该过程允许智能体利用现有知识并生成更完善的解决方案。关键要点包括清晰的验证步骤（基准测试和测试）的重要性，以及使用`propstore`等工具自动化知识库创建的潜力。最终，讨论指向一个未来，智能体将主动学习并建立在现有研究之上，而不是仅仅依赖它们的训练数据。
电子前沿基金会 (EFF) 宣布退出 X（前身为 Twitter），引发了 Hacker News 的讨论。EFF 发布了一份详细声明解释了他们的理由（链接在讨论中：[https://www.eff.org/deeplinks/2026/04/eff-leaving-x](https://www.eff.org/deeplinks/2026/04/eff-leaving-x)）。
用户普遍支持 EFF 的决定，并从 X 平台上的回复中观察到的情况中验证了这一点。一些人认为 EFF 在退出声明中明确包含他们的 Twitter 个人资料链接值得注意。另一些人则简单地表示这是“正确之举”，赞扬 EFF 对数字权利的持续承诺。一个不同的声音认为没有必要发布公告，将离开 X 比喻为离开机场。讨论已整合到更大的 Hacker News 帖子中 ([https://news.ycombinator.com/item?id=47706268](https://news.ycombinator.com/item?id=47706268))。
EFF is leaving X
2 天前
近二十年后，电子前沿基金会（EFF）因帖子可见性急剧下降而离开X（前身为Twitter）——展示量已降至七年前的3%以下。 尽管EFF此前曾批评过Twitter，但该平台曾经积极捍卫用户权利，这种承诺在埃隆·马斯克领导下发生了改变，包括解散了人权团队并削减了反审查国际努力。 然而，EFF并非放弃所有社交媒体。 他们仍然活跃在Facebook、TikTok和Instagram等平台，认识到这些空间对边缘群体、活动家和组织者至关重要。 EFF认为，即使在积极批评这些平台的有害做法的同时，向这些“封闭花园”*内部*的人们传达有关数字权利的信息至关重要。 EFF将把精力集中在能够产生最大影响的平台上，包括Bluesky、Mastodon和他们自己的网站，继续为数字权利而战，在他们认为工作最有效的地方。
五角大楼威胁教皇利奥十四世的大使与阿维尼翁教廷。
The Pentagon Threatened Pope Leo XIV's Ambassador with the Avignon Papacy
2 天前
教皇利奥十四世公开呼吁结束伊朗战争，并敦促美国人通过[standwithpopeleo.com](http://standwithpopeleo.com/)联系他们的国会议员。 此立场源于一月份在五角大楼的一次令人担忧的会议，当时战争副部长埃尔布里奇·科尔比对教皇当时的大使克里斯托夫·皮埃尔红衣主教进行了激烈的对抗。 据报道，科尔比声称美国军事优势，并警告天主教会与美国政策保持一致，甚至引用了历史上被武力压制的阿维尼翁教廷时期，作为一种隐晦的威胁。梵蒂冈官员深感震惊，导致教皇利奥十四世原定于2026年的美国访问被推迟。 五角大楼认为教皇强调外交而非武力是对“门罗主义”的挑战，后者主张美国在西半球的霸权。 然而，梵蒂冈始终坚持其立场。 教皇利奥十四世将不会在2026年访问美国，而将于7月4日前往意大利兰佩杜萨岛，这是一个对非洲移民具有重要意义的地点——这是一个刻意的象征性选择。
喜欢这篇文章吗？我们需要您的帮助来继续出版。PDR是一个非营利项目，依靠读者捐款维持运营——没有广告，没有付费墙，只有我们社区的慷慨支持。这是一个非常令人兴奋的模式，但我们需要您的帮助来使其蓬勃发展。请访问我们的支持页面成为朋友，并获得我们的主题明信片包。或者进行一次性捐款。已经是支持者了？非常感谢您使这一切成为可能。
对不起。
## Craft：一种现代C和C++构建工具 Craft是一个轻量级的构建工具，旨在简化C和C++项目管理，提供类似Cargo的体验。它通过使用单个`craft.toml`文件定义你的项目，消除了CMake配置和依赖管理的复杂性。 Craft会自动生成`CMakeLists.txt`，获取依赖项（来自Git或本地路径），并提供一个简洁的命令行界面。关键命令包括`craft project`（创建新项目）、`craft add`（添加依赖项）、`craft build`和`craft run`。 依赖项可以通过`craft add`、`craft remove`和`craft update`等命令轻松管理。Craft还支持项目模板以进行快速设置，并允许通过`CMakeLists.extra.cmake`进行自定义CMake添加。 配置默认值存储在`~/.craft/config.toml`中，但项目特定的设置在`craft.toml`中优先。Craft是开源的，旨在简化C/C++开发流程。
## Craft：一个类似Cargo的C/C++构建工具 - 摘要
Craft是一个新的、轻量级的构建和工作流工具，旨在简化C/C++项目设置，灵感来自Rust的Cargo。它通过使用简单的`craft.toml`文件来定义项目设置，解决了CMake配置繁琐的常见痛点。Craft自动生成`CMakeLists.txt`并处理依赖管理，包括Git仓库和raylib、sfml等包管理器。
主要功能包括项目模板、样板代码生成和自动更新。目前版本为v1.0.0，开发者欢迎反馈和贡献。
早期反馈强调了一些潜在改进：使用手动依赖路径进行离线构建，避免激进的默认编译器优化（`-O3 -march=native`），与现有构建系统（CMake、pkg-config）的兼容性，以及强大的交叉编译支持。一些评论员认为Conan2或Bazel等现有解决方案已经解决了许多这些挑战，而另一些人指出由于C/C++生态系统的复杂性，创建真正全面的构建工具具有难度。