## Olmo 3：一个完全开放和可追溯的语言模型家族 AI2 发布了 Olmo 3，一个开源语言模型家族（7B 和 32B 参数），旨在通过完全透明来推进开放式人工智能研究。与仅仅发布模型权重不同，Olmo 3 提供了对*整个*模型开发流程的访问权限——包括数据集、代码、检查点和训练过程——从而实现定制化和更深入的理解。 该家族包括 Olmo 3-Base（最强大的完全开放基础模型）、Olmo 3-Think（领先的开放推理模型，具有可追溯的推理步骤）、Olmo 3-Instruct（具有竞争力的聊天/工具使用模型）和 Olmo 3-RL Zero（用于强化学习研究）。Olmo 3-Think (32B) 显著缩小了与更大、闭源模型之间的性能差距，同时使用了明显更少的训练数据。 主要特性包括增强的数据策展（Dolma 3 和 Dolci 数据集）、高效的训练堆栈以及与 OlmoTrace 的集成——一种将模型输出追溯到训练数据的工具。这允许研究人员检查模型表现出某种行为的*原因*，并在开发的任何阶段进行干预。所有组件均以宽松的开源许可发布，从而促进协作和负责任的人工智能发展。
每日HackerNews RSS
## Olmo 3：一种新的开源AI模型 - 摘要
Allen AI 发布了 Olmo 3，一个全新的开源 AI 模型家族（7B 和 32B 参数），专注于透明度。与许多“开放”模型不同，Olmo 提供对其训练数据和代码的访问，允许对其行为进行更严格的审查和理解。一个关键特性是“OlmoTrace”，它试图展示模型输出与其训练数据中特定文本片段之间的联系——尽管其用处存在争议，一些人认为它更像是字典查找，而非真正的推理追踪。
讨论强调了人们对训练数据质量的担忧（包括从各种来源抓取的内容），模型“幻觉”或自信地陈述错误信息的倾向，以及与 LM Studio 等工具的集成问题。尽管存在这些挑战，许多人仍然对真正开源的模型在研究和开发方面的潜力感到兴奋，并且认为它与闭源替代方案相比，能够提供更大的用户控制和理解。此次发布被视为一个进步，但需要进一步的开发和社区贡献才能充分发挥其潜力。
## 台湾改变策略：暗中推动事实独立 近期事件显示，台湾对其与中国关系的策略发生了重大但鲜为人知的转变。当人们的注意力集中在日本讨论关于台湾的集体自卫时，赖清德政府实施了一项可能产生深远影响的政策。 台湾内政部的一项新指令现在要求来自中国大陆的配偶——即从中国迁移过来的人士——证明他们*不*持有中国公民身份才能担任公职。由于中国不提供非公民身份证明，这实际上禁止他们担任公职，首先从撤销一位村长的职务开始。 这并非宪法修改，而是对现有法律的重新解读，实际上将中国大陆视为“外国”，这一举动被称为行政上的“两国论”。这与之前的政府形成对比，代表着在两岸关系中故意摆脱模糊不清的态度。 时机选择，恰逢日本和台湾周边紧张局势加剧，似乎是战略性的。这种“蚕食式策略”旨在逐步重新定义台湾的法律地位，并在不引发北京立即军事回应的情况下，走向*事实*独立，北京可能会以法律甚至军事手段进行报复。这项政策引发了人们对更广泛地将中国出生的居民排除在台湾公共生活之外的担忧。
## 台湾地位现状的变化与中国入侵的可能性
最近的文章讨论了围绕台湾的动态变化，指出虽然人们关注日本的国防政策，但台湾总统赖清德正在悄悄加强岛屿的防御。一个关键论点是，中国入侵台湾的能力因从乌克兰战争中吸取的教训而大大降低，特别是无人机的有效性。
评论员们争论中国入侵的可行性，一些人认为由于无人机战，封锁或两栖攻击将是灾难性的。人们对中国的经济脆弱性表示担忧，特别是对通过马六甲海峡运输的石油的依赖，但也有反驳认为中国拥有能源储备和替代供应路线。
一个反复出现的主题是对中国人民解放军实际作战准备情况的怀疑，将其与台湾防御战略的 perceived 能力形成对比，后者应该优先考虑无人机技术，而不是昂贵的常规武器。许多人认为，直接入侵对中国来说将是一次灾难性的错误计算，可能导致内部不稳定和经济崩溃，而且美国不会为了贸易协议而牺牲台积电的生产。
2025年11月11日。2011年丹尼斯·里奇去世后，我曾想过是否应该在Unix系统中将用户名退役，以示尊敬，就像体育队退役伟大球员的号码一样。当时我曾向useradd.c提交过一个补丁，但被拒绝了；我想这可以理解，但我自己在我的机器上运行了修改后的版本一段时间，但没有效果，只是出于我自己的原因。那些几行代码可能运行了十几遍，检查着服务帐户的名字，这些帐户不会反对，但我知道它们在那里。我经常想知道将更深厚的文化历史融入到常用代码库的功能中会是什么样子，以及共同的遗产可能意味着什么，并且可能随着时间的推移获得什么。历史可能会无形地积累，不是在承重错误或临时永久性中，而是在人类历史的基准点中。你现在不能在NHL穿99号球衣，也不能在NBA穿6号球衣。也许你不应该能够以dmr的身份登录，原因相同。
## 黑客新闻讨论：保留用户名与用户身份
一场黑客新闻的讨论围绕着在类Unix系统中保留用户名（如“dmr”用于丹尼斯·里奇）的想法。最初的帖子质疑将此类限制硬编码到`useradd.c`中，建议使用可配置的文本文件代替。
评论者们大多不同意这个概念，理由是可能破坏现有系统，以及决定*谁*值得这种荣誉的不可行性。 提出的替代方案包括手动创建没有主目录的用户，或利用现有的系统工具，如修改`NAME_REGEX`。
对话扩展到关于用户身份本身的讨论。 几位用户认为Unix传统的用户名概念已经过时，建议借鉴Windows的SID等系统，或现代基于加密密钥的身份系统，如区块链技术。 他们设想一个用户通过加密密钥而不是用户名来识别的未来，从而提供更高的安全性和灵活性。
一个轶事强调了一位前亚马逊员工发现他们的历史UID（1）从系统中删除的沮丧。 总的来说，共识倾向于避免硬编码用户名限制，并重新思考现代计算中用户身份的基本概念。
管线：用Dyalog APL实现的地铁路线规划器 概述 查看APL代码 地铁定义： 巴塞罗那 哥本哈根 伦敦 马德里 米兰 巴黎 圣彼得堡 泰恩与威尔 示例地铁 返回工作区 返回Dyalog APL
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Tube: Dyalog APL 中的地铁路线规划器 (2011) (dyalog.com)
23 分，来自 shawa_a_a 2 天前 | 隐藏 | 过去 | 收藏 | 4 条评论
userbinator 1 天前 | 下一个 [–]
代码在这里：https://dfns.dyalog.com/tube_code.htm
我不是 APL 系列语言的专家，但它们似乎非常适合那些对样板代码和显式循环深恶痛绝的人。回复
pjmlp 1 天前 | 父评论 | 下一个 [–]
一般来说，数组语言，值得注意的是 NumPy 可以追溯到数组语言。这也解释了为什么数组语言非常适合 GPGPU，但遗憾的是我们仍然使用带有扩展的更经典的语言。回复
cenamus 1 天前 | 父评论 | 上一个 | 下一个 [–]
包括评论在内，总共三页。总是令人惊叹。回复
ubercore 1 天前 | 上一个 [–]
有时我觉得我理解计算了，然后我看了 APL。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
你需要启用 JavaScript 才能运行此应用。
## 伦敦街景文字搜索
一个新工具 london.publicinsights.uk 允许用户在伦敦的谷歌街景全景图中搜索特定文字——商店招牌、涂鸦等，灵感来源于纽约市的类似项目。
创建者 dfworks 强调了挑战，包括处理鱼眼图像、利用OCR以及在没有官方API的情况下访问全景图。他们实施了全景图间隔和道路选择等限制来管理资源。全球版本可能面临谷歌的速率限制和巨大的计算成本。
早期的用户测试显示了局限性：该工具难以将文字与*包含*该概念的图像匹配（例如，“蝙蝠侠”能找到海报但找不到广告牌），并且会遗漏一些特定地点或商家。完整数据访问需要订阅，并且一些用户报告多词查询的搜索准确性存在问题。
帕特里克是一位程序员和独立研究员，基于德国慕尼黑。他是Ohm的共同创建者和主要维护者，Ohm是一个易于使用的JavaScript解析工具包。职业生涯初期，他在IBM的J9 Java VM上工作了四年。此后，他曾在Google（Chrome和Android）、Lyft和Sourcegraph等公司工作。
## WebAssembly 从基础开始：摘要
一本新书《WebAssembly 从基础开始》（wasmgroundup.com）正在 Hacker News 上引发讨论。虽然 WebAssembly 规范通常被认为易于阅读，但一些开发者发现二进制和文本格式的细节，以及所选规范语言（SpecTec，一种基于 ML 的系统）具有挑战性。有些人更喜欢更传统的 BNF 方法。
尽管存在这些复杂性，许多人发现该规范出人意料地容易理解，并赞赏其详尽性。本书旨在弥合差距，提供一种教程式的 WebAssembly 理解方法，补充参考风格的规范。
作者强调理解核心概念的重要性，使扩展更容易掌握。代码示例和相关的 NPM 包 (@wasmgroundup/emit) 在 GitHub 上可用。讨论还涉及 WASI（WebAssembly 系统接口）及其在 WebAssembly 中运行命令行工具的潜力，以及 WASI 1.0 的持续开发。最终，本书被定位为寻求更深入了解该技术的经验丰富程序员的宝贵资源。
## 希尔伯特空间：将线性代数扩展到函数
希尔伯特空间将线性代数的力量扩展到传统向量之外，包括函数。其核心思想是将函数视为无限维向量——函数的“元素”是其在连续输入范围内的值，类似于有限向量的组成部分。
函数与标准的加法和标量乘法结合，形成一个向量空间。为了能够进行更复杂的操作，我们关注*平方可积函数*——其平方幅度的积分是有限的函数。这允许定义一个*内积*（推广向量点积）和一个*范数*（测量函数“长度”）。
至关重要的是，平方可积函数的空间是*完备的*，这意味着它包含其所有的极限点。这种完备性，以及内积，定义了一个**希尔伯特空间**，解锁了诸如傅里叶级数（将函数分解为更简单的组成部分）之类的工具，并为量子力学提供了一个数学基础，其中粒子状态表示为希尔伯特空间内的波函数。
本质上，希尔伯特空间提供了一个严格的框架，用于应用线性代数技术来分析和操作函数，从而弥合抽象数学概念与现实世界应用之间的差距。
## 黑客新闻讨论总结：希尔伯特空间与函数空间
一场黑客新闻的讨论围绕着一篇解释希尔伯特空间，特别是将函数作为向量的博客文章展开。核心争论在于*如何*最好地概念化和教授向量空间。
一些评论员批评作者一开始将向量表示为索引映射函数（例如将R^n扩展到实索引函数）的方法，认为这令人困惑，不如从向量空间的公理化定义开始更有帮助。他们指出，许多重要的函数空间（如L^p空间）并非逐点定义，使得索引映射的直觉具有误导性。
另一些人则认为这种方法是一种有用的启发工具，特别是对于理解代数结构如何从基础集合“提升”到函数空间。他们强调了与评估映射和永田引理的联系。
一个反复出现的主题是数学严谨性与教学有效性的重要性。一些人提倡更抽象、公理化的方法，而另一些人则强调对具体例子和直观解释的需求，即使它们需要一些简化。 讨论还涉及选择公理的作用以及处理无限维空间的实用性。
启用 JavaScript 和 Cookie 以继续。
一个黑客新闻的讨论围绕着一篇比较 Kyber 和 RSA-2048 加密的博客文章，特别是在浏览器端端到端加密应用的环境下。作者 iliasabs 实现了 Kyber 并分享了他的经验，邀请技术问题。
最初的反馈指出了提供的代码示例中的错误（现已更正为使用 `mlkem` 代替已弃用的 `pqcrypto.kem.kyber768`）。 几位评论者指出写作风格过于精炼，怀疑涉及了人工智能——作者证实了这一点，表示文章经过人工智能的重写/润色。
这引发了一场关于人工智能生成内容日益普及的争论，用户表示更喜欢真实撰写、即使不完美的文章，而不是过度依赖人工智能润色的文章。作者承认了批评，并承诺在未来的文章中使用更自然的语气，并澄清可选的行动号召。
你需要启用 JavaScript 才能运行此应用。
2025年世界奥赛罗锦标赛目前在土耳其安卡拉进行中，决赛正在YouTube（[https://www.youtube.com/@WorldOthello/streams](https://www.youtube.com/@WorldOthello/streams)）上直播，flipthedisc.com网站也可以观看。
一场由该赛事引发的Hacker News讨论，突出了一种奥赛罗的新趋势——使用随机起始位置来减少预编程开局策略的优势。 这篇文章也引起了评论员的共鸣，唤起了他们与家人一起玩游戏的怀旧回忆，并激励一些人重温或开始这款经典的策略游戏。 一位用户特别请求有经验的玩家推荐高质量的奥赛罗棋盘。
## 澳大利亚航空公司收紧充电宝规定 在发生一系列安全事件后，包括维珍澳大利亚航空一架航班上的空中火灾，澳大利亚航空公司正在实施关于便携式充电宝的更严格规定。从12月1日（维珍澳大利亚航空）和12月15日（昆达斯航空、昆达斯联运和捷星航空）起，机上将禁止*使用*和*充电*充电宝。 乘客随身携带充电宝的数量将限制在最多两块。昆达斯及其子公司允许使用高达160瓦时的设备，而维珍澳大利亚航空则要求对100-160瓦时的设备进行批准，并禁止超过160瓦时的设备。充电宝必须放在视线范围内且易于取用——不得存放在头顶行李架中（维珍航空），并且仍然禁止托运。 这些变化与国际社会对锂电池风险日益增长的担忧相符，其他航空公司如阿联酋航空也已实施类似的禁令。有关部门报告锂电池相关事件显著增加，并警告有缺陷的充电宝可能导致火灾和受伤。乘客仍然可以使用飞机座椅的充电端口为设备充电。
## 航班禁止使用充电宝，因安全隐患
维珍航空和昆塔斯航空在发生一系列机上火灾事件（自2016年以来共五起）后，禁止在航班上*使用*便携式充电宝。 这一担忧源于这些设备的质量通常较差且缺乏认证，尤其是那些廉价获取的，如公司赠品或自动售货机中的产品。 这些充电宝通常缺乏足够的电池管理系统和结构完整性，增加了过热或爆炸的风险。
讨论的重点在于难以执行质量控制，以及对虚假认证和依赖进口的担忧。 有人建议对所有电池供电的消费电子产品实施严格的认证流程——包括物理和电气测试。 还有人指出飞机上缺乏可用的电源插座是一个促成因素，并建议改进机上充电解决方案。
中国已经禁止使用未认证的充电宝，这凸显了一种潜在的解决方案。 这场辩论也涉及更广泛的航空安全标准以及风险缓解与乘客便利性之间的平衡，一些人认为应该采取更全面的安全方法，涵盖所有交通方式。