我们已收到通知，美国商务部已解除对 Claude Fable 5 和 Mythos 5 的出口管制。我们将于明日开始恢复相关访问权限，并会尽快发布后续更新。感谢广大用户在此期间的耐心等待，同时也感谢所有协助我们重新部署模型的工作人员。
每日HackerNews RSS
美国商务部已正式解除对 Anthropic 公司“Claude Fable 5”和“Mythos 5”人工智能模型的出口管制。该决定由霍华德·卢特尼克（Howard W. Lutnick）传达，此前 Anthropic 承诺将实施严格的安全协议、主动检测恶意活动，并与美国政府协调未来的模型发布事宜。
此次限制的解除意味着这两个模型可以恢复出口并向国际用户开放。虽然如果未能遵守安全承诺，政府仍保留重新施加许可要求的权力，但 Anthropic 已确认将立即恢复相关服务。
Hacker News 上的讨论对此次沟通方式的变化表示好奇——特别是信函的收件人是 Anthropic 首席计算官汤姆·布朗（Tom Brown）而非首席执行官达里奥·阿莫代（Dario Amodei）——并引发了关于这些新的“安全协议”可能如何影响模型性能和可用性的争论。用户对这一消息表示欣慰，并提到这些工具对于专业工作流程十分必要。
巨石阵寻觅者 Hengefinder
7 小时前
您好，请提供您需要翻译的具体内容。
这篇 Hacker News 讨论的主题是 **Hengefinder**。该项目由 Victoria Ritvo 和 John Pribyl 开发，旨在帮助用户寻找太阳或月亮与城市建筑完美对齐的时刻，这种现象俗称为“henge”。
社区讨论突出了几个引发争议和关注的要点：
* **平台实用性：** 用户质疑开发移动应用的必要性，指出其本质上只是该项目原始网页工具的包装。
* **质量担忧：** 一些评论者对该应用的专业呈现方式表示怀疑，理由包括网站信息有限，以及 Google Play 商店页面存在不一致之处（例如使用了 iOS 的截图）。
* **可访问性：** 用户指出了应用商店中的区域可用性限制，并建议直接使用网页版。
* **术语定义：** 关于“henge”一词引发了辩论。一些用户指出，该项目对“henge”的定义（天文对齐）与考古学中对圆形土方工程的定义有所不同。
总的来说，虽然该项目被公认为是 Recurse Center 校友的一项创造性尝试，但讨论反映出精通技术的受众群体更倾向于网页端的可访问性，而非功能可能重复的移动应用程序。
Hatari - Atari ST/STE/TT/Falcon 模拟器 正在下载... 调整画布大小 锁定/隐藏鼠标指针
抱歉。
表格数据是企业级机器学习的基础，然而 XGBoost 和随机森林等传统方法仍然非常耗费人力。这些模型需要大量的手动工作，包括繁琐的超参数调整和特定领域的特征工程，才能获得可靠的性能。 为了解决这些瓶颈，我们推出了 **TabFM**，这是一种专为表格分类和回归设计的新型基础模型。受大型语言模型上下文学习（ICL）能力的启发，TabFM 将表格预测重新构建为零样本任务。这种方法消除了手动模型训练和复杂预处理的需要；用户只需通过单次前向传播，即可对未知数据生成高质量的预测。 TabFM 通过消除结构化数据通常带来的技术壁垒，简化了机器学习的生命周期。目前，该模型已通过 Hugging Face 和 GitHub 对公众开放。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
TabFM：用于表格数据的零样本基础模型 (research.google)
brandonb 发布于 53 分钟前 | 13 点 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助
hodgehog11 16 分钟前 | 下一条 [–]
一方面，这令人印象深刻。TabPFN 本身已经是业内顶尖，并且正在彻底改变表格数据的贝叶斯预测（几乎涵盖了所有领域）。
另一方面，也许只是我个人的感觉，我认为这种基准测试报告的形式在该领域是不可接受的。TabArena 实际上有多个指标，因为 ELO 分数并不能恰当地量化改进程度。这里没有展示这些指标，值得深思。此外，GitHub 中的结果部分简直是一团糟。
回复
kingjimmy 24 分钟前 | 上一条 [–]
在 SAP 收购 Prior Labs 之后看到谷歌发布这个，很有意思。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Mistral AI 推出了 **Leanstral 1.5**，这是一款专为形式化证明工程设计的专用模型。该模型针对自动定理证明和自动形式化进行了优化，拥有 1190 亿总参数（其中 65 亿为激活参数）以及 256k 的上下文窗口。
作为 Mistral 更广泛生态系统的一部分，Leanstral 1.5 集成了该平台的全套开发者工具，包括聊天补全、函数调用、智能体工作流、结构化输出和 OCR 功能。它支持多种模态和功能，例如文档问答、嵌入、多模态转录及语音服务。此次发布旨在为技术和形式化语境提供精确支持，进一步强化了 Mistral AI 为研究人员和开发者提供专业高性能模型的承诺。
抱歉。
Ante 引入了“形状稳定性”（shape-stability）这一概念，确保对具有稳定形状的数据的引用，即使在其他地方发生变动时依然有效。由于 Ante 保证对象在使用过程中不会被销毁或结构性变更，该语言允许同时存在对同一个结构体及其嵌套字段的多个可变引用。 与严格禁止多个可变借用以避免内存安全问题的 Rust 或 Swift 不同，Ante 的编译器能够识别出：如果一个实体的结构是稳定的，那么对其字段的修改并不会导致现有引用失效。这使得开发者可以实现诸如“自愈函数”或同时对父结构体及其子组件（例如，飞船及其引擎）进行可变访问等模式，且不会产生内存损坏的风险。通过优先考虑形状稳定性，Ante 在保持内存安全的同时，简化了所有权和借用规则。
最近的一场 Hacker News 讨论探讨了 Ante，这是一种通过融合借用检查与引用计数，从而在内存安全方面进行独特实验的编程语言。
该语言的作者解释说，Ante 旨在通过允许“形状稳定”（shape-stable）的变异来提高工程便利性——即在不改变底层数据结构导致现有引用失效的前提下进行更新。尽管用户质疑这种方法在多线程环境下是否会引发未定义行为，但作者澄清道，Ante 采用了 Rust 的 `Send/Sync` 特性来防止线程间的共享可变性。
评论者分析了该设计中的权衡，指出虽然选择“放宽”访问限制和引用计数简化了某些操作，但这可能会带来性能成本，并在递归分析中引发潜在挑战。该帖中的专家将 Ante 与 Vale、Zig 和 Rust 等其他现代语言进行了对比，认为这些新兴项目是内存管理领域至关重要的试验田。该语言的作者也为设计的语法进行了辩护，认为它为非垃圾回收内存管理提供了比 C++ 和 Rust 当前所需的冗长模式更简洁、更易读的替代方案。
这篇博客文章批评了近期一种试图证明“独立”使用 ML-KEM（一种基于格的后量子算法）优于结合传统 ECC 与后量子密码学的混合方案的观点。 作者认为，支持独立使用 ML-KEM 的理由充满了根本性错误、术语滥用以及对安全风险范围具有误导性的“窄化”。具体而言，作者指出： * **忽视软件风险：** 支持者将软件层面的漏洞（如计时攻击）排除在“密码分析”之外，尽管这些漏洞在现实世界中影响巨大。 * **淡化数学风险：** 这些论点错误地声称“模块结构”和“渐近”归约提供了安全性，却忽视了已知的紧致性差距、针对理想格的量子攻击，以及通用格归约攻击在速度上的持续提升。 * **误导性声明：** 断言 ML-KEM 缺乏与 RSA 或 ECC 同等水平的“最坏情况到平均情况归约”，这一说法在事实上是不准确的，且歪曲了这些归约的作用机制。 最终，作者警告称，此类有缺陷的风险分析正被用作“谈资”，旨在推动 ML-KEM 在 IETF 标准化中通过，从而绕过合理的共识构建，并让用户承担本可通过保留 ECC 作为安全层而轻松规避的不必要安全风险。
抱歉。
尽管人工智能在生成高质量的局部代码方面表现出色，但在处理全局程序架构时往往显得吃力，容易导致“代码臃肿”以及不必要的防御性检查，从而使状态管理变得复杂。作者认为，由于人工智能在全局视角上可能持续存在局限性，我们需要重新设计编程语言，以便通过局部推理来强制执行全局属性。 作者以 Rust 语言的所有权机制及 `Send` 和 `Sync` 特性为例，说明了这种方法的成功之处。这些特性使开发人员（以及潜在的人工智能）只需检查局部约束，即可保证复杂的全局属性，例如无数据竞争。通过将这些保证嵌入类型系统中，该语言无需程序员（或人工智能）手动追踪每一种可能的程序状态，就能预防整类错误。 展望未来，作者建议未来的编程语言应专注于类似的设计，以便在性能、资源管理和状态隔离方面提供更稳健的保证。如果这一语言设计的发展方向取得成功，将能通过将全局推理的重担从程序员转移到编译器身上，使人类和人工智能都能编写出更可靠的软件。
抱歉。
📊 统计数据 为您的整个收藏提供进化图表，并按蚁群和物种进行细分。 📅 日历 为每个蚁群自动提供喂食和清理提醒。 🌍 多语言 支持西班牙语、英语、法语、德语和意大利语。 无需注册 无需账号即可试用应用。创建一个账号即可永久保存您的数据。
一位 13 岁的开发者近期分享了他构建的网页应用“Formicarium”。该应用旨在追踪蚁群的生长、喂食和湿度等指标。其家长将项目发布在 Hacker News 上后，凭借其出色的完成度获得了积极评价。这位小开发者在开发过程中使用了 AI 工具，并由家长协助完成了服务器部署。
Hacker News 社区对此反响热烈，充满了好奇与赞赏。讨论集中在应用手动输入数据的实用性上（特别是如何追踪数以千计的蚂蚁），以及项目名称的词源——该名称源自黑花园蚁（*Lasius niger*）和甲酸（formic acid）。其他用户则称赞了其简洁的界面，并指出其外观与 Claude Code 等现代 AI 编程代理生成的风格相似。总体而言，社区对这位年轻开发者的行动给予了高度支持。