GitHub Actions 现在支持工作流锁文件，允许工作流使用可读的版本标签，同时生成的锁文件记录确切的提交 SHA 和仓库元数据。安装 `gh-actions-lock` CLI 扩展，运行 `gh actions-lock` 将 SHA 固定的动作转换为标签，并提交 `.github/workflows/actions.lock`。Dependabot 和 Renovate 已支持更新锁文件。使用 `gh actions-lock --verify` 添加 CI 验证，可选在单独作业中进行。将 zizmor 更新到 v1.32.0 或更高版本以支持锁文件。然后提交并推送。
每日HackerNews RSS
Hacker News 用户讨论 GitHub Actions 的新工作流锁文件功能。该功能允许工作流保留可读的版本标签，同时在 actions.lock 中将 actions 及其传递依赖固定到提交哈希。评论者称这是进步，但指出存在缺口：可复用工作流、组合 actions、Docker 镜像、内部可变性以及运行器镜像可能仍保持未固定。一些人警告，仅靠锁文件并不能确保完全不可变或可信，因为 actions 可以拉取可变依赖或执行任意代码；验证锁文件和审查 actions 很重要。其他人认为 GitHub 应该让市场标签不可变。该讨论还争论 GitHub Actions 的替代方案，包括 Jenkins、自托管运行器，或完全避免使用第三方 actions。总体而言，锁文件被视为有用的供应链安全构建块，但不是完整解决方案。
联合航空禁止第三方人工智能代理为旅客预订航班，理由是存在安全风险以及可能违反联邦法规。航空公司表示，与AI助手共享凭证可能暴露敏感数据，并导致意外购买、账户更改或里程使用；AI值机还可能与要求旅客确认行李内容的规则相冲突。联合航空正在限制其平台以及通过代理/聚合商的访问，同时更新预订政策。分析师Henry Harteveldt表示，联合航空希望掌控预订并避免AI机器人搜索带来的成本，尽管票价仍可通过传统聚合商获取。其他航空公司，如西南航空，正以不同方式拥抱AI，让用户通过ChatGPT查看航班。
联合航空更新条款，禁止 AI 代理及其他自动化工具代旅客预订或管理航班，理由包括非预期购买、账户变更和监管合规风险。
Hacker News 评论者就禁令是否可执行展开辩论：基于浏览器的代理可以模拟人类操作，但航空公司可能检测自动化并依据服务条款、封禁账户或法律行动执行政策。
批评者认为，航空公司是在保护增购、忠诚度与信用卡促销、动态定价以及人为摩擦带来的收入，而且在航空公司使用 AI 驱动定价的同时禁止消费端 AI，是虚伪的。
支持者指出，代理可能利用取消规则、占座、增加客服负担，并在未经授权情况下行动时提高责任风险。
更广泛的讨论涵盖航空公司薄利、价格歧视、市场集中度，以及消费端代理是否会推动航空公司转向透明 API，还是只会引发自动化与检测之间的军备竞赛。
正在启动...
0%
一篇Hacker News帖子链接到playgta5.com，声称GTA5可在浏览器中运行。评论者讨论AI辅助移植到WebGPU/WASM，预测更多主机品质的浏览器游戏，同时警告噪音和盗版增加。一些人认为现有版权法仍然适用，而另一些人指出匿名分发和盗版趋势。关于高预算游戏是否会变成始终在线的流媒体服务以保护资产存在争论，担忧包括延迟、带宽和消费者损失。性能报告不一：Chrome比Firefox更好，部分用户遇到卡顿或低帧率，独立显卡有帮助。一名评论者说链接的文章看起来像AI生成的。总体而言，该帖反映了对浏览器游戏的兴奋、对性能和盗版的怀疑，以及对AI对游戏开发和分发影响的更大不确定性。
元物理学与灵魂在人工智能中的讨论日益增多，包括 Anthropic 与宗教与哲学思想家举办的会议。与此同时，机制可解释性试图理解大型语言模型内部发生了什么，尽管存在资金缺口。为使这些技术可及，作者创建了开源的 TinyGPT Visualizer，一个交互式"X 光"，用于在小型真实模型生成输出时检查其数值内部。该工具旨在帮助用户调研与实践可解释性方法。作者认为，模型产生的任何情感或模式都将在其数字中被发现，哲学与宗教可能需要与定量分析进行对话。代码在 GitHub 上。
一篇 Hacker News 帖子链接了用于探索大型语言模型“灵魂”的工具。它获得了 54 个积分和 12 条评论。评论者讨论了大型语言模型可能收敛到相似解，其中一人提到他们让一个 LLM 构建类似工具，得到了几乎相同的结果。原帖作者强调，机制可解释性对任何想学习的人来说都是可及的。评论串还争论了“灵魂”一词：有人称其为虚构或吸引眼球，另一些人认为 AI 缺乏内在生命，不应以拟人化术语描述，而少数人则将“灵魂”捍卫为一种有用且非超自然的、与身体相区分的概念。总体而言，该帖引发了关于模型可解释性的技术讨论，以及关于 AI 能动性与语言的哲学辩论。
绿色飞行：农民为何转向用无人机播种覆盖作物 Flying on Green: Why Farmers Are Turning to Drones for Cover Crop Seeding
2 天前
（无内容可翻译）
Hacker News 的讨论围绕一篇关于农民使用大疆 Agras 无人机播种覆盖作物的文章展开。无人机可以均匀撒播种子并避免土壤压实，尤其适合在玉米成熟前向其撒播小粒种子的覆盖作物。评论者指出，由于联邦审计和列入名单相关担忧，大疆未来在美国的供应情况不确定，并对能否逆转持怀疑态度。其他人争论播种方法：播种机将种子插入土壤，而撒播适用于某些作物和覆盖作物。无人机还用于喷洒肥料和农药，但有效载荷重量和均匀分布很重要。有人指出中心支轴灌溉系统减少了空中喷洒的需求，而无人机有助于小型或不规则田地。总体而言，无人机提供了灵活、低成本的覆盖作物播种和定向喷洒工具，但政策和技术限制仍然存在。
犹他茶壶 The Utah Teapot
2 天前
犹他茶壶是 Martin Newell 于 1974/1975 年使用三次 Bézier 曲面片创建的标志性计算机图形模型。它在 SIGGRAPH 1976 之后声名鹊起，并作为标准测试模型持续出现于许多图形工具和 API 中。该模型可免费用于任何用途，包括商业用途，但需注明其源自犹他大学历史茶壶。主要版本包括 Newell 的原始高身开口茶壶、Blinn 的缩放 3/4 版本、Crow 的圆底 32 曲面片版本、Driskill 的带内腔的裁剪 NURBS 实体、Fish 的改进内腔，以及 Yuksel 2026 年的曲率连续、倒角、更轻的 62 曲面片版本。官方模型还支持对形状、底部、内腔、盖子、纹理坐标和三角剖分进行广泛自定义。
黑客新闻的讨论聚焦于犹他茶壶，这是犹他大学著名的三维图形测试物体。评论者分享个人经历，包括在计算机历史博物馆见到它、在图形学研讨会上获得签名复制品，以及在 OpenGL/GLUT 中使用它。其他人则指出其实体起源（Melitta/Friesland）、各种变体与再版，以及其作为经典图形学图标的的文化地位。相关链接包括之前的 HN 帖子、都柏林雕塑、图形学课程和演示。该帖还赞扬了犹他图形学先驱，并将茶壶与斯坦福模型作比较。总体而言，它凸显了茶壶在计算机图形学和爱好者社群中的持久传承。
Apple 支持社区将于2026年11月20日永久关闭。 The Apple Support Community will permanently close on November 20, 2026
2 天前
Apple 支持社区将于 2026 年 11 月 20 日永久关闭。从今天起，网站将不再接受新帖子，并处于只读状态。你可以继续在官方 Apple 支持网站上找到可信的指导和支持。我们感谢社区成员贡献的时间和专业知识，帮助他人使用 Apple 产品。
Hacker News 用户讨论了苹果宣布其支持社区将于 2026 年 11 月 20 日关闭，目前已设为只读。反应不一：许多人认为该论坛是低价值的非解答、过时修复方案和苹果式辩护回复来源，而其他人则回忆起偶尔有用的变通方法，以及确认普遍性错误的价值。有些人哀叹贡献者积累的知识突然流失，以及苹果与客户日益疏远；另一些人欢迎移除会扰乱搜索结果并可能向 LLM 提供错误信息的内容。担忧包括失去公开反馈、开发者论坛未来可能关闭，以及存档保存。开发者论坛目前似乎不受影响。建议的替代方案包括 Ask Different、MacRumors、Reddit、LLM 和官方苹果支持。
用户可以通过电子邮件和/或短信订阅 GitHub Impact 在 Actions、Pages 和 Copilot 方面的状态更新。电子邮件通知会在事件更新时发送，而短信提醒会在 GitHub 创建或解决事件时发送。要启用短信，用户需选择国家代码，输入手机号码，并使用一次性验证码进行验证。或者，用户只需点击“订阅”，即可仅通过电子邮件订阅，无需短信验证。
Hacker News 讨论围绕 GitHub 一起中断 Webhook、Actions 及相关服务的事件展开。用户对反复出现的中断表示沮丧，并质疑继续依赖 GitHub。许多人表示已转向 Forgejo、Gitea 或 GitLab 等自托管替代方案，或第三方 CI 服务，并称其稳定性更好。一些人认为 GitHub 被代理开发的巨大增长所拖累， reportedly 使用量同比增长六倍，提交/Action 量巨大；另一些人则指责 Azure 迁移或扩展能力不足。关于“vibe coding”或快速架构变更是否导致问题，存在争议。多名评论者指出，问题解决后排队的构建仍卡住，并强调需要生产环境的备份路径。总体而言，该讨论凸显了可靠性担忧以及对替代方案兴趣的加速。
在海拔3000英尺以上烹饪干豆更难，因为更低的沸点会减缓淀粉糊化和果胶软化，同时增加水分蒸发。炉灶慢炖能更好地控制高汤和沙拉中的豆子，但需要90–180分钟以上，并需频繁检查水量。高压锅可将温度升至240–250°F，把烹饪时间缩短至20–50分钟，并使软硬度更一致，尤其是鹰嘴豆和较老的豆子。在高海拔获得最佳效果：将豆子在盐水中浸泡8–12小时，尽早给烹饪液加盐，酸性食材待豆子接近软烂时再加入，水质硬则使用过滤水，煮好的豆子在其汤汁中静置。豆子的新鲜度是最大变量——老豆子无论用哪种方法都更难软化。总体而言，高压烹饪在效率和一致性上最可靠，而炉灶慢炖适合重视控制和高汤风味的厨师。许多高海拔厨师两种方法都会用。
Hacker News
新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
高海拔豆类：炉灶 vs. 压力锅
(highaltitudelife.com)
10 点，由 mooreds，1 天前 | 隐藏 | 往期 | 收藏 | 讨论
帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
这篇文章认为，像 Claude Code 这样的 AI 编程助手已经消除了 Emacs 在编辑速度和定制性方面的传统优势，因为用户现在可以描述想要的软件，而不是亲自输入代码。它追溯了从确定性计算和失败的基于规则的 AI 到现代随机模型的转变，然后考察了廉价的 AI 生成代码如何催生出荒谬雄心勃勃的 Emacs 项目，例如 excali-mode（一个用 Emacs/C 实现的完整 Excalidraw 风格技术栈）和 cooked.el（一个 Rust 终端模拟器）。这些项目表明，实现成本不再阻止异想天开的重写，而长期讨论的 Emacs 改进却仍未完成，因为其实没有人真正足够想要它们。作者预测软件将变得高度个性化且一次性，AI 会生成定制应用甚至底层代码。最后的讽刺是：Stallman 的用户控制软件理想可能实现，但没有人会理解最终系统如何工作。
Hacker News 的帖子讨论了“Emacs in the Age of Magic”以及 LLM 对编程的影响。原帖作者认为 AI 编程工具强大但有缺陷——速度快但冗长、不安全、上下文能力差——认为程序员不会消失，并警告不要把人类思考交给机器。评论者争论 AI 是会取代工程师，还是只会产出低质量软件。有人把 AI 生成的代码比作外包复制粘贴代码；也有人称赞 AI 提高生产力并能集成到 Emacs。一个明显分歧是 human-emacs.org 承诺拒绝 LLM 生成的 Emacs 贡献，而批评者称其倒退，并预测支持 AI 的分支会超越它。其他主题包括软件自由、专有模型、幻觉、信任、验证、模块化、确定性工具，以及 AI 是减少学习还是扩大访问。总体而言，该帖反映了对 AI 影响编程技艺与开源社区的兴奋、怀疑与不确定。