## Outcrop：构建下一代知识库
Imed 正在构建 Outcrop，一个专注于**速度和简洁性**的 Confluence 替代方案。这个项目源于他在 Stripe 工作期间对现有解决方案的 frustation。他意识到，一个真正更好的知识库需要快速搜索、轻松协作和自动化维护。
该项目最初用 Go 快速构建了一个原型，很快就发现需要一个更强大的基础。他最终选择了 **Rust**，因为它具有高性能和强大的工具，并构建了关键组件，例如受 Zanzibar 启发的授权系统（用于细粒度权限）和利用 `tantivy` 的自定义搜索引擎。他甚至将协作编辑器 Prosemirror 移植到 Rust，以克服性能限制。
Outcrop 优先考虑实时协作，将授权直接集成到搜索中，并旨在超越简单的文本，未来可能支持图表、工作流程以及与任务管理工具的集成。目前 Outcrop 正在开发中，计划在六个月内发布，价格为每席 €/$10，并提供赞助机会。
更多信息和加入候补名单，请访问 [outcrop.app](https://outcrop.app)。
每日HackerNews RSS
这系列博客文章，主要发表于2022-2025年间，详细分析了IETF和NIST后量子密码学（PQC）标准化的过程，指控其中存在美国国家安全局（NSA）的影响和流程缺陷。作者认为NSA正在通过操纵IETF的共识构建程序，推动标准化强度不足的“非混合”密码学（仅PQC，不含ECC）。 主要担忧包括指控投票结果被篡改、异议被忽视，以及“共识”的定义被改变以强行通过NSA偏好的方案。作者认为这优先考虑国家安全利益而非强大的安全性，可能导致系统存在漏洞。他们强调了流程仓促、对Kyber-512等算法的安全分析存在疑问，以及缺乏透明度等问题。 进一步的批评还包括NIST的标准化流程、PQC算法的专利问题，以及IETF内部更广泛的审查和正当程序问题。作者详细描述了一个正式的投诉流程，据称被阻挠并最终以程序漏洞被驳回。核心论点是，目前的路径由于政治影响和有缺陷的技术决策，可能损害互联网安全。
切片即足够：迈向通用的单侧分布式MatMul
Slicing Is All You Need: Towards a Universal One-Sided Distributed MatMul
2 天前
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
一篇最近发表在 arXiv 上的论文，标题为“Slicing Is All You Need”，在 Hacker News 上引发了一场有趣的讨论，主要围绕着学术标题中过度使用“is all you need”这个短语。
许多评论者指出之前 HN 上的一场讨论，将这个短语定义为有害的，一些人戏谑地建议使用替代方案，如“goto is all you need”或“harm is all you need”。 还有人提倡 arXiv 直接禁止这个短语，以及像“YOLO-v15”这样的版本化模型命名方式。
对话涉及了研究人员模仿热门 AI 论文以获取 perceived prestige 的趋势，以及一个轻松的观察，即这些标题热潮可能会成为互联网文化中有趣的脚注。 最终，这个帖子突显了社区对特定且日益陈词滥调的学术标题结构的厌倦。
欧洲核子研究中心（CERN）已建立指导原则，以负责任的方式在所有活动中使用人工智能（AI），涵盖科学研究（数据分析、加速器优化）到行政任务（自动化、翻译）。这些原则不依赖于特定技术，适用于CERN使用的所有AI技术，无论是由内部开发还是外部采购。
关键原则包括**透明度**——清晰记录AI的作用——以及始终保持**人类责任与监督**。AI的使用必须**合法、公平、无歧视**，并优先考虑**安全**，防止损害和网络安全威胁。
此外，CERN强调**可持续性**，旨在最大限度地减少环境影响，并严格遵守**数据隐私**。至关重要的是，所有AI应用仅限于**非军事目的**。这些原则旨在利用AI的潜力，同时维护CERN的道德标准，并确保其益处符合社会公益。
## CERN 的人工智能原则：摘要
CERN 发布了人工智能使用的一般原则，优先考虑可解释性、责任性、合法性、公平性、安全性、可持续性、数据隐私和非军事用途。该文件在Hacker News上引发了讨论，评论员质疑其在实际应用与作为公司“免责”政策之间的作用。
许多人同意这些原则是合理的，但范围广泛，缺乏针对现实世界权衡的具体指导。人们对在自动化工作流程中维持人为监督以及在使用人工智能系统时可能产生的自满情绪表示担忧。一些人指出其固有的模糊性，认为该政策主要旨在规避责任。
一个关键的争论集中在CERN的能源消耗——每年1.3万亿瓦时——以及鉴于大型强子对撞机（LHC）的整体环境影响，关注人工智能可持续性是否方向错误。另一些人则捍卫基础研究，强调其对社会的长期益处。
最终，这场讨论反映了对缺乏具体实施细节的高层次原则有效性的怀疑，以及对平衡创新与伦理考量更广泛的担忧。
## EV1 的意外复活
通用汽车的 EV1，第一款量产电动汽车，在 90 年代末大部分被停产并被压碎。然而，车辆识别码为 4G5PX2250V0200212 的 EV1 逃脱了这种命运。它于 1997 年最初被租赁，与通用汽车的法律斗争使原始租赁者避免了他的汽车被销毁，但最终却被遗弃在亚特兰大的拖车场。
值得注意的是，这辆 EV1 最近成为*第一辆*合法售予公众的汽车，在拍卖会上以 118,000 美元的价格成交。尽管它年代久远且状况不佳——缺少电池并有一些损坏——但新的车主，一位狂热的电动汽车爱好者，计划进行全面修复。
EV1 虽然续航里程有限，仅为 90 英里，马力为 137，但在当时具有开创性意义，拥有令人难以置信的空气动力学设计（阻力系数为 0.19——优于现代电动汽车）以及再生制动等功能。它的幸存归功于一位坚定的车主和一点法律上的运气，提供了一个重现汽车历史的一部分的独特机会。修复工作正在进行中，目标是在 2026 年它的 30 周年时让汽车重新运行，这得益于一个充满激情的社区和一个对这款先锋电动汽车共同的热爱。
## 黑客新闻讨论：唯一公开出售的 GM EV1
一辆稀有的 GM EV1，是少数几辆在电动汽车项目取消后未被压毁的车辆之一，最近浮出水面并公开出售。黑客新闻上的讨论围绕着这辆车的历史，它如何避免了 GM 的召回和销毁（可能捐赠给了大学），以及拥有和注册这种独特车辆的法律障碍。
用户分享了多年前遇到这辆车的轶事，并讨论了车辆登记和保险的复杂性。一些人强调了涉及机械留置权或将车辆注册为“自制”的漏洞，尽管其最初是由制造商生产的。对话还涉及了进口不符合美国安全标准的电动汽车（如比亚迪汽车）的挑战。
许多评论员反思了 EV1 的遗产以及 GM 取消该项目的决定，并将其与特斯拉在普及电动汽车方面的成功进行了对比。关于马斯克的作用是更偏向于宣传而非奠基，以及政府监管在电动汽车采用中的作用，存在争论。讨论还探讨了制造 EV1 复制品的可能性以及相关的法律考虑因素。
(Empty input provided. There is nothing to translate.)
## Google Kubernetes Engine (GKE) 扩展以支持 AI 工作负载 – 摘要 Google Cloud 正在积极扩展 Google Kubernetes Engine (GKE)，以满足日益复杂的 AI 工作负载需求。他们已成功测试了一个 **130,000 节点集群**，是官方支持限制的两倍，维持 **每秒 1,000 个 Pod**，并管理超过 100 万个存储对象。 这一推动源于已经运行在 20-65K 节点范围内的客户，预计需求将稳定在 100K 节点左右。然而，扩展到超出这个范围带来了新的挑战，主要在于 **功耗**，因为 AI 芯片（如 NVIDIA GB200s）需要大量的能源。这需要强大的 **多集群解决方案**，通过 MultiKueue 等工具和像托管 DRANET 这样的高级网络进行编排。 实现这种规模的关键创新包括通过改进的 API 服务器缓存实现 **优化的读取可扩展性**，基于 Spanner 构建的 **高性能分布式存储后端**，以及 **Kueue** 用于高级作业队列。未来的开发重点是 Kubernetes 本身中的 **工作负载感知调度**，以及通过 **Cloud Storage FUSE** 和 **Managed Lustre** 等解决方案实现高效的数据访问。 这些改进不仅使大型用户受益，还提高了所有 GKE 集群的弹性和性能，无论其规模如何。
## Google构建大规模Kubernetes集群：摘要
Google最近宣布成功运行一个拥有**13万个节点**的Kubernetes集群，利用其Spanner分布式数据库作为etcd的后端。虽然目前尚未正式支持，但此实验展示了显著的可扩展性。
讨论的中心在于，尽管水平可扩展系统具有潜力，但实现高性能查询（QPS）对于Kubernetes控制平面仍然具有挑战性。核心问题似乎在于etcd，Kubernetes默认的数据存储，优先考虑一致性而非原始吞吐量。像Kine（允许Postgres或SQLite作为后端）和Google的Spanner等替代方案提供了性能提升，但也引入了管理开销和复杂性的权衡。
许多评论员指出，扩展到超过1000个节点通常会暴露像Cilium这样的工具的控制平面限制。对于这种大规模是否真的*需要*，存在争议，尤其是在Google以外的公司，有人担心这会给初创公司带来不必要的复杂性，并认为更小、更易于管理的集群更有益。该公告引发了关于Kubernetes本身持续需求的讨论，一些人认为虚拟机足以满足无状态应用程序的需求。
我们正在验证您的浏览器。网站所有者？点击此处修复。 Vercel 安全检查点 | sin1::1763976852-GSYlGE91jYU4iSO3QeNZvoatthfSqUVa 启用 JavaScript 以继续。 Vercel 安全检查点 | sin1::1763976852-GSYlGE91jYU4iSO3QeNZvoatthfSqUVa
这个Hacker News讨论围绕着一篇名为“Murphyjitsu”的链接（来自lesswrong.com）以及自我提升技巧的价值。一位评论员最初认为它只是重新包装的自助/治疗内容，带有不必要的术语，具有“理性主义废话”的特点。
然而，其他人认为这些术语并非为了新颖，而是为了*可及性*。不同的标签——“生活技巧”、“显化”或心理学术语——可以帮助人们接受和利用原本可能被忽视的技巧。 核心问题在于该技巧是否对用户*有效*，无论其品牌如何。
最后一条评论以“Wilhoit’s Corollary to Murphy’s Law”增添了一丝幽默，暗示如果某事*可能*出错，它已经发生了，我们只是尚未发现而已。 这段对话突出了自助的 субъективность 以及找到与个人产生共鸣的方法的重要性。
## 德布鲁因的愿景：类型论 vs. 集合论 最近对 NG 德布鲁因 1973 年的论文《带有类型限制的集合论》的反思，强调了数学中一个长期存在的争论：集合论的基础地位。虽然传统上被认为是数学的基石，但德布鲁因认为应该转向**类型论**，设想一个系统，其中事物被“区分开来”——一个有理数并不固有地与点的集合可比较。 他批评了 ZF 集合论坚持“一切都是集合”的观点，认为这不直观且容易产生悖论。德布鲁因提出了一种**类型化的集合论**，其中元素必须具有兼容的类型，从而防止了像 *x ∈ x* 这样的无意义构造。他认为这种方法，在 AUTOMATH 等语言中实现，足以完成大部分数学工作，甚至几十年就预见了它的强大之处。 现代高阶逻辑，源自《数学原理》，提供了一个类似的框架。它允许使用方便的基于集合的语言，同时保留类型系统的优势。像 Isabelle/HOL 这样的形式化证明助手甚至可以将 ZF 公理作为独立的“世界”使用类型类，从而弥合了这两种方法之间的差距。最终，德布鲁因倡导一种务实的方法——一个足以进行数学运算而没有不必要复杂性的系统，甚至可能针对特定应用（如编程语言建模）利用遗传有限集合。
## 苔藓孢子展现出惊人的太空生存能力
最新研究表明，苔藓孢子能够承受太空的恶劣环境很长时间。科学家将*Physcomitrium patens*的孢子暴露在国际空间站外部九个月，发现超过80%的孢子在返回地球后仍然具有活力并能够繁殖。
这项研究强调了苔藓的卓越韧性，它已经以在极端陆地环境中茁壮成长而闻名。研究人员发现，包围孢子的孢子体提供了对紫外线辐射、冰冻和高温等压力的最大保护。虽然暴露于高能紫外线会造成一些损害，减少光合色素，但孢子通常在真空、微重力和温度波动方面表现良好。
首席作者藤田友道估计，这些孢子可能在太空中存活长达15年。 这一成功表明，苔藓可能是在未来太空探索中开发自给自足生态系统的重要组成部分，为地球以外的生命提供生物基础。
一份最新报告详细说明了苔藓孢子如何在国际空间站外部的恶劣环境中存活了九个月。Hacker News的讨论迅速澄清，这不是*活着的*苔藓，而是具有韧性的孢子——这是一个关键的区别，类似于种子和完全生长的植物。
尽管存在科学上的细微差别，但这一消息引发了幽默的评论。用户们开玩笑说苔藓会在国际空间站生长，引用了科幻电影《安德鲁米达星尘》，并俏皮地想象着一个名叫“苔藓”的人评论地球的问题。
讨论也转向了更具推测性的领域，有人建议将苔藓孢子发送到火星，甚至乘坐旅行者号宇宙飞船在宇宙中传播生命。一位用户开玩笑地问“兰迪到底能做什么？！”——这是对一个流行的网络模因的有趣引用。还链接了一个两天前的相关讨论。