由德国人工智能联邦协会（KI Bundesverband）协调的德国研究联盟发布了 **Soofi S 30B-A3B**，这是一个在慕尼黑德国电信工业人工智能云上训练的开源大语言模型。
Soofi S 采用了与英伟达 Nemotron 3 Nano 类似的混合 Mamba-Transformer 架构，并利用了专家混合（MoE）设计。它包含 316 亿个总参数，但每个 token 仅激活 32 亿个参数，从而在长上下文窗口（最高支持 256,000 个 token）中实现了高吞吐量和高效性能。
Soofi S 基于 27 万亿个 token 进行训练，并特意强调了高质量的德语数据。目前，它在英语和德语基准测试中领先于所有完全开源的模型，表现优于 Apertus 70B 和 OLMo 3 32B 等规模更大的竞争对手。尽管一些评论家认为该模型基于经典的缩放定律属于“过度训练”，但项目负责人坚称这些规则不适用于现代的 MoE 架构。尽管在数学和事实检索方面存在细微弱点，但该项目代表了欧洲在人工智能主权方面迈出的重要一步，在训练数据、代码和基础设施方面提供了高度透明度。未来阶段将专注于工业应用，包括技术文档和基于代理的系统。
每日HackerNews RSS
一个德国人工智能联盟近期发布了名为“Soofi S”的开放权重30B模型，在Hacker News上引发了褒贬不一的讨论。尽管部分社区成员认为该进展有助于打破美中两国在人工智能领域的双头垄断，但此公告也面临诸多严厉批评。
持怀疑态度的人士认为该模型的高基准测试分数具有误导性，暗示测试内容已被包含在训练数据中。此外，批评意见还指出开发者使用了过时的对比模型，即以旧版的Qwen和Gemma作为基准，而非当前最先进的模型。同时，部分用户由于其独特的授权方式，对该模型“完全开放”的说法提出了质疑。尽管存在这些顾虑，仍有人视此次发布为欧洲人工智能发展的重要基础设施里程碑。
这篇由 Yuki 撰写的客座文章探讨了针对“CC: Tweaked”（一款 ComputerCraft 模组）压缩 Lua 代码的技术，该模组中程序常受限于严格的磁盘空间（电脑为 1MB，软盘为 125KB）。 为解决此问题，作者开发了一种将数据与解压程序合并的自解压归档方案。其主要挑战在于将 Lua 代码序列化为单个文件，特别是处理复杂的表键和原始字符串。由于 Lua 的“原始字符串”对换行符的解释不一致（尤其是在 Cobalt 运行时中），作者设计了一种巧妙的转义策略。 作者没有采用传统的转义方式，而是利用 `string.gsub` 将回车符（CR）替换为一种罕见的转义字符。为了最大限度地减小体积，他们实现了一种带外位掩码（out-of-band bitmask）方法，将字符是否为回车符的状态存储在单独的位串中。这种方法既保留了字节序列，又保持了数据紧凑。文章最后指出，这一过程是通过 Rust 实现的，并利用迭代器高效地生成了所需的位跟踪逻辑。
抱歉。
Kimi K3 是一款全新的 2.8 万亿参数开源权重模型，专为前沿智能、编程和长程推理而设计。该模型具备 100 万 token 的上下文窗口及原生视觉能力，并引入了两项关键架构创新：Kimi Delta Attention (KDA) 和 Attention Residuals (AttnRes)。结合优化的混合专家模型 (MoE) 框架，其扩展效率较前代产品提升了 2.5 倍。 Kimi K3 在自主智能体任务中表现卓越，包括复杂的软件工程、科学研究和芯片设计。尽管其表现持续领先于同级别的大多数模型，但目前仍落后于 Claude Fable 5 和 GPT 5.6 Sol 等行业领军者。 该模型现已通过 Kimi 的网页平台和 API 提供服务。目前默认采用“最大思考强度”模式，更多控制模式即将推出。完整模型权重定于 2026 年 7 月 27 日发布。Kimi 指出，虽然该模型能力强大，但有时可能过于主动，且需要稳定的“思考历史”才能可靠运行。建议用户在处理敏感的智能体工作流时，明确设定行为约束。
Kimi K3 已作为一款高性能、开放权重的 AI 模型发布。开发团队称其性能达到“前沿水平”，在 GDPval-AA v2 和 AA-Briefcase 等基准测试中，与 Claude Fable 5 和 GPT-5.6 Sol 等领先模型相比极具竞争力。K3 采用了“Stable LatentMoE”架构，团队声称该架构的扩展效率是其前代产品 K2 的 2.5 倍。
Hacker News 社区对此反应不一。虽然一些用户对出现能挑战当前顶尖模型的开放权重模型印象深刻，但其他人对其定价表示怀疑。该模型每百万 token 的价格为 3 美元/15 美元，远高于 GLM 和 DeepSeek 等其他中国替代模型。
讨论还涉及以下内容：
* **效率：** 人们担忧高昂的推理成本和 token 化差异可能会抵消其性能增益。
* **隐私：** 关于使用中国供应商模型时的数据安全性，引发了常见的争议。
* **过滤疲劳：** 许多用户讨论了过滤 AI 相关新闻的困难，并强调了此类快速的模型发布已变得多么普遍。
Kimi 计划在未来几天内发布完整的模型权重和正式的技术报告。
Schema Harness 在 Arc-AGI-3 公开测试中达到约 99% 的准确率 Schema Harness Achieves ~99% on Arc‑AGI‑3 Public
18 小时前
ARC-AGI-3 是一项极具挑战性的基准测试，要求 AI 智能体在没有明确规则、目标或对象定义的情况下解决逻辑游戏。智能体在没有任何先验知识的情况下启动，必须像物理学家一样行事：观察、假设、测试并修正对环境的理解。 作者引入了 **Schema**，这是一种能显著提升性能的新型控制框架——在使用 Claude Opus 4.8 和 Fable 5 的公开测试集中，其准确率达到了 98.98%。与模型直接采取行动的标准方法不同，Schema 强制执行了一个严谨的循环流程： 1. **状态基础与机制发现**：智能体生成一个可执行的 `step()` 程序，用以定义对象和转换规则。 2. **验证**：记录每一次操作，并将模型与整个历史记录进行回测，以确保程序与现实相符。 3. **搜索**：一旦模型通过验证，智能体就会利用广度优先搜索在内部规划移动，从而避免浪费环境操作次数。 Schema 表明，性能在很大程度上取决于探究的“过程”。通过将世界模型视为可编辑的程序而非静态向量，智能体能够修复错误、跨关卡重用成功的抽象概念，并达到人类水平甚至更高的操作效率。
“Schema Harness”项目声称，在使用 Claude Opus 4.8 和 GPT-5.6 Sol 等模型的情况下，其在 ARC-AGI-3 公开基准测试中达到了约 99% 的准确率。然而，Hacker News 社区对这些结果表示了强烈的怀疑。
批评者认为，在公开数据集上获得 99% 的分数并不一定代表具备了真正的智能或通用推理能力。由于公开数据集是预先已知的，它可能容易受到“硬编码”或过拟合的影响，而非 ARC-AGI 挑战旨在衡量的真正泛化能力。
目前的共识是，在非公开的保留测试集的表现公布之前，应对这些结果持审慎态度。此外，一些观察人士指出，该工具的运作方式是让 AI 为每个游戏编写模拟器，这改变了任务的本质，并可能绕过了该基准测试衡量原始抽象问题解决能力的初衷。在方法论开源并经由私有数据验证之前，社区仍不相信这代表了 AGI 领域的重大突破。
根据西北互助人寿最近的一项研究，42% 的美国成年人正在接受父母的经济支持，其中包括绝大多数的 Z 世代和千禧一代。理财治疗师梅根·麦考伊建议，如果能通过坦诚的沟通和明确的界限来管理，这种代际支持应被视为建设性的“脚手架”，而非依赖的表现。 专家建议在子女最需要的时候（例如偿还学生贷款或支付购房首付）给予经济援助，而不是等到日后继承遗产。然而，这种援助需要谨慎处理，以避免引发情感矛盾。父母应确保资助并非出于愧疚或控制欲，而子女必须将这种支持视为临时的过渡，而非理所当然的权利。 由于父母的支持可能会威胁到自身的退休计划或其他长期财务责任，家庭应咨询财务专业人士对计划进行“压力测试”。归根结底，持续且透明的家庭沟通至关重要，以确保经济援助能促进个人发展，而非滋生怨恨。通过设定明确的期望并优先考虑长期目标，家庭可以成功应对现代代际支持的复杂性。
最近的一则新闻标题称，42% 的美国成年人依靠父母的经济支持，这在 Hacker News 上引发了激烈讨论。用户对该研究的方法论表示怀疑，并指出“依靠”这一衡量标准含义模糊——它指的是受访者主观上对经济独立的认知，而非绝对的贫困。
这项由哈里斯民意调查公司（The Harris Poll）为西北互助银行（Northwestern Mutual）进行的调查，包含了一部分高净值人群样本，导致一些人质疑结果是否因富裕阶层占比过高而产生偏差。评论者对数据显示相当一部分 X 世代和婴儿潮一代也依赖父母感到尤为惊讶，一些人认为这可能与遗产继承或会计统计偏差有关，而非实际的经济资助。
除了方法论，讨论还转向了更广泛的经济现实。许多参与者认为，现代经济压力（如高昂的住房成本和停滞的工资）使得实现经济独立变得越来越困难，这与个人是否努力工作无关。虽然一些人批评这种说法可能只是金融服务机构的营销策略，但另一些人则强调，代际支持在全球范围内一直是历史常态，而当今那种要求个人实现绝对经济独立的“原子化”期望，可能是一种不切实际的现代观念。
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
SpaceX (SPCX) 已成为华尔街被做空最多的新股，并在 Hacker News 上引发了激烈讨论。怀疑论者指出，该股进一步下跌的风险很高，并强调其当前估值依赖于对 2030 年之前营收倍数的乐观预期；而另一些人则认为，IPO 后的初期回调属于正常现象。
导致做空兴趣激增的一个关键因素似乎是锁定期的即将到期，届时将有大量来自 IPO 前所有者的股票涌入市场。分析师们的观点分歧严重，估值从 60 亿美元到 2 万亿美元不等，这也导致一些人嘲讽这种缺乏共识的现状。
讨论还涉及了卖空的具体技术细节、对埃隆·马斯克将公司资源配置给 xAI 的担忧，以及持续推高波动性的“马斯克溢价”。尽管有些人将庞大的做空量视为即将崩盘的信号，但另一些人则认为，这仅仅反映了高交易量，以及看跌者押注回调与看涨者预期长期增长之间的持续博弈。
前NASA承包商保罗·卢图斯（Paul Lutus）作为“俄勒冈隐士”在计算机行业内成为了一段传奇。为了寻求安静的生活，他搬进了俄勒冈州一间没有电的偏远小屋，却在1976年购买了一台Apple II后，被卷入了方兴未艾的个人计算机革命。
卢图斯在与世隔绝的环境中工作，将对大自然的热爱与编程技能相结合，开发出了当时最畅销的文字处理软件之一——《Apple Writer》。他的经历证明了复杂而优雅的软件（例如他那款不会崩溃的文字处理器），往往由个人而非大型官僚委员会开发效果更好。
卢图斯提倡“电子小屋”的概念，主张技术促进了个体创造力的新时代。通过自动化处理琐碎任务，计算机赋予了开发者在自然、安静的环境中工作的自由。尽管卢图斯承认偏爱机器的一致性而非复杂的人际关系可能存在隐患，但他拥抱平衡的生活。他始终坚定地认为数字时代有利于个人，并证明了重大的技术突破往往源于孤独的创新者，而非企业团队。
抱歉。
Ratel 是一个专为 AI 智能体设计的上下文工程层，旨在解决“工具过载”问题——即过多的系统提示词和工具定义导致模型准确率下降及 Token 成本增加。 Ratel 不会将所有可用的工具和指令堆砌到提示词中，而是将你的能力索引到一个目录中。当智能体需要执行任务时，它会通过搜索该目录，仅检索并注入当前步骤所需的特定工具或技能。这种基于 BM25 的确定性检索过程保持了上下文的精简，在消除任务偏差、提升模型性能的同时，显著降低了延迟和成本。 主要特性包括： * **高效性：** 避免预先加载未使用的工具，从而减少 Token 消耗。 * **准确性：** 仅在每次请求中提供相关的能力，提升模型的专注度。 * **灵活性：** 支持本地模型、开源模型及前沿模型，且无需依赖向量数据库。 * **开发者友好：** 提供强大的 TypeScript 和 Python SDK，能够轻松注册工具和技能。 Ratel 基于高性能的 Rust 核心构建，旨在与 Vercel AI SDK 和 Pydantic AI 等现有智能体框架无缝集成。
抱歉。
请启用 JavaScript 并关闭所有广告拦截器
《纽约时报》近期的一篇报道指出，亚马逊上 AI 生成书籍的数量激增，自 ChatGPT 发布以来，月度电子书出版量翻了三番，超过了 30 万本。尽管有两位商学院教授认为这种增长是积极的经济扩张，但这一趋势明显倾向于低质量的 AI 撰写非虚构类作品，而非传统文学。
这一现象在 Hacker News 社区引发了强烈抵制。用户对“数字污染”的加剧表示担忧，并指出这些 AI 生成的作品正威胁着人类写作的价值，使得区分优质内容与“垃圾”变得几乎不可能。许多评论者认为，将收入增长置于文学完整性和客户满意度之上，反映出科技领袖推动的一种更广泛的、反人类的趋势。此外，人们越来越担心这会对信息权威性产生影响，尤其是这些批量生产的书籍可能会覆盖维基百科等知识数据库中可靠的原始来源。总的来说，人们对于创意劳动的自动化以及市场上充斥着大量低质量“废料”感到沮丧。
Kimi K3 已上线 Kimi K3 Is Live
20 小时前
Kimi Code 提供三种模型变体，分为两个层级：旗舰版 **Kimi K3**（支持最高 1M 上下文）以及稳定版 **Kimi K2.7 Code**（提供标准版和高速版，支持 256k 上下文）。具体访问权限取决于您的订阅方案（Moderato、Allegretto 等）。 **使用要点提示：** * **缓存管理：** 切换模型或推理设置会使上下文缓存失效，导致更高的 token 消耗。为优化性能和成本，在更改模型或推理强度时，请开启新的会话。 * **性能：** 如果“高速版”（HighSpeed）没有提升速度，请确认您使用的模型 ID 是否正确（`kimi-for-coding-highspeed`）。此外请注意，速度提升仅适用于模型输出，不适用于工具或脚本的执行过程。 * **错误处理：** 401 错误通常表示您当前的订阅方案不支持所请求的模型、上下文长度或高速访问权限。 * **切换方式：** 可使用 CLI 中的 `/model` 命令、VS Code 插件中的下拉菜单，或在第三方工具中手动更新模型 ID。使用第三方工具时，请手动将上下文窗口设置为 `1048576`，以充分利用 K3 的 1M 容量。