每日HackerNews RSS

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本站所需的某个组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器,或尝试使用其他浏览器。

在 Erlang/Elixir 中,集群通常采用全网状拓扑,但也可以配置为稀疏连接。这就带来了一个挑战:当连接不均匀时,单个节点如何映射集群的拓扑结构? 作者探索了“蠕虫式(worming)”遍历集群的方法——利用自传播代码执行洪泛填充遍历。由于集群节点不会自动共享代码,该解决方案涉及: 1. **代码注入**:使用 `Kernel.ParallelCompiler` 和 `:code.load_binary` 创建一个 `Probe` 模块,可以在运行时将其分发并加载到远程节点上。 2. **拓扑映射**:实现一个探测器,查询节点的邻居,然后递归地在这些邻居上触发自身,从而构建集群边缘的完整映射。 3. **本地测试**:利用 `:peer` 模块模拟自定义网状集群,并验证遍历机制。 作者指出,虽然这种方法能够实现强大的内省功能,但必须处理“组长(group leader)”问题,以防止节点之间产生意外的副作用连接。归根结底,这项实验是对 BEAM 运行时内省的一次深入探索,其灵感源于 Joe Armstrong 对分布式系统优雅的处理方式。

抱歉。

OpenAI 更新了其服务条款,针对“许可材料”(指部署在客户本地机器或私有云上的软件、代码或容器)加入了具体规定。 其中最关键的一项是强制删除条款:合同终止后,客户必须永久销毁该软件的所有副本。虽然此类表述通常出现在产品正式发布之前,但这释放了一个重要信号,表明了 OpenAI 在本地推理方面的战略方向。 对于考虑将 OpenAI 本地部署模型整合进安全敏感型工作流的企业和工作室而言,这一要求是规划时必须考虑的重点,而非微不足道的细节。随着合同到期后必须清除所有许可资产成为不可协商的服务条款,各机构在构建技术流程时,必须将这一“退出成本”纳入考量。

抱歉。

人工智能生成内容在职场中的兴起引发了一个新的礼仪困境:何时与同事分享机器人撰写的文本才是恰当的?尽管人工智能工具很有价值,但直接转发未经编辑的内容可能会导致“AI疲劳”,并被视为对同事时间的不尊重。 核心问题在于投入。当同事在转发人工智能内容时,如果声明他们自己没有进行审阅,这便隐含着一种暗示:接收方的时间不如发送方的时间有价值。 为了在技术密集的办公环境中保持职业礼仪并维护人际联系,请遵循一个简单的原则:**如果你需要他人的关注,请先展示你的人工努力。** 分享人工智能生成的工作成果时,请务必做到: * **清晰地标注**内容由人工智能生成。 * **添加个人见解**,以提供背景和价值。 * **在发送前审阅并核实**所有内容。 通过采取这些步骤,你能够顾及团队有限的精力,并确保人类的判断始终处于协作过程的核心地位。

这篇 Hacker News 的讨论凸显了软件团队中日益紧张的关系:充斥着未经审核、由 AI 生成的合并请求(PR)与沟通内容。 核心抱怨在于,虽然 AI 让生成内容变得轻而易举,但审查这些内容的成本却很高。当团队成员将冗长且未经核实的 AI 内容抛给他人时,会造成一种“残酷的不对称”——审查者花费在纠正和理解工作上的时间,远超作者生成这些内容所花费的时间。 参与者认为这种行为是“反社交”的,因为它将质量控制的负担转嫁给了同事。讨论的主要议题包括: * **责任制:** 如果你使用 AI,就必须对结果承担全部责任。提交自己无法解释的代码是失职。 * **验证负担:** 许多人建议通过“把关”来拒绝任何作者显然未亲自审查过的 PR。 * **“Token 对峙”:** 有人建议通过将 AI 的回复再输入给自己的 AI 来节省审查时间,进行反击;但也有人警告称,这会造成一种损害团队凝聚力的“相互保证干扰”。 归根结底,共识在于:价值存在于**人类的监管之中**。使用 AI 是可以的,但前提是它必须服务于团队,而不是浪费大家的时间。

**TunnelMind** 为日益自动化的“代理互联网”(agentic internet)提供了一个关键的信任认证层,在这种网络环境中,大部分流量是由机器生成而非人工输入的。通过利用由 Ed25519 签名的分布式传感器集群,TunnelMind 确保了网络观测结果的可验证性和防篡改性。 该平台通过四个核心维度处理数据: * **Scry(预见):** 追踪敌对网络参与者及其威胁行为。 * **Sigil(印记):** 监控程序化广告供应链中的信任度。 * **Tracker(追踪):** 映射需求侧监控与 SDK 指纹识别。 * **GhostRoute(幽灵路由):** 验证路由完整性与管辖权主权。 TunnelMind 的核心优势在于能够将这些信号综合为统一的“跨维度”结论,提供孤立的安全工具无法实现的数据洞察。TunnelMind 专为人工智能自主化的未来而构建,通过模型上下文协议(MCP)服务器提供情报,使自主代理能够安全地整合这些信任信号。它专为透明度和机器可读性而设计,为验证日益非人工化网络的真实性与安全性提供了强大的基础设施。

在伦敦一家住房福利办公室进行研究时,作者观察到一名处于困境中的女性,正在使用一台过时的 PlayStation Portable (PSP) 访问 GOV.UK 网站。尽管 PSP 的浏览器“非常糟糕”,但该网站简洁、轻量的 HTML 设计,让她在别无选择的情况下依然能够获取重要信息。 这个故事为网页开发者提供了一个至关重要的启示:无障碍设计不仅仅是关于现代设备,更是为了确保服务能够在用户所拥有的任何硬件上运行,尤其是在他们处于紧急状况时。无论是游戏机、智能电视还是老旧的智能手机,网站都应具备包容性,并在恶劣条件下保持功能完好。 作者主张,开发者应优先考虑纯 HTML,避免不必要的复杂性或对大型 JavaScript 的依赖。通过在低端设备和真实的受限环境下进行测试,开发者能够确保重要的公共服务对每个人都是可访问的。归根结底,目标不是创造华丽的网页体验,而是打造能够切实起作用的工具——即使在用户选择极其有限的情况下。正如那位女性所说,这可能“很烂”,但它确实能用,而这才是最重要的。

**Muon** 优化器正日益被用于最先进的语言模型中,但其核心的 **Newton-Schulz** 例程(高质量权重正交化所必需)带来了显著的计算开销。该例程依赖于昂贵的 $O(mn^2)$ 矩阵运算,成为了一个瓶颈,其耗时可占端到端训练时间的 17%。 为解决这一问题,作者引入了 **Gram Newton-Schulz**。该方法从根本上重构了例程,使其能够在较小的、对称的 Gram 矩阵($\mathbf{XX^\top}$)上运行,而非大型矩形权重矩阵($\mathbf{X}$)。这种转换减少了浮点运算量(FLOPs),并支持使用专门的对称矩阵乘法算子。 **核心贡献:** * **算法优化:** 一种数学上等效且更高效的 Newton-Schulz 形式,大幅降低了对矩形矩阵乘法的依赖。 * **稳定性策略:** 一种“重启”技术,用于缓解半精度算术中因伪特征值导致的数值不稳定问题。 * **自定义算子:** 针对 Hopper 和 Blackwell 架构的高性能对称矩阵乘法(GEMM)算子。 * **性能表现:** GramMuon 实现了“免费的午餐”,在保持训练质量(困惑度误差在 0.01 以内)的同时,将 Kimi K2 等超大规模模型的正交化步骤运行时间缩短了 40–50%。 该实现已开源,可作为标准 Muon 的直接替代方案。

抱歉。

**boo** 是一款基于 `libghostty` 构建、使用 Zig 语言编写的现代终端复用器。与传统复用器不同,它利用 Ghostty 的终端仿真核心,能够精准记录并恢复每个会话的状态,包括光标位置、SGR 样式以及回滚缓冲区。 **主要特性:** * **持久性:** 会话在断开连接后依然存在,并可通过全屏界面 (`boo ui`) 进行管理。 * **支持自动化:** 专为脚本和 AI 代理设计,`boo` 提供了无头(headless)原语,无需活动 TTY 即可发送输入、等待特定输出以及查看渲染后的屏幕。 * **精确性:** 通过 `libghostty-vt` 解析输出,`boo` 确保即使在分离状态下,终端查询(如屏幕尺寸或窗口标题)也能得到准确响应。 * **开发者友好:** 为自动化提供机器可读的 `--json` 输出,并采用标准的 GNU screen 风格快捷键(前缀 `Ctrl-a`)。 尽管目前该项目尚处于早期阶段(每个会话仅支持一个客户端和单窗口),但它为传统工具提供了一种稳定且可编程的替代方案。它支持 Linux 和 macOS,可通过提供的脚本或 Nix 轻松安装。`boo` 将终端转变为一个可靠、可观测的沙箱,适用于复杂的工作流和程序化交互。

陌生人共同出资完成一项雄心勃勃的指令——AI代理人按里程碑逐步执行,每笔款项均记录在公共账本上。资金目标由AI规划器设定(项目总额至少100美元);支持者可捐赠0.25美元及以上的任意金额。

**FablePool** 是一个允许用户众筹 AI 驱动软件开发的新平台。用户创建项目需求并汇集资金(通常称为“代币”)来资助 AI 进行开发,随后开发过程和文档会在公开平台上展示。 该项目在 Hacker News 上引发了激烈的讨论,观点涵盖了怀疑、兴奋和批评: * **工程化 vs. “感觉编码”(Vibe Coding):** 批评者认为项目提案(例如以 500 美元“构建一个开源 AWS”)是不切实际的,称其为“工程表演”。而支持者则看到了众筹当前 SaaS 模式所忽视的特定功能或工具的潜力。 * **法律与版权障碍:** 大部分讨论集中在 AI 生成代码模糊的法律地位上。用户争论如果这些项目无法获得版权,或者侵犯了现有资产,它们是否能真正被称为“开源”。 * **软件的未来:** 一些评论者将 FablePool 视为开源开发新模式的先驱;另一些人则担心这标志着向商品化、低质量“垃圾内容”的转变,从而削弱了传统的软件工程。 归根结底,目前的共识是:尽管该平台目前仍是一个实验性的“玩具”,但它突显了人们对利用自主 AI 代理进行协作式众包软件项目日益增长的兴趣。

更多

联系我们 contact @ memedata.com