每日HackerNews RSS

## Anthropic 的 Claude Mythos:炒作与现实 Anthropic 推出的 Claude Mythos,被宣传为一项突破性的网络安全工具,但仔细研究他们的 244 页系统卡后,其炒作程度似乎被夸大了。尽管声称发现了“数千”个零日漏洞,但技术文档缺乏可量化的证据,缺少关键细节,如 CVE 编号、严重程度评级或与现有工具的比较。 核心演示——利用 Firefox 中的漏洞——依赖于一个经过大量修改的测试环境*没有*标准安全保护,使用的漏洞已经被修复,并且最初是*由另一个 Anthropic 模型发现的*。仅去除两个容易利用的漏洞,Mythos 的成功率从 72.4% 降至仅 4.4%,表现与旧模型相似。独立测试证实了这些发现,较小、更便宜的模型可以复制展示的漏洞。 除了技术上的不足,人们还对“1 亿美元防御倡议”表示担忧——该倡议主要由产品积分而非直接资金组成——以及专属的 Glasswing 联盟。该联盟汇集了多家大型科技公司,实际上创建了一个私有的漏洞披露系统,引发了对监管俘获和透明度有限的担忧。 最终,报告表明 Mythos 只是一个更快,但并非全新的漏洞扫描器。真正的风险不是该工具本身,而是由私营公司控制安全信息访问权,并可能塑造围绕人工智能驱动的威胁的叙述所设定的先例。

## Anthropic 的 Mythos 模型受到审查 最近 Hacker News 上的讨论集中在 Anthropic 的新 Mythos 模型及其网络安全能力的主张上。尽管 Anthropic 和 Linux 基金会、Apple 等合作伙伴强调 Mythos 识别漏洞的能力,但怀疑论盛行。 许多评论员认为,*发现*漏洞比*利用*漏洞更容易,质疑 Mythos 是否代表了真正的飞跃,还是仅仅是有效的营销。人们担心 Anthropic 可能会过度宣传该模型,可能为了分散对计算限制或数据中心问题的注意力。有人认为“Glasswing”项目是一种营销策略,并且像 OpenAI 的 Opus 4.7 这样的现有模型可以实现类似的结果。 一个关键的争议点是缺乏具体的证据——一份详细的白皮书或可重复的结果——来支持这些主张。尽管 Mozilla 等组织(发布了一篇博客文章,详细介绍了在 Mythos 的帮助下发现的零日漏洞)发表了联合声明,但有些人仍然不信服,质疑这些合作伙伴是否获得了全部信息访问权限。最终,争论的焦点在于 Mythos 是真正的突破,还是对现有技术的巧妙营销迭代。

请启用 JavaScript 并禁用任何广告拦截器。

## exe.dev:为热爱计算机的开发者打造的云平台 今天exe.dev的融资公告源于一个简单、个人的动机:对计算机的真挚热爱以及对当前云计算现状的沮丧。尽管技术不断进步,现有的云解决方案始终施加限制,迫使开发者围绕基础设施工作,而不是利用其力量。 核心问题不在于用户体验或API设计,而是根本上存在缺陷的抽象。当前的云模型将虚拟机绑定到僵化的CPU/内存分配,提供缓慢且昂贵的磁盘访问(尤其是在使用SSD时),并施加高昂的网络成本。这些限制需要复杂的规避方案,例如嵌套虚拟化和Kubernetes——这些工具试图解决一个无法解决的问题:使根本上存在缺陷的抽象可移植。 exe.dev旨在通过提供更直接的方法来解决这个问题:提供原始CPU、内存和快速本地NVMe存储,允许开发者根据自己的意愿运行虚拟机。初始功能包括资源隔离、内置代理、全球区域和Anycast网络。 受到AI代理兴起(它们需要更多计算能力并受到现有云的限制)的推动,exe.dev寻求创建一个真正对开发者友好的云平台,使他们能够构建和运行软件而无需不必要的限制。这是一种回归基础的做法,构建一个创始人真正*想要*使用的云平台。

## Palantir 与英国国民医疗服务体系:重塑语言以理解监控 本次演讲发布了Medact关于Palantir参与英国国民医疗服务体系的简报,警告了不受控制的人工智能和数据监控的危险。演讲者是一位前人工智能行业专业人士,他强调了像Palantir这样与战争罪有历史联系的公司开发的工具,正日益影响着平民生活,从而引发了议会对国民医疗服务体系合同的审查。 核心论点在于*理解*这些复杂系统,而不是需要技术专业知识。演讲者呼吁从营销炒作中“重塑语言”,将Palantir定位为一个模型,而不是一个独特的实体,它代表了众多提供预测监控的公司。Palantir这个名字,借自托尔金的“全知之石”,具有讽刺意味地预示了这些技术中固有的过度自信和潜在的误判。 至关重要的是,演讲强调了这些系统嵌入的“本体论”——潜在的世界观。这种本体论并非中立的;它可以编码偏见,强化意识形态,并最终导致歧视,正如Palantir的工作对多元化倡议的影响所见。演讲者提倡对数据来源、算法设计和自动化决策进行批判性审查,认识到这些公司的利润驱动型动机以及由此产生的问责缺失。最终,挑战这些系统需要重塑我们对现实的理解,并抵制单一、潜在有害的世界观的强加。

对不起。

## 细菌鞭毛电机:十亿年的工程学 数十亿年来,早期生命面临着一个根本挑战:向养分移动。 进化精益求精的解决方案是细菌鞭毛电机——一种极其高效的分子机器,为细菌的运动提供动力。这个“螺旋桨/大脑”以惊人的速度旋转,利用鞭毛状结构在水中推动细胞,在前进运动和随机翻滚之间切换以寻找营养物质。 最近的突破,利用低温电子显微镜成像,终于揭示了电机的复杂运作机制。 它由“质子动力”驱动——持续的质子流入细胞,被像旋转栅门一样的定子蛋白利用。 这种单向质子流被巧妙地转化为双向旋转,使电机能够根据化学信号改变方向,引导细菌寻找食物。 最初科学家认为鞭毛电机“荒谬”,其复杂性长期以来引发争论,一些创造论者将其作为“不可简化复杂性”的证据。 然而,详细的结构分析表明其逐渐进化。 理解这种电机不仅仅是关于细菌的运动;它阐明了一种驱动所有细胞过程的根本“生命力”,展示了物理学和进化协同作用的力量。

## 黑客新闻讨论摘要:生物“生命力”与细菌马达 一篇最近发表在《量子》杂志上的文章,探讨了驱动生物过程的物理机制,在黑客新闻上引发了热烈讨论。核心话题集中在细菌鞭毛马达——一种极其高效、质子驱动的引擎,能够实现细菌的运动。用户强调了该马达的简单性和效率,将其与复杂的工程系统进行比较,同时也承认了其对能源的脆弱性。 对话扩展到相关主题:线粒体呼吸(共享相似的质子梯度机制)、生物系统与机械系统在效率与稳健性之间的权衡,以及这些结构的进化历史。 许多用户推荐了补充资源,例如《更聪明的一天》视频和瓦伦蒂诺·布莱滕贝格的《车辆》,以供更深入的理解。 一个反复出现的主题涉及围绕“不可简化复杂性”和智能设计的历史辩论,一些人认为鞭毛的进化仍然是一个复杂的起源问题,而不仅仅是生存问题。 讨论还深入探讨了细菌进化所涉及的巨大规模,考虑到其快速的繁殖速度和潜在的基因水平转移。

This appears to be binary data from a PDF file, not natural language content. It is not translatable into readable Chinese. It consists of code and symbols.

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Flow Map Learning via Nongradient Vector Flow [pdf] (openreview.net) 25点 由 E-Reverance 2天前 | 隐藏 | 过去 | 收藏 | 2评论 帮助 macleginn 1天前 [–] TokenExpiredError 回复 E-Reverance 1天前 | 父评论 [–] 尝试刷新一下,对我来说仍然有效 考虑申请YC 2026年夏季项目!申请截止至5月4日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

这个演示探索了一种玩具语言,它结合了动态类型和内联值、栈分配、内部指针、单一所有权和有限借用等特性——旨在实现超越简单引用的表达能力,但比 Rust 的借用检查器更简单。核心挑战是在*没有*静态类型的情况下实现内存安全,并高效地实现。 这种方法模仿 Julia 和 Zig 的分层类型:从动态开始,然后添加静态检查以消除可能的开销。该实现允许通过显式注释在动态(解释型)和静态(编译型)代码之间切换。使用了一种新颖的动态借用检查系统,依赖于引用计数(仅限于栈分配以提高性能),并在违反规则时立即在运行时报错。 关键限制确保安全:所有者引用不能指向借用的数据,并且禁止某些借用模式。该系统跟踪引用来源(所有者和借用者),以提供信息丰富的错误消息。虽然有局限性,但它实现了诸如从函数返回引用和遍历链表等功能,而这些功能仅使用二级引用是无法实现的。作者承认该系统比较复杂,并探讨了潜在的改进,例如更隐式的解引用或转向二级引用和协程,灵感来自 Hylo。未来的工作可能包括完全静态类型或改进动态代码的易用性。

对不起。

## Shazam:它是如何工作的? Shazam在几秒钟内识别歌曲,不是通过识别旋律或歌词,而是通过一种巧妙的“指纹”识别过程。首先,声音被捕获为波形,并使用快速傅里叶变换(FFT)转换为频谱图——一个随时间变化的频率的三维表示。 然而,系统不会存储整个频谱图。相反,它会丢弃大部分数据,只保留最显著的“峰值”——创建一种对噪声具有抵抗力的稀疏“星座图”。然后将这些峰值配对,每对峰值根据其频率和时间生成一个唯一的哈希码。 Shazam利用“倒排索引”——本质上是一个查找表。你手机的片段会生成哈希码,然后这些哈希码被用作地址,以便在庞大的数据库中快速找到匹配的歌曲。哈希码之间的时间一致性确认了匹配结果。 虽然最初的系统依赖于服务器端处理,但较新的版本(如苹果的设备端识别)使用更小、本地化的数据库和机器学习,以实现更快、离线的识别。核心原理仍然是:通过关注关键声学地标并有效地进行比较,Shazam可以以惊人的速度和准确性从数百万歌曲中精确定位一首歌曲。

对不起。

启用 JavaScript 和 Cookie 以继续。

对不起。

## Verus:Rust 的静态验证 Verus 是一种工具,旨在*静态*验证 Rust 代码的功能正确性,尤其适用于低级系统编程。与运行时检查不同,Verus 使用计算机辅助定理证明来保证代码在所有可能执行情况下的行为。它借鉴了 Dafny 和 F* 等验证框架的灵感,旨在将纯数学规范语言与 Rust 强大的类型系统相结合。 Verus 利用 Rust 的特性——包括代数数据类型和线性类型——来简化验证,尤其是在内存管理和别名方面。它生成可由 SMT 求解器(如 Z3)求解的验证条件,并通过规范语言与求解器能力之间的紧密对齐来关注效率。 目前,Verus 优先支持高价值的 Rust 特性,并不追求完全的语言覆盖或自验证。用户在 Rust 语法*内部*编写规范和证明,利用扩展(如 `forall` 和新类型,例如 `int`、`nat`)。虽然 Z3 可以自动处理简单的证明,但复杂的验证通常需要程序员协助,可能采用归纳法等技术,并将其表达为递归的 Rust 函数。

对不起。

更多

联系我们 contact @ memedata.com