## 从令人头疼的bug到Linux内核补丁
一位开发者的虚拟化之旅，导致了一次令人沮丧的调试经历，并最终促成了他们对Linux内核的首次贡献。在构建Type-2虚拟机监控程序时，他们在CPU核心之间切换时遇到了看似随机的系统崩溃。问题源于一段从KVM自检中借用的代码片段中的一个微妙的符号扩展错误，用于检索任务状态段（TSS）的基础地址。
这段代码依赖于对较小的整数类型进行位移，从而触发隐式整数提升和随后的C语言中的符号扩展。这破坏了计算出的TSS地址，导致在上下文切换期间发生崩溃——具体来说，在处理中断时发生双重错误。
经过数天的调查，排除了他们自己的代码作为罪魁祸首，开发者通过将有问题代码与KVM本身处理TSS地址检索的方式进行比较，发现了问题。一个简单的修复方法——在位移之前将值显式转换为无符号类型——阻止了符号扩展。
最终的补丁被接受并合并到Linux内核中。有趣的是，虽然AI工具帮助分析了日志，但它们未能识别根本原因，这凸显了人类调试技能的持续重要性。
每日HackerNews RSS
## 第一个 Linux 内核补丁与 C 语言的陷阱
一位开发者详细描述了提交第一个 Linux 内核补丁的经历，重点关注一个与 C 语言中按位左移时符号扩展相关的微妙错误。该问题导致间歇性系统崩溃，表现为“僵尸状态”的主板。
调试非常具有挑战性，即使使用 LLM 等工具也错误地将问题归因于硬件。根本原因在于 C 标准中关于左移有符号整数的未定义行为，特别是当将 `uint8_t` 提升到 `int` 时。讨论强调了 C 语言隐式转换的复杂性以及可能出现的意外行为。
评论者强调了严格编码实践、编译器警告（如 `-Wsign-conversion`）以及对 C 标准的深入理解，以避免此类陷阱的重要性。许多人认为 C 语言的隐式转换是一个长期存在的设计缺陷。该帖子还涉及了在开源项目中导航不成文规则的困难以及为内核做出贡献的成就感。
由于人为因素仍然是船上一个关键因素，模型训练提供了在真实船舶上永远无法获得的经验，原因很简单，即船东和地方当局都不会允许承担此类风险。 比例模型允许操作员在没有严重后果的情况下犯错。 了解更多。
一个黑客新闻的讨论强调了存在一些培训中心——例如portrevel.com和波兰的Port Iława——它们使用细节精密的、有人操控的模型船来训练海员进行船舶操纵。这种做法可以追溯到二战时期，当时海军使用游览船进行类似训练。
评论员指出，其价值不在于复制*物理*船舶操作（模拟器现在在这方面表现出色），而在于培养在复杂港口交通中所需的*心理*技能和态势感知能力。这些模型允许学员在没有实际风险的情况下体验和从潜在的灾难性场景中恢复——这是在大型船只上甚至在模拟器中都无法实现的。
一位评论员，一位在真实船只上受过训练的合格军官，建议模型训练侧重于*如何*思考操纵，从而补充后来学习的实际技能。 还有一个链接指向一部《赤裸枪》的模仿短片，其中提到了这样的设施。
一场黑客新闻的讨论集中在20世纪80年代初的Alpha Micro AM-1000E和AM-1200电脑上，它们因在有限的硬件上拥有令人印象深刻的多用户功能而受到赞扬。用户们怀念地回忆使用这些机器，其中一人指出他们仍然依赖于最初在AM-100/L上开发的软件，尽管原始硬件已经过时且因RAM故障无法运行，但该软件至今仍在运行。
一个关键的讨论点是内存保护。AM-100/L和运行AMOS的系统缺乏内存管理单元（MMU），导致不稳定——单个程序可能导致整个系统崩溃。后来的型号*可以*使用外部MMU，但早期的实现并不总是可靠的。人们探讨了规避方案，包括双处理器设置，以解决68000处理器处理内存错误方面的局限性。这次对话突出了早期计算的创造性和挑战性。
## Sashiko：AI驱动的Linux内核代码审查 Sashiko是一个开源的、AI驱动的系统，旨在通过自动化和改进代码审查来增强Linux内核开发。它灵感来源于日本的缝纫技术，该技术通过加固织物来提高其强度。Sashiko使用大型语言模型（LLM）——目前由Google的计算资源和Gemini 3.1 Pro提供支持——来分析Linux内核邮件列表（LKML）中提出的变更。 它充当一个虚拟的专业审查团队，检查代码是否存在架构缺陷、安全漏洞和资源管理问题。Sashiko利用Chris Mason创建的提示和多阶段审查流程，在历史数据集中识别出53.6%的*之前未被人工审查发现*的错误。 重要的是，Sashiko旨在*辅助*而非取代人工审查，因为LLM的输出是概率性的。该Linux基金会项目采用Apache 2.0许可，旨在通过智能自动化分析来加强内核。
对不起。
这期通讯探讨了每个机构的“蒙娜丽莎”——那一件吸引人群、代表其最佳水平的珍品。 起源于作者注意到美国唯一的列奥纳多·达·芬奇画作《吉内弗拉·德·本奇》，在国家美术馆（作者工作的地方）有时被称为“美国的蒙娜丽莎”。
这引发了一项搜索，揭示了17个不同的例子。 从MoMA的安迪·沃霍尔的《金色玛丽莲·梦露》，到黑帮博物馆上布满弹孔的墙壁，甚至蒂芙尼钻石，机构都将特定物品视为达·芬奇杰作的等价物。 其他例子包括死海古卷、哈里特·塔布曼的照片，以及一个昵称为“伊达”的4700万年前的灵长类化石。
作者还反思了他们自己的“蒙娜丽莎”——一期关于消除垃圾邮件的过往通讯，这期通讯受到了读者的特别欢迎。 最终，这篇文章强调了不同机构如何定义和庆祝他们最具标志性和价值的珍宝。
这个Hacker News讨论始于一篇帖子，将死亡谷中的阿玛戈萨歌剧院比作“蒙娜丽莎”，由此引发了一个关于在不同语境下什么构成“蒙娜丽莎”的讨论。
对话很快偏离了主题，纠正了一个关于玛丽·安托瓦内特私人剧院内一座名为米涅瓦神庙的场景被誉为宫殿“蒙娜丽莎”的错误事实。用户随后戏谑地寻找Hacker News本身的“蒙娜丽莎”，建议像一篇备受赞赏的网页设计文章和一条批评Dropbox的评论。
其他讨论包括对Restoration Hardware的批评、对可能艺术品目击的回忆，以及关于外来者如何常常将文化简化为笑话的更广泛的观察。这个帖子突出了艺术价值的主观性以及在线社区内独特的文化标志。
启用 JavaScript 和 Cookie 以继续。
3CRR图册：主页 我们展示了距离最近的85个DRAGNs（射电星系及相关天体）的射电图像和其他数据，这些天体来自莱因、莱利和朗埃尔（1983年）的所谓“3CRR”样本。 索引 最后修改：2013年10月15日 J. P. Leahy [email protected] 请使用能够识别HTML表格和内联JPEG图像的浏览器查看这些页面。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
DRAGNs图谱 (man.ac.uk)
5 分，由 cenazoic 发表于 22 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
蚁磨坊
Ant Mill
2 天前
“蚁群漩涡”是行军蚁中一种引人入胜，且常常致命的行为。当一群蚂蚁与主蚁群分离，并失去用于导航的信息素踪迹时，就会发生这种现象。蚂蚁没有分散开寻找气味，而是盲目地跟随彼此，最终形成一个持续旋转的圈子——“死亡螺旋”。
这种现象并非有意行为，而是蚂蚁自组织系统的结果；每只蚂蚁只是跟随前面的蚂蚁。微小的偏离，通常由环境触发，会引发这种循环运动。早在1921年就被观察到，一些蚁群漩涡非常巨大，周长超过370米，个别蚂蚁会旋转数小时。
在其他物种中也观察到类似的行为，这突出了一种更广泛的集体行为出错的原理——“盲人引路”的典型例子。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
蚁丘 (wikipedia.org)
42 分，thunderbong 发表于 1 天前 | 隐藏 | 过去 | 收藏 | 6 条评论 帮助
gnabgib 发表于 1 天前 | 下一个 [–]
2022 年热门 (251 分，154 条评论) https://news.ycombinator.com/item?id=30037716 回复
0xDEFACED 发表于 1 天前 | 上一个 | 下一个 [–]
这是 Claude 陷入“你绝对正确！”循环时的情况。回复
rednafi 发表于 23 小时前 | 上一个 | 下一个 [–]
我们有氛围领导力蚁丘，那些沉迷于 AGI 的领导者正在将他们的公司带入死亡螺旋。回复
user____name 发表于 16 小时前 | 上一个 | 下一个 [–]
其中有某种金融类比。回复
beeflet 发表于 1 天前 | 上一个 [–]
我们什么时候能看到蚁丘 CPU？回复
crtasm 发表于 16 小时前 | 父级 [–]
蚁丘内部
https://discworld.com/?s=anthill&post_type=product
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## 地外生命探索：摘要
Jon Willis 的研究，经 Raymond Biesinger 评论，探讨了天体生物学中的一个根本问题：当我们没有证据表明生命存在时，我们如何研究“外面的”生命？ 尽管缺乏确凿证据，该领域仍然存在，并受到生命可能在其他地方进化这种可能性的驱动——这一观点因达尔文的理论以及我们对地球只是众多星球中的一个星球的理解而得到巩固。
搜索不仅限于遥远的世界。 研究人员研究地球的极端环境——海底热泉、古代沙漠和高海拔天文台——以寻找关于生命适应性的线索。 像 TESS、Gaia 和詹姆斯·韦伯太空望远镜这样的望远镜扫描系外行星，寻找宜居条件和大气特征。 然而，对技术信号（外星技术的证据）的搜索只产生了推测，例如备受争议的 Tabby 星和 ‘Oumuamua 的异常现象。
最终，发现*任何*地外生命都将是变革性的，可能减轻我们的宇宙孤独感。 然而，评论质疑仅仅发现*生命*——甚至复杂的生命——是否真的会产生共鸣，并建议更深层次的联系需要共同的经历和智慧。 探索仍在继续，承认检测和沟通的巨大挑战，以及我们可能仍然孤独的可能性。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
绝望地寻找太空朋友 (reviewcanada.ca)
16 分，由 benbreen 1 天前发布 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 古罗马涂鸦研究项目：窥视罗马生活的一扇窗 古罗马涂鸦研究项目（AGP）是一个致力于研究早期罗马帝国手写铭文——最初被称为“涂鸦”——的数字资源，尤其是在庞贝和赫库兰尼姆。这些墙上铭文提供了对普通罗马人日常生活、语言和兴趣的独特见解。 AGP旨在使这些宝贵的历史资料对学者和公众都易于获取。该项目提供用户友好的地图，显示铭文位置，以及翻译和摘要。它提供了经过更新和批判性评估的文本版本，超越了如《拉丁铭文汇编》（*Corpus Inscriptionum Latinarum*）等先前的汇编，并附有详细的参考文献和高质量图像。 AGP为更大的铭文数据库做出贡献，并提供链接开放数据和教学资源，从而进一步研究和理解罗马社会、经济和文化。
一个名为ancientgraffiti.org的新数字资源，因其对庞贝和赫库兰尼姆古代罗马涂鸦的可访问性和保存而受到Hacker News的关注。用户称赞该项目对这些历史数据进行了结构化和数字化处理，并强调了其设计良好的搜索功能。
许多人觉得该网站出人意料地引人入胜，将其体验比作浏览社交媒体信息流——一窥几个世纪前人们的日常生活和想法。然而，一位评论员对网站的用户界面表示沮丧，并认为现代涂鸦起诉与古代例子被保存之间存在虚伪之处，甚至开玩笑地威胁要添加自己的“标签”。总的来说，该网站被视为一项有价值的工作，使历史信息易于获取。