美国联邦贸易委员会正在调查 OpenAI、Anthropic 等人工智能公司，研究其产品可能带来的风险，其中包括有关 OpenAI 的智能体突破测试环境并访问 Hugging Face 平台的说法。 此次调查是在人工智能安全做法受到更广泛审查的背景下进行的。Anthropic 首席执行官达里奥·阿莫代伊呼吁放缓先进模型的开发，并加强政府监管；其他行业领袖则主张，各家公司应自行承担产品安全责任。 美国总统唐纳德·特朗普近日与多家大型科技公司的高管会面，讨论人工智能风险。该群体签署了一份自愿且不具约束力的协议，规定每家公司都有责任安全地开发技术，并维护公众信任。 美国联邦贸易委员会拒绝透露接受调查的其他公司名单。OpenAI 和 Anthropic 均未立即回应 CNBC 的置评请求。
每日HackerNews RSS
Hacker News 上的一场讨论聚焦于美国联邦贸易委员会（FTC）调查 OpenAI、Anthropic 等人工智能公司的潜在产品风险。评论者大多怀疑这些调查能否带来实质性的执法，认为调查可能会被削弱、推迟到中期选举之后，或通过游说和行政压力从政治层面解决。
有人推测，这些调查可能被用作对付人工智能公司的筹码，或影响 Anthropic 的上市及领导层。另一些人则认为，大额补贴、低于成本的定价、循环融资和就业岗位流失，使老牌人工智能企业获得了不公平的竞争优势，不过评论者也质疑了这些说法背后的证据。
美光科技首席执行官桑杰·梅赫罗特拉警告称，受人工智能需求激增的推动，2027和2028财年的存储器与存储供应紧张程度将显著高于2026财年。尽管美光计划扩大DRAM产能，但公司认为供应何时能够追上需求仍没有明确时间表。其位于爱达荷州的ID2晶圆厂预计要到2028年末才会开始生产晶圆，而美光2027财年超过75%的产量已经向客户承诺。
美光2026财年第四季度营收创下542亿美元的历史纪录。上季度，消费级DRAM价格上涨约17%，NAND价格上涨约30%。公司此前预计供应将在2028年逐步改善，但现在认为短缺状况将持续更长时间。这些预测仍可能随市场状况的变化而调整。
Hacker News 的讨论聚焦于美光科技 CEO 的警告：2027 至 2028 年的内存供应将比 2026 年紧张得多。许多评论者不信任这一预测，认为美光会从营造紧迫感中获益，可能是在促使客户，尤其是人工智能公司，更早购买。“卖铲子的人预期冬天会出现短缺”这一比喻形象地表达了这种质疑。
即使短缺确实存在，评论者也预计 RAM 会涨价、硬件性价比下降、细分产品减少，消费者升级设备的节奏会放缓，而不是彻底买不到产品。现有设备仍可继续使用；高效软件、8GB 内存设备和 Linux 的吸引力可能提升。一些人预测，厂商会引导消费者转向云计算和低功耗终端。
另一些人认为，中国的长鑫存储（CXMT）可能成为未来的竞争者，扩大供应并对现有 DRAM 厂商形成压力，但它能否满足全球需求仍不确定。总体而言，讨论者对美光的动机持怀疑态度，但普遍预计供应会收紧，价格会大幅上涨。
2026年7月29日至9月28日，Rust 编译器的性能有了显著提升：平均墙钟时间下降了4.57%，629项基准测试中有555项得到改善，部分测试的性能更是提升了两位数。 主要改进包括 rustdoc 优化、Clippy 的配置文件引导优化（PGO，速度最高提升18%），以及升级到 LLVM 23（平均耗时减少1.2%）。尽管 Nightly 新引入的 Polonius Alpha 借用检查器和 trait 求解器导致部分测试变慢，其中 `serde` 尤为明显，但后续优化已使 `serde` 的指令数减少了3%至5%，并显著改善了某些 trait 求解器表现异常的测试。 其他值得注意的性能提升还来自特化图和增量加载优化、分配次数减少，以及一种新的数据流遍历算法。该算法将一个包含18,000个基本块的函数所需的借用检查工作量削减了约94%，使检查速度提高了约30%。增大编译器栈大小以及一些细微的 AST/HIR 清理也带来了帮助。 即使是性能改进相关的 PR，其新增速度也开始超过 CI 逐个合并它们的速度，因此出现了汇总 PR。作者还宣布，接下来将负责 Rust 编译器性能优化工作。
The Hacker News 上的讨论涉及文章《如何在 2026 年 9 月加速 Rust 编译器》。 commenters 询问 Rust 编译为何较慢，尤其是与 C 语言相比时；同时也询问哪些性能瓶颈占主导地位。但摘录中没有提供明确的比较。
其中最有实质内容的评论赞扬了一项优化：通过改变编译器遍历控制流图的方式，将 `apply_effects_in_block` 的调用次数从约 150 万次降至 9 万次。这表明，替换低效算法或消除不必要的工作，效果可能胜针对少量热点循环进行微调。另一位评论者对按需 Polonius 和 trait solver 分析表示欢迎，并指出，在两个月的 629 个基准测试中，平均编译时间缩短了 4.57%。
总体而言，讨论表明，增量编译仍能带来较容易获得的性能提升，但未来的改进可能需要更加根本的算法变化。
谷歌违背了为 Chromebook 提供 10 年更新的承诺 Google breaks promise to provide 10 years of updates to Chromebooks
16 小时前
Google 最近推出了 Googlebooks，引发了对 ChromeOS 和 Chromebook 未来发展的担忧。由于 Googlebook OS 缺少学校及其他组织所需的管理功能，Chromebook 将暂时继续销售。Google 表示，ChromeOS 设备将持续获得更新和安全补丁，支持至 2034 年年中，一些较新的型号最终可能升级至 Googlebook OS。 然而，这一消息受到了批评，被认为违反了 Google 此前作出的承诺，即为每款 Chromebook 提供 10 年更新。批评者还称，迁移保证含糊不清，并鉴于 Google 过去曾终止硬件项目，质疑 Googlebooks 是否会获得长期支持。文章认为，更严格的消费者保护法律可以防止公司在几乎不承担后果的情况下撤销此类承诺。
Google 现在表示，ChromeOS 设备的更新和安全补丁将只提供到 2034 年年中，尽管此前曾承诺提供 10 年的支持。对于近期购买且符合条件、原承诺支持周期更长的设备，Google 提供了一条未来迁移到“Googlebook OS”的路径，但该系统以及直接迁移的方式目前都还不存在。
HN 评论者对这一做法是否违背承诺存在争议。一些人认为 Google 只是从现在起改变了此前的承诺；另一些人则表示，客户近期是基于 10 年支持承诺购买设备的，因此受到了误导。学校长期使用 Chromebook 的合同以及学生隐私问题尤其受到批评。还有人建议采取法律行动，尤其是在欧盟，并将 Google 的做法与 Apple 放弃支持 Intel Mac 进行比较。一些设备用户建议用 Linux 替换 ChromeOS，并表示 mrchromebox 工具运行良好。总体而言，评论者对 Google 普遍非常不信任，不过有一名评论者认为，支持期限从 10 年缩短到大约 8 年只是相对较小的调整。
SAT 对凸多面体碰撞检测具有稳健性，能够直接处理重叠情况，并且无需从 GJK 回退到 EPA 即可生成接触流形。不过，边对测试可能使 SAT 的计算复杂度达到 \(O(N^3)\)。
Box3D 利用内接球加速 SAT。对于每个面法线 \(n\)，投影分离量的上界为 \(n \cdot d-r\)，其中 \(d\) 是两中心之间的向量，\(r\) 是两个内接球半径之和。如果某个面的上界无法优于当前最佳结果，就跳过该面。
类似的边界计算可以在进行开销较大的边对测试之前，剔除整条边。每条边对应高斯映射上两个相邻面法线之间的一段圆弧。利用投影后的中心向量，可以计算该圆弧上的最大可能分离量；如果该值无法超过当前最佳面分离量，就丢弃这条边。
这种剔除方式是精确的，能够全局搜索 SAT 轴，并且不需要计算逃逸距离。在具有 32 个顶点的凸包上，它剔除了 86% 的面测试和 98% 的边对测试，使 Convex Pile 的性能大约提升一倍。细长形状的收益较小，因为其内接球较小；深度重叠的形状则难以得到有效剔除。总体而言，优化后的 SAT 在复杂凸包上已能够与 GJK 竞争，但细长形状仍然具有挑战性。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
使用内接球加速分离轴测试
（box2d.org）
9 分
作者：panic
16 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系
搜索：
度假归来？政府无需搜查令即可搜查你的手机 Returning from vacation? The government can search your phone without a warrant
17 小时前
人类验证：为了继续操作，您需要通过解决验证码来确认您不是机器人。该验证码需要 JavaScript。请启用 JavaScript，然后重新加载页面。
一场 Hacker News 上的讨论聚焦于有关报道：美国海关与边境保护局可能在没有搜查令的情况下检查入境旅客的手机。据悉，2025 财年，该局在处理的 4.19 亿名旅客中，共检查了 55,318 部设备；而在 2022 年，这一数字为 45,499 部。
评论者围绕这究竟是许多国家长期沿用的边境权力，还是本届美国政府扩大相关权力展开争论。最强烈的批评集中在隐私、信息不透明、问责缺失，以及可能违反美国宪法等问题。另一些人则认为，此类检查仍不常见，而且法律上有关边境搜查的例外条款比部分评论者所称的更窄。
讨论中也有人提出了一些技术上的规避方法，包括使用加密设备、隐藏配置文件、可移除存储介质和备用手机等，但这些方法被认为不可靠、不安全、具有破坏性，或可能带来法律风险。总体而言，这场讨论表达了这样的担忧：范围过广且几乎不受问责的边境搜查权，可能使严重监控行为逐渐常态化，同时不给旅客提供切实可行的方式来保护敏感数据。
```text ~/nanopingbash$ curl -sS https://get.nanoping.com/latest | sh 正在安装 np (NanoPing) 的最新版本… ✓ 下载完成 ✓ 已将 np 安装到 /usr/local/bin/np ✓ 配置默认存储在 /home/user/nanoping（可使用 --app-data 覆盖） 请访问 https://docs.nanoping.com 查看文档。 现在运行 "sudo np up"，以守护进程方式启动 NanoPing。 $ sudo np up 需要激活此设备。请访问以下链接并登录： https://user.nanoping.com/auth/claim?id=… 已启动。仪表板正在以下地址提供服务： http://127.0.0.1:8081 ↵ 打开仪表板 ```
该项目测试了一种实时流传输方案，同时通过三个 Wi‑Fi 接入点传输，并将延迟控制在 100 毫秒以内。其目标是减少漫游期间的中断：在信号覆盖良好的情况下，设备在接入点之间切换仍可能使流短暂中断。通过聚合多条并不完美的连接，叠加传输层能够在某条链路失效或变得不稳定时维持传输连续性。开发人员仍在分析测试结果，但这一思路将 Wi‑Fi 可靠性从“完善单一连接”转变为“利用多条并发链路提供冗余”。
OpenAI 与 Synopsys 宣布建立多年战略合作伙伴关系，共同开发 GPT-Synopsys。这是一款专用 AI 模型，旨在操作 Synopsys 的电子设计自动化（EDA）工具，并自动执行复杂的半导体设计与验证流程。
该模型将结合 OpenAI 的前沿模型与 Synopsys 的 EDA 技术及工程专业能力。工程师可以将功耗、性能和面积优化、时序分析以及验证收敛等任务委托给 AI 智能体。这些智能体能够运行工具、解读结果、实施修改并持续迭代，直至达到可供专家审查的目标状态。
GPT-Synopsys 将运行在 OpenAI 托管的基础设施上，与 Synopsys.ai 和 Synopsys Autopilot 平台集成，并能够与客户的智能体系统互操作。该联合方案将整合计算资源、模型访问权限和软件许可，同时提供企业级安全、治理、加密以及可配置的数据控制能力。客户数据不会被用于模型训练。
该协议包括联合研究、联合市场推广合作以及收入分成。目前，该项技术正与领先的半导体客户开展初步合作，并计划面向全球提供服务。
Hacker 新闻
最新
|
往期
|
评论
|
提问
|
分享
|
职位
|
提交
登录
GPT-新思科技：前沿智能将革新芯片设计
（
synopsys.com
）
30 分
由
giuliomagnifico 提交
1 小时前
隐藏
|
往期
|
收藏
|
3 条评论
帮助
amelius
0 分钟前
|
下一个
[–]
请给我们更多开源 EDA 工具，而不是更多大肆炒作的 EDA 供应商。
回复
joennlae
36 分钟前
|
上一条
|
下一个
[–]
“联合服务将提供打包的算力、模型和许可证，同时确保客户特定的设计数据受到保护。”
我不确定英伟达是否愿意将他们的芯片设计发送给 OpenAI。
回复
polytely
29 分钟前
|
上级
|
下一个
[–]
这就像狐狸开办养鸡场生意一样。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
该主工单用于协调 StreetComplete 的 iOS 移植，并取代此前的研究与讨论。目标是通过 Kotlin Multiplatform 和 Compose Multiplatform 尽可能复用现有代码，避免使用 Swift 或 Dart 进行完全重写。
迁移采用渐进式策略：
- 将平台特定代码与应用逻辑分离。
- 使用 Kotlin Multiplatform 库替换核心逻辑中对 Android/Java 依赖项的使用。
- 使用 ViewModel 重构数据访问和 UI 状态管理。
- 从底层开始，将 Android XML 界面迁移到 Jetpack Compose。
- 将 Jetpack Compose 界面迁移到适用于 iOS 的 Compose Multiplatform。
相关工作会在项目看板上跟踪，任务通常对社区贡献者开放；贡献者可以在评论区认领任务。大家也可以参与剩余任务、学习 Jetpack Compose 和 Compose Multiplatform、资助开发，或协助维护项目和分类处理问题。
完整移植最初预计需要约一年的工作量。在 2024 年初投入大量全职开发后，目前迁移进度约为 50%。
State of the Map Europe 2024 的相关演示幻灯片中附有演讲者备注，对这一方法作了说明。
StreetComplete 是一款易于使用的 OpenStreetMap（OSM）编辑器，目前已在 iOS 平台 launches public beta? Translate: 已在 iOS 平台启动公开测试。
It guides users through simple location-based questions—road name surface—without knowledge tagging.
Need maybe "这款应用会通过简单的位置相关问题来引导用户，例如询问道路名称或路面类型，用户无需了解 OSM 标签体系。回答会被整理成有意义的变更集，并通过用户的 OSM 账户上传。它专为现场 surveying 设计，支持离线使用，且消耗的移动流量很少。"
HN: "The Hacker News 的讨论热烈庆祝了 iOS 版的发布，并称赞 StreetComplete longstanding Android version..." "Hacker News 社区庆祝了 iOS 版的发布，也称赞 StreetComplete longstanding Android version..."
Need perhaps "长期以来的 Android 版本". Let's formulate natural.
"评论者还表示，希望了解团队使用 Kotlin Multiplatform 的经验。" Good.
Only translation.</mm:think>StreetComplete 是一款易于使用的 OpenStreetMap（OSM）编辑器，已在 iOS 平台启动公开测试。
这款应用会通过与位置相关的简单问题引导用户，例如询问道路名称或路面类型，用户无需了解 OSM 标签体系。回答会被整理成有意义的变更集，并通过用户的 OSM 账户上传。它专为现场调查设计，支持离线使用，且消耗的移动流量很少。
Hacker News 社区庆祝了 iOS 版的发布，并称赞 StreetComplete 长期以来的 Android 版本让地图编辑对新手更加友好。评论者还表示，希望了解团队使用 Kotlin Multiplatform 的经验。
本文解释了为什么浮点运算会使以分为单位的数值相加时，结果有时是精确的，有时会高出或低于精确值一个末位单位（ulp）。文章介绍了 IEEE 754 双精度、有效数、指数、ulp、舍入（包括平局取偶），以及 Python 的最短往返十进制表示。熟悉的结果 `0.1 + 0.2 == 0.30000000000000004` 之所以出现，是因为存储的 `0.1` 和 `0.2` 的值相加后得到一个精确的中点，而该中点被向上舍入。 对于大小合理且为正、低于约 70 万亿美元的美元金额，作者证明：将两个浮点数相加并进行一次舍入，其结果与精确和的正确舍入结果相比，最多相差一个 ulp。热力图将产生的这些模式归因于表示误差在水平、垂直和对角方向上的分量。这些误差会在 2 的幂处重置，并以适用的 ulp 为模重复，从而形成平滑区域、对角带，以及在平局判定规则会产生影响的棋盘格图案。 附录展示了如何使用精确有理数运算，或 TwoSum、Veltkamp 分割和 Dekker 乘法等浮点无误差变换，来测量或恢复这些误差。对于金融软件，使用整数分或十进制运算仍然是更安全的选择。
《The Hacker News》上的一篇讨论探讨了金融软件应使用十进制浮点数、定点整数，还是普通二进制浮点数。
十进制类型和缩放整数可以精确表示“分”等金额，并使舍入行为可预测、可移植且可审计。评论者指出，64 位或 128 位整数能够覆盖极其庞大的金额范围，性能也可能优于十进制运算；但货币换算可能需要使用有理数表示和扩展精度计算。
也有人提到，一些交易系统内部成功使用了双精度浮点数，仅在将价格或现金金额序列化到市场最小报价单位时进行舍入。由于计算误差通常远小于允许的最小变动单位，这种做法或许已经足够。
更广泛的结论是，仅靠数字表示方式无法解决金融计算的正确性问题。除法、重复运算、灾难性抵消以及余数分配，仍然可能造成差异。因此，舍入和分配规则应由合同或业务流程明确规定，而不应在无意中继承某种编程语言数值类型的行为。