本报告总结了 **OpenSCAD** 与 **CadQuery** 的对照测试，旨在确定哪种工具更适合自主式人工智能 CAD 生成。六个智能体被要求设计三个可打印部件——支架、卡扣式外壳和螺旋螺纹，并由独立的网格解析器而非工具自带反馈来验证成功与否。
**主要发现：**
* **性能：** 两种工具均能产生高质量的可打印部件，迭代次数相同。
* **故障模式：** OpenSCAD 倾向于静默失败（产生外观正常但损坏的几何体），而 CadQuery 则会通过报错显性失败，这对无人值守的自动化任务更为安全。
* **验证：** 可视化预览在捕捉严重缺陷方面效果有限。成功与否依赖于数值断言（如体积、干涉、壁厚）。
* **可查询性：** CadQuery 的 B-rep 内核允许 AI 直接查询几何结构，而 OpenSCAD 的“三角网格”迫使智能体必须编写自定义代码才能测量其工作成果。
**结论：**
尽管 CadQuery 在验证方面更胜一筹，但 ModelRift 将保留 OpenSCAD，因其具备速度快、沙盒化及格式简单等优势。未来的开发重点将集中在实现数值验证和基于边缘的渲染，以弥补 OpenSCAD 缺乏原生几何查询功能的不足。
每日HackerNews RSS
这篇 Hacker News 讨论评估了一篇对比 CadQuery 与 OpenSCAD 在 AI 驱动 CAD 生成方面差异的博文。社区共识对该文评价极低，认为其缺乏深度且忽视了基本的 CAD 原则，属于“AI 垃圾内容”。
**讨论要点：**
* **OpenSCAD 与 CadQuery：** 批评者认为将两者进行对比具有误导性。OpenSCAD 是一种基于 CSG 的声明式工具，易于嵌入，但缺乏可扩展性和真正的工程约束；CadQuery 使用 bRep 内核（NURBS），在功能性、专业级机械设计方面具有数学上的优势。
* **“AI-CAD”的问题：** 经验丰富的用户警告称，从文本生成 CAD 的模型往往会产生脆弱且“幻觉”严重的几何结构。他们指出，成功的 CAD 设计需要领域知识（如理解公差、拔模角度和参数化约束），而 AI 目前难以复刻这些能力。
* **实用性：** 虽然一些业余爱好者认为 AI 在简单的修补（如打印家用物品的替换零件）方面很有用，但工程师们强调，功能性零件需要 100% 的精确度，若没有人工监督和专业的约束化工作流程，通用型 AI 目前无法保证这一点。
参与者普遍认为该领域发展迅速，但提醒人们不要将 AI 视为学习基础工程原理的捷径。
为了避免在 iOS、Android 和 Web 上重复编写相同功能所带来的错误和维护开销，作者正将应用程序逻辑整合到一个共享的 **Rust 核心**中。
该策略不再将各个平台视为独立的实现，而是利用 Rust 处理“业务逻辑”（如账户状态、游戏引擎和网络协调），仅让原生外壳（Swift、Kotlin 和 JavaScript）处理 UI 渲染和操作系统集成等设备特有的事务。
**主要优势包括：**
* **一致性：** 逻辑（例如用户名验证、存档处理和会话管理）只需编写和测试一次，消除了各平台之间行为的差异。
* **解耦架构：** 通过使用序列化 JSON 和 ABI 绑定，Rust 运行时与宿主的 UI 框架保持解耦。
* **简化工具链：** 通过将资产验证、变形几何处理和多人游戏状态协调等复杂任务卸载到共享的 Crate 中，团队无需发布三个单独的平台版本即可更新游戏内容或规则。
最终目标是将原生代码减少到集成所需的最低限度，将多元化的客户端生态系统转化为围绕单一稳健基础构建的精简且可靠的外壳。
这篇 Hacker News 帖子讨论了 **Cubacadabra** 的技术实现，该项目使用了 Luau 语言。
讨论始于一位用户对该项目使用 `-- @import` 语法进行跨文件类型检查，而非使用标准 Luau `require()` 调用的质疑。项目创建者 Andrew 承认了这一批评，并坦言这种自定义语法是一个设计失误。因此，团队更新了工具链以支持标准的 `require("./file")` 导入，同时对 SDK 模块使用了别名（例如 `@cubacadabra/shared-state`）。
除了技术问题外，讨论还转向了其他方面的评价。用户抱怨其落地页缺乏清晰的项目描述，导致访客必须深入挖掘链接才能了解产品内容。另一些用户则嘲笑了其 UI 设计，特别是那个“抖动”的标题图片，部分用户将其归因于“氛围编程”（vibe coding）——这是一个贬义词，用来形容目前利用人工智能生成软件的趋势。批评者认为，这种方式往往导致软件体验糟糕、粗糙或不符合常规。
作者向 Anthropic 公司首席执行官达里奥·阿莫代（Dario Amodei）发起挑战，要求他超越近期提出的“嵌入式评估员”方案，转而倡导一项真正能减缓人工智能发展的政策：**强制要求所有公开发布的人工智能模型必须采用开放权重。**
作者认为，当前的监管提案（如算力阈值和行业协调）容易受到“监管俘获”的影响。这些规则通过制造小型竞争对手难以负担的复杂合规负担，有效地保护了成熟企业，最终不仅没能减缓发展，反而巩固了现有巨头的市场垄断地位。
相比之下，要求任何面向公众的模型必须以开放权重的形式发布，将从根本上改变该行业的经济模式。通过削弱这些模型的专有价值，可以减少驱动快速、失控训练运行的大规模资本投入。作者呼吁阿莫代秉持其一贯的原则与使命感，并指出作为一家公益公司，Anthropic 具有独特的地位来引领这一牺牲。通过呼吁开放权重，阿莫代可以证明其将安全置于利润之上的承诺，并迫使整个行业实现无法被操纵或规避的减速。
Hacker News 最近的一篇帖文《致 Dario 的一封公开信：如果你是认真的，就公开模型权重》引发了关于人工智能安全与监管的两极化讨论。作者认为，由于前沿人工智能的发展依赖于巨额资本，而资本又依赖于专有模型，因此如果美国法律强制要求所有公开的人工智能模型必须“开放权重”，这将导致估值缩水、训练资金减少，从而有效地减缓人工智能的进步。
讨论区中的批评者称该提案逻辑不通且不切实际，认为它忽视了全球竞争，因为非美国实验室将继续推进自己的专有模型，同时还能从泄露的权重中获益。另一些人则认为，此举只会将人工智能开发推向“黑暗”或仅限企业的孤岛，进一步集中权力。
许多评论者将该提案视为一种“减速主义”策略或监管俘获的形式。怀疑论者指出，人工智能实验室的动力源于利润和权力，它们不太可能同意这种被批评者称为“经济自杀”的行为。总而言之，这场讨论反映出人们对人工智能公司首席执行官动机的深切怀疑，以及关于透明度与保密性孰优孰劣以实现人工智能安全问题的广泛分歧。
经过两年多的开发，Rust 贡献者“waffle”成功稳定了“never”类型（`!`）。该类型表示永远不会返回结果的计算，例如无限循环或会导致程序退出的函数。 此次稳定化带来了两大主要优势： 1. **效率：** 它允许编译器通过消除不可达的分支，来优化泛型代码（例如无失败转换）。 2. **类型推断：** 它通过为不返回的表达式提供统一类型，简化了语言本身，使其能够自动强制转换为任何其他类型。 这一过程涉及处理复杂的“never fallback”问题，需要对类型推断进行细微的向后不兼容更改。通过利用“crater”工具对整个 Rust 生态系统进行测试，维护者识别并解决了数千个 crate 中潜在的破坏性问题。尽管一些旧代码可能需要显式类型标注才能编译，但这一更改实现了该语言长期以来的目标。从 Rust 1.99 版本开始，`Infallible` 类型将成为 `!` 的别名，从而完成过渡，使语言的类型系统更加一致且高效。
彭博 (Bloomberg) 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 为继续操作，请勾选下方方框以验证您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器已启用 JavaScript 和 Cookie，且未阻止其加载。 欲了解更多信息，您可以查阅我们的服务条款和 Cookie 政策。 需要帮助？ 有关此消息的咨询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID：02caf6a2-aedd-11f1-970c-9ab8954f30bd 订阅 Bloomberg.com，随时随地获取最重要的全球市场资讯。 立即订阅
抱歉。
请启用 JavaScript 和 Cookie 以继续。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录我最喜欢的几本科幻书：关于我们如何构建社会并不断为之辩护 (bookdna.com)9 分，由 bwb 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 3 条评论帮助
piloto_ciego 20 小时前 | 下一条 [–]
我想生活在《文明》（The Culture）中，如果能有机会搬到阿纳瑞斯（Anarres）并将乌拉斯（Uras）抛在身后，我也知足了。回复readthenotes1 1 天前 | 上一条 [–]
一则广告回复bwb 22 小时前 | 父评论 [–]
不，这绝不是广告。这个网站是围绕着对书籍的共同热爱和发现新书而建立的。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
这项研究发现，Android 12 及更高版本的设备存在一个安全漏洞，导致第三方应用程序可以绕过“始终开启的 VPN”和“阻止未连接 VPN 的网络连接”设置。 该缺陷存在于 Android 框架的 `startNattKeepaliveWithFd` API 中。尽管该 API 原本旨在供特权系统使用，但它同时也通过 `UdpEncapsulationSocket` 为普通应用程序提供了公共访问路径。由于框架在将流量卸载到硬件（Wi-Fi 固件）之前，未能验证调用者的资源所有权或执行 VPN 锁定策略，普通应用程序因此可以绕过 VPN 隧道。这使得应用能够直接通过物理网络发送周期性的、固定格式的 UDP/4500 数据包，从而向攻击者控制的端点泄露设备的真实 IP 地址和网络活动。 在 Pixel、三星和 Nothing 设备上进行的对照实验证实了这一行为。由于存在缺陷的框架路径在主流 WLAN 芯片组中是通用的，因此该漏洞影响大多数 Android 12 及以上版本的设备。作者建议弃用这些 IPsec/NAT-T 框架 API 的公共访问权限，并实施严格的准入控制，在允许任何硬件卸载通信之前验证资源所有权并核实 VPN 策略的合规性。在漏洞修复之前，需要高安全流量限制的用户应使用具备 VPN 强制功能的外部路由器。
一份最新报告指出，Android 系统存在一个安全漏洞，其“NAT-T keepalive”功能可能会绕过 VPN 限制。在搭载 Linux 内核 5.7 或更高版本的设备上，普通应用程序可以使用 `setsockopt(SO_BINDTODEVICE)` 强制流量通过特定接口，从而导致数据在 VPN 通道之外泄露。
Hacker News 上的讨论显示，社区对谷歌的应对态度感到强烈不满。尽管研究人员指出了该问题，但据报道，如果 VPN 泄露问题不在谷歌漏洞奖励计划的范围内，谷歌往往不会将其归类为“安全漏洞”，并经常直接关闭报告而不采取立即行动。批评者认为，这使用户处于危险之中，因为谷歌通常只优先处理最新 Android 版本的重大安全补丁。
相比之下，GrapheneOS 团队确认他们已获悉该问题，并正积极对 Android 的 VPN 实现进行系统性重构，以防止此类泄露。对于谷歌的不作为究竟是受限于官僚程序还是故意忽视隐私，社区仍存在分歧。许多用户强调，仅依赖操作系统内置的安全措施依然存在风险。
无稳态性能时代的实验评估方法 [pdf] Experimental Evaluation Methodology for the Era of No Steady Performance [pdf]
38 天前
这是一份 PDF 二进制文件的数据流，由于其中包含的是压缩后的乱码字符，无法直接翻译为可读的中文内容。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
无稳态时代的实验评估方法 [pdf] (cuni.cz)
6 分，luu 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
tdullien 1 天前 [–]
天哪。一想到“无稳态”对于基准测试和性能优化的统计学意味着什么，我就头疼。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
为了调查为何某个项目的 Rust 构建速度远快于其原有的 Zig 构建版本，软件工程师兼 Perfetto 贡献者 Julian Squires 开发了 **buildprof**。这是一个开源工具，通过可视化进程树来识别构建过程中的瓶颈。
通过对 Bun 构建历史的分析，Squires 发现 Zig 版本速度缓慢主要源于两个因素：
1. **LTO 配置不当**：该项目对自身代码和下载的 WebKit 依赖项均使用了“全量 LTO (Full LTO)”，迫使链接器执行大规模的串行优化过程。改用“ThinLTO”并重新编译依赖项后，显著节省了时间。
2. **结构差异**：Zig 构建过程将所有内容集中在一个单一的整体模块中，而 Rust 构建则拆分为 90 多个 crate，从而实现了更好的并行化。
**buildprof** 利用 `ptrace` 记录任意构建系统（无论是 `make`、`cargo` 还是自定义脚本）的进程层级。通过将这些进程叠加在时间轴上并追踪文件系统输入，它能够让隐藏的构建问题（如过度的链接操作或意外的后台脚本）变得一目了然。该工具使用了定制化的 Perfetto UI，为实际的构建耗时情况提供了高保真、可交互的视图。
开发者 Lalit Maganti 创建了一个构建可视化工具，用于分析 Bun 的编译时间，旨在了解其 Zig 和 Rust 组件之间的性能差异。
该项目在一项深入分析中记录并揭示，尽管模块化代码（如 Rust 所做的那样）常被建议用于提升性能，但由于 Zig 对单体编译单元的架构要求，在不牺牲语言特性的前提下实现这一点比较困难。讨论中指出，Zig 目前缺乏增量编译功能，不过预计会在未来版本中加入。
Maganti 的研究结果显示，与 Rust 相比，Zig 在调试和增量构建中的表现出人意料地好，尽管由于确定性构建的要求，大规模并行化仍然是一个障碍。Hacker News 社区对此反应非常积极，开发者们称赞该工具能够为标准日志所遗漏的复杂构建瓶颈提供可操作的见解。Maganti 计划继续完善该工具，包括增加对构建跟踪差异分析的支持，并可能探索 macOS 兼容性，尽管这面临系统级监控方面的挑战。
Trail of Bits 如何验证 Signal 聊天记录的完整性 How Trail of Bits helps verify the integrity of Signal chats
38 天前
Signal 引入了“自动密钥验证”（Automatic Key Verification）功能。这是一项“密钥透明度”特性，通过确保公钥的全球一致性，防止服务器通过伪造公钥拦截加密消息。此前，用户必须手动验证安全码；现在，应用程序会自动检查收到的密钥是否与全球一致的记录相符。 该系统依赖于 Signal、Cloudflare 和 Trail of Bits 三家独立的审计机构，以确保公钥映射诚实、一致且未被篡改。Trail of Bits 运行着一个开源审计程序，利用默克尔树（Merkle tree）持续监控这些记录。 当用户开启该功能后，其 Signal 客户端会获取并验证来自这些审计机构的签名。如果服务器试图提供不一致的信息，签名验证将失败，应用程序会向用户发出警报。如果系统无法确认密钥，用户应恢复使用手动安全码验证。 Trail of Bits 自愿提供此项服务且不收取任何报酬，旨在加强端到端加密的安全性。用户可以在 Signal 应用的“设置 > 隐私 > 高级”中启用此功能。
对不起。