研究人员在 `mathmain`、`mathsbase` 和 `math-universe` 等多个 npm 软件包中发现了隐藏的远程访问植入程序。这些软件包伪装成合法的 `mathjs` 库，其中包含经过混淆的休眠代码，只有在执行特定的数学运算时才会被激活。 该触发条件要求调用者向软件包的求解器函数提供特定的 3x3 帕斯卡矩阵。此操作会生成一个密钥（矩阵的 JSON 编码下三角因子），并使用 AES-GCM 算法解密隐藏的有效载荷。 解密后的有效载荷作为一个复杂的后门运行，能够捕获主机数据、生成加密密钥并执行 Shell 命令。该植入程序利用 Slack、Telegram 以及 Base Sepolia 测试网上的区块链网络等公共服务作为命令与控制通道，以接收攻击者的指令。 这些恶意代码并未出现在相关软件包的公共 GitHub 存储库中，表明它是通过 npm 发布过程注入的。虽然该攻击需要特定的触发条件（在公共代码中并未发现），但其有效载荷的复杂性以及共享的基础设施（包括一个共同的 Alchemy 项目密钥）表明，这是一次旨在对受影响系统进行未经授权远程访问的有组织行动。
每日HackerNews RSS
西雅图市议会一致通过了一项禁止租赁住房中“垃圾费用”的法规，旨在提高市场透明度和住房可负担性。该条例将于2027年7月1日起生效，要求房东提供清晰、透明的预付定价，包括每月总费用、强制性收费以及公用事业责任。 此举旨在解决常见的“隐形收费”问题，即房东往往在租客已经投入时间和金钱进行申请后才披露额外费用。为确保合规，法律授权市检察官办公室将违规者告上法庭，违规者可能需承担非法收费金额三倍的赔偿责任。 此举符合全美范围内对租赁透明度日益加强监管的趋势。联邦贸易委员会和多个地方司法管辖区目前也正在评估类似法规，以打击住房市场中的欺骗性广告。尽管全国公寓协会等行业团体认为现行的披露做法已足够，但西雅图官员坚持认为，新规是保护租客免受成本上涨和掠夺性收费侵害的必要措施。
在 Mac 上关闭并限制对 Apple 智能功能的访问 Turn off and restrict access to Apple Intelligence features on Mac
54 天前
Apple Intelligence 目前在 iOS、iPadOS、macOS、watchOS 和 visionOS 27 上以测试版形式提供。它支持多种语言，但首发语言为英语。值得注意的是，目前欧盟地区的 iOS、iPadOS 和 watchOS 暂不支持 Apple Intelligence 功能。 用户需注意，包括 Siri AI、智能照片编辑、Image Playground 以及部分服务器端快捷指令在内的多项功能，会根据请求的复杂程度和系统需求设定每日使用上限。虽然目前这些工具可以免费使用，但苹果计划在未来通过收费模式扩大对这些功能的访问。所有使用行为均受官方《Apple Intelligence 条款与条件》约束。更多详情，请访问 apple.com/apple-intelligence。
请启用 JavaScript 并关闭所有广告拦截器
这项工作历经六周的数据采集与分析，得出了一些令人惊讶的发现。下次当你觉得模型变笨时，不要问模型是不是被“削弱”了，而应该询问你所使用的是哪种推理模式。
这次 Hacker News 的讨论聚焦于资深用户对前沿 AI 模型（如 Claude/Fable）随时间推移而出现的“智障化”或退化的普遍不满。
**讨论要点：**
* **“削弱”（Nerf）现象：** 许多用户反馈，模型在刚发布时能力极强，但几周后明显感觉智力下降，更容易出现幻觉或变得过度啰嗦。有人认为这是服务商为了平衡计算资源而采取的“减负”或降低成本策略。
* **方法论争议：** 虽然一些用户分享了数据日志和 Token 使用分析，试图证明“思考型 Token”被人为限流，但也有人批评这些发现属于“主观臆断”（vibe-slop）。怀疑论者认为用户的工作流并不一致，这些“基准测试”缺乏证明系统性退化所需的严谨对照。
* **转向本地部署：** 由于缺乏透明度、性能不稳定以及类似“老虎机”的糟糕体验，一些开发者正转向本地开放权重模型（如 Qwen）。尽管这些模型的能力通常不及顶级前沿模型，但用户更看重其一致性、可控性以及不会出现“模型漂移”的特点。
* **企业问责：** 许多人呼吁提高透明度或引入政府监管（例如 AI 的“度量衡”标准），迫使公司披露量化级别或性能服务协议（SLA），因为目前的做法让人感觉越来越具有欺骗性。
交通拥堵是一项复杂的城市挑战，直接影响着环境质量和日常生产力。由于城市道路的通行能力往往受限于交叉路口而非车道数量，交通工程师将高效的信号管理置于优先地位，以确保车辆安全通行。 交通信号灯作为一种经济且节省空间的解决方案，在管理路权方面发挥着重要作用。现代系统已从简单的定时器演变为“感应式控制”，利用感应线圈等传感器，根据实时交通流量调整配时。通过“信号协调”技术，系统能将车流编组，防止多个路口出现交通瘫痪，从而进一步提升通行效率。 展望未来，“自适应信号控制技术（ASCT）”——即利用集中算法和机器学习——有望进一步优化城市范围内的交通流。尽管一些专家认为自动驾驶车辆最终可能取代传统信号灯，但由于“潜在需求”的存在，城市拥堵往往会自我调节；随着通行能力的增加，更多的驾驶者会涌上道路，使交通维持在一种平衡状态。归根结底，尽管技术和软件工程不断改进交通管理，但平衡多样化的城市出行需求这一根本性挑战，对于设计者和规划者而言，依然是一项持续且复杂的任务。
由彼得·布鲁姆（Peter Bloom）创立的非营利组织 Rhizomatica 开发了“高频紧急与农村多媒体交换系统”（HERMES），旨在为偏远及离网社区提供可靠的远程通信。通过利用电离层反射信号，HERMES 使低功耗无线电设备无需昂贵的地面基础设施，即可保持数百公里范围内的连接。 与仅限于语音传输的传统短波无线电不同，HERMES 充当了数据通道，允许用户传输文件，如照片、电子邮件、远程医疗记录和 GPS 坐标。这一功能对于应急协调、后勤保障以及记录偏远地区的非法活动至关重要。该系统还具备可选加密功能，为信息隐私至关重要的敏感地区用户提供了安全保障。 这项技术的实际影响已初见成效：近期在孟加拉国进行的一项试点项目中，离岸渔民在遇到机械故障时，通过该系统传输了精确位置，从而成功协调了救援行动。通过对短波技术的现代化改造，HERMES 为连接全球最难以触达的地区提供了一种低成本且稳健的解决方案。
**Foremerge** 是一个开源的协作协议，旨在解决 AI 编码代理（Agent）协作中存在的“盲区”问题。虽然 Git 可以跟踪文件层面的变更，但无法检测到两个代理在不同文件中所做的逻辑冲突修改。
**工作原理：**
Foremerge 充当 Git 仓库内部的一个共享“白板”。在进行更改之前，代理会发布其**意图**和**语义范围**（例如：“我将修改 `PaymentService` 符号”）。
* **冲突检测：** Foremerge 使用本地 SQLite 数据库来比对这些声明。如果两个代理计划触及相同的逻辑或不兼容的抽象，Foremerge 会在编写任何代码之前标记出冲突，提供可解释的原因，并建议协调路径。
* **非阻塞式安全：** 它不使用文件锁或强制阻断机制，确保某个代理崩溃时不会导致整个团队的工作停滞。
* **验证：** 它强制执行“验证门控”工作流，要求代理必须针对其更改运行测试，确保只有通过既定检查的工作才能被集成。
Foremerge 是一个 MVP（最小可行性产品），通过 CLI 和 MCP 与 Claude Code、Cursor 和 Codex 集成，为多代理工作流提供了缺失的语义感知层。
Grok 4.7 Grok 4.7
54 天前
Grok 4.7 是在编程和专业知识领域取得的最新进展，它在保持前代产品 Grok 4.6 价格和速度优势的同时，实现了显著的性能提升。该模型基于更大的基础模型构建，并采用了增强的强化学习技术，从而提升了其验证工作、管理长上下文任务以及处理数小时时长项目的能力。 主要亮点包括： * **卓越的基准测试表现：** 该模型在编程和专业领域表现出色，尤其是在 *CursorBench 4.0* 测试中，提供了业界领先的性价比。 * **专业实用性：** 该模型在法律分析、临床推理和复杂文档创建等专业领域均表现出持续的改进。 * **先进的安全性：** Grok 4.7 采用了重新设计的安全防护体系，在防越狱能力和生物安全方面树立了新标准。它在确保合法网络安全研究的高实用性的同时，能有效拦截恶意提示。 Grok 4.7 现已通过 Grok API、Cursor 和 Grok Build 提供，价格为每百万输入 Token 2 美元，每百万输出 Token 6 美元。此外，还提供高速版本。用户即日起可前往 x.ai/build 开始测试该模型。
xAI 发布 Grok 4.7 在 Hacker News 上引发了热烈讨论，焦点主要集中在其技术性能与成本之间的权衡。
**社区核心观点：**
* **性能与效率：** 尽管 Grok 4.7 的参数量增加了 40%，但用户反馈和基准测试显示，与竞争对手相比，该模型缺乏效率。Artificial Analysis 的数据显示，为了获得微小的性能提升，它消耗的 Token 远多于前代版本及同类竞品。
* **编程与实用性：** 对其编程能力的评价褒贬不一。一些开发者认为它在前端开发或作为代码审查的“辅助”模型时表现有效，而另一些用户则指出它容易出现“偷懒”、输出冗长“废话”或无法处理复杂逻辑的问题。
* **市场定位：** 许多用户对 Grok 持怀疑态度，原因包括其品牌形象、政治争议以及该项目“迷因化”的口碑。虽然它的价格处于中端水平，但许多高级用户更青睐 Fable、Astra 或 GPT-5.6 (Sol)，认为它们在可靠性和推理能力上表现更佳。
* **基础设施：** 讨论中很大一部分内容反映了人们对当前“前沿”人工智能现状的普遍不满，即模型正变得越来越“强化学习过头（RL-fried）”、语言冗长且难以驾驭，这导致许多人开始转而寻求轻量级、专业化的模型。
一台修复后的 PDP-11/83 正在运行 211BSD Unix 为本页面提供服务。 A restored PDP-11/83 serving this page on 211BSD Unix
54 天前
数字基因 • 1980年代工程 一台修复后的 PDP-11/83，配备 Mentec M11 处理器、双机箱，以及 DEC 和 Emulex 控制器的组合。经典的磁盘、磁带、串口终端和 2.11BSD 系统，使该收藏品保持着与其根源的连接。 Q-bus 系统 Mentec M11 处理器 板载内存 RQDX3 • UC07 • KDA50