Mbodi 是一个具身智能平台，它让机器人能够像人类一样通过自然语言进行学习。因此，任何人只需与机器人对话，即可在几分钟内教会它们新技能，并实现可靠的生产应用。我们正引领机器人技术的下一波浪潮，将先进的生成式模型与现实世界的应用相结合。在顶级投资者的支持下，我们已与 ABB 等全球工业合作伙伴展开合作，正在重新定义机器人技术与自动化的无限可能。
每日HackerNews RSS
[发布于 2026 年 7 月 29 日，作者：jzb] GCC 指导委员会宣布，已采纳由 GCC 人工智能政策工作组推荐的 AI 贡献政策。该政策部分规定，项目将拒绝任何“包含大模型（LLM）生成内容，或源自大模型生成内容的具有法律意义的贡献”。政策采用了 GNU 项目维护者指南中对“具有法律意义”的定义，即版权意义上的重大贡献阈值为“约 15 行代码和/或文本”。不过，GCC 维护者可以选择接受由大模型生成的、具有法律意义的测试用例。该政策并不禁止在研究、分析、漏洞发现与报告、补丁审查等方面使用大模型，只要其输出内容不被包含在贡献成果中即可。委员会表示，预计该政策将不断演进，并会定期进行修订。
GCC 指导委员会已正式实施一项 AI 政策，用以规范其编译器项目的代码贡献。该政策限制了由 AI 生成的、具有“法律意义”（定义为约 15 行或以上）的代码贡献，理由是担心版权问题以及项目 GPL 许可证的可执行性。
此公告在开源社区内引发了极大的争议。支持者认为，该政策是防止大量低质量、自动化“乱投式”合并请求的必要保障，这些请求会消耗维护者的时间，并带来潜在的法律和安全风险。他们强调，开源的可持续性依赖于人类的责任感与理解力，而非未经审查、大规模生产的代码。
批评者则认为，该政策是意识形态驱动的“卢德主义”，忽视了 AI 辅助开发带来的生产力优势。一些人认为这会将贡献者推向如 LLVM 等更开放的项目，并阻碍软件生态系统的进化。另一些人则指出，该政策难以执行，且在未来想要明确区分人类编写与 AI 生成的代码将变得愈发困难。归根结底，这场争论凸显了在生成式 AI 时代，人们对于自动化角色、知识产权本质以及何为负责任的软件工程等议题上日益加剧的分歧。
Cisco Secure Firewall Management Center (FMC) 软件存在一个高危漏洞，原因是其低权限账户使用了静态凭证。此漏洞允许未经身份验证的远程攻击者以该用户身份登录并访问敏感数据。该漏洞的危险之处在于，它可与其他漏洞结合使用以实现权限提升。Cisco 已确认该漏洞目前正被在野利用。 此漏洞影响所有版本的 Cisco Secure FMC 软件，但不影响其他 Cisco 安全产品，如 FTD、ASA 或 Cloud-Delivered FMC。目前没有可用的变通方法；用户必须安装 Cisco 发布的特定热补丁来修复该问题。鉴于漏洞正处于被利用状态，Cisco 强烈建议所有客户轮换受影响设备上的用户凭证、密钥和证书。 如需检查是否存在受攻击迹象，管理员可以在专家模式下运行命令 `cat /var/log/messages | grep license`；若发现 `/var/tmp/license.tmp`，则可能存在攻击尝试。如需进一步协助或进行恢复，请联系 Cisco 技术支持中心 (TAC)。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
思科 FMC 静态凭据漏洞被用作零日漏洞利用 (cisco.com)
11 点，由 nyku 发布于 16 小时前 | 隐藏 | 往日 | 收藏 | 3 条评论
帮助
nerdbaggy 12 小时前 | 下一条 [–]
思科设备上一直有大量的静态凭据。这看起来像是一个系统性的工程问题。
https://search.cisco.com/search?query=Static%20Credential%20...
回复
VoidWhisperer 13 小时前 | 上一条 | 下一条 [–]
这些凭据存在是有实际原因的，还是仅仅“意外”留在那里的？（无论是开发测试中留下的不幸产物，还是其他方式）
回复
knorker 13 小时前 | 上一条 [–]
在产品名称中加入“安全（secure）”一词非常大胆，尤其是对思科而言。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
ChatGPT 与 Roblox 将受到欧盟最严格的平台法规约束 ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms
2 天前
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络有异常活动 要继续访问，请点击下方方框以证明您不是机器人。 为什么会出现这种情况？ 请确保您的浏览器已启用 JavaScript 和 Cookie，且未阻止其加载。 欲了解更多信息，请查阅我们的服务条款和 Cookie 政策。 需要帮助？ 有关此消息的咨询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID: e484f04c-8c0e-11f1-9b32-356922d6278b 订阅 Bloomberg.com，随时随地获取最重要的全球市场新闻。 立即订阅
在埃德·康韦（Ed Conway）的著作《物质世界》（*Material World*）中，他通过第一次世界大战期间的“玻璃荒”阐述了供应链韧性的重要性。 1914年，英国三分之二的精密光学玻璃依赖德国供应。战争爆发后，英国面临双筒望远镜和瞄准镜的严重短缺，甚至出现了用英国橡胶换取德国玻璃的荒诞战时秘密谈判。这场危机的根源在于18世纪英国的税收政策扼杀了国内创新，而德国则战略性地培育了其玻璃产业。 康韦总结了三条现代启示： 1. **依赖即风险：** 当今对半导体和电池等关键材料单一来源的依赖，与一战前的光学危机如出一辙。 2. **再工业化是可能的：** 英国在一战期间迅速提升国内玻璃产量，证明了国家在必要时可以重建失去的工业产能。 3. **历史决策的影响深远：** 百年前的经济政策塑造了当今的全球领先者——1914年主导光学领域的德国企业蔡司（Zeiss），至今仍在现代半导体制造中占据核心地位。 康韦认为，忽视这些“物质”现实会使国家容易受到突如其来、改变历史的冲击。
我有好消息也有坏消息。先说好消息。好消息是，我们刚刚开始了《银莲花公园 2》的制作，预计将于 2028 年初发布。我们将在一位私人投资者的帮助下进行自发行。Mark Ferrari、Gary Winnick、David Fox、Octavi Navarro、Robert Megone 以及原团队的其他成员都将回归！请在 Steam 上加入愿望单！我将像制作《银莲花公园》时那样开启一个《银莲花公园 2》开发博客，并定期发布更新，让大家了解最新进展。现在说坏消息，其实没有坏消息，全都是好消息。
附注：初代《银莲花公园》目前正在 Steam、Switch、iOS 和 Google 平台打折促销。但我猜我的读者应该都已经拥有它了。
再附注：Steam 页面暂时还未显示，但游戏将支持 Mac、Windows 和 Linux。
又附注：游戏将会有 GOG 版本。
罗恩·吉尔伯特（Ron Gilbert）宣布了《银白公园2》（Thimbleweed Park 2）的开发计划。这一消息在黑客新闻（Hacker News）上引发了激烈的讨论，反映出人们对点击式冒险游戏现状的深层争议。
许多用户表达了对该类型游戏设计套路的不满，特别是那些迫使玩家依靠暴力点击而非逻辑推理的“月球逻辑”（moon logic）谜题。第一部游戏的批评者还将矛头指向了吉尔伯特的标志性写作风格——尤其是他对元叙事和打破第四面墙结局的依赖，一些人认为这削弱了情感投入，显得有些自我放纵。相反，支持者则认为这些元素是吉尔伯特作品的定义性特征，将这些游戏视为对20世纪90年代卢卡斯艺界（LucasArts）时代的忠实且迷人的致敬。
讨论还涉及了游戏制作的现实问题。当被问及为何一个重复使用素材的项目需要耗时多年才能完成时，参与者指出，与传统软件不同，游戏需要详尽的迭代、平衡和游戏测试，以确保叙事和谜题的连贯性。虽然续作的消息在游戏类型粉丝中引发了兴奋，但对于那些对吉尔伯特近期故事选择感到失望的人来说，这仍然是一个争论的焦点。
1979年，苹果先驱杰夫·拉斯金（Jef Raskin）提出了“苹果计算器语言”（Apple Calculator Language），作为当时行业标准语言的潜在替代方案。拉斯金的文档揭示了他对现有语言的批判性立场：他认为BASIC本质上很弱，批评Pascal为了编译器便利而牺牲了用户体验，并认为Lisp过于学院派。相反，他非常推崇APL的高效，尽管其语法因晦涩难懂而闻名。 拉斯金提出的这门语言独具特色，其特点是严格的从左到右求值、没有运算符优先级，以及对“块”（clumps，即将一组数字视为单个单位）的创新运用。虽然拉斯金希望将其作为基础编程语言的梦想从未实现，但本文作者认为该语言的简洁性和设计“令人耳目一新”，优雅至极。作者甚至重新实现了该语言，不仅遵循了拉斯金最初的规范，还澄清了草稿中发现的不一致之处。归根结底，拉斯金的作品记录了一个人机交互规则尚在书写中的迷人时代，反映了他渴望一种能为用户最大限度减少不必要复杂性的语言。
有什么问题？刚刚订阅了 Mullvad 可选升级服务，测试后发现存在 DNS 泄露问题。请前往 https://browserleaks.com/dns 自行测试。 复现步骤： 通过 Tailscale 订阅 Mullvad，连接到任意出口节点，测试是否存在 DNS 泄露。 最近是否有更改导致此问题？ Mullvad 选项 操作系统：macOS, Windows, iOS 操作系统版本：无回答 Tailscale 版本：1.48.2 其他软件：无回答 错误报告：无回答
**agent-manager** 是一款基于终端的 AI 编码助手（如 Claude Code、Codex、OpenCode、Grok 及自定义 CLI）编排工具。它在持久化的 `tmux` 会话中运行助手，让您能够通过单一界面管理、监控并与多个助手进行交互。
### 核心功能
* **统一仪表盘：** 在可折叠的项目树中查看所有活跃助手，并实时显示其状态（运行中、阻塞、空闲等）。
* **无缝交互：** 使用空格键向任何助手发送提示词，无需手动切换至其终端窗口。
* **完整文件差异与审查：** 使用 `Ctrl+R` 查看语法高亮显示的差异对比。您可以直接在代码行上添加注释，这些注释会自动发送回助手。
* **持久化会话：** 即使退出管理器，助手也会持续运行。使用 `v` 键可以恢复已中断的会话，从上次停止的地方继续工作。
* **MCP 集成：** 内置 MCP 服务器，允许助手原生管理其会话名称和存储库上下文。
* **可扩展性：** 通过简单的 `config.toml` 规则即可添加任何命令行工具。
**安装方式：** 可通过 Homebrew (`brew install yoanwai/tap/agent-manager`) 或 Go (`go install github.com/YoanWai/agent-manager@latest`) 安装。需要 `tmux` 环境及 Go 1.26+ 版本。
Hacker News 社区目前正见证 TUI（终端用户界面）管理器的“寒武纪大爆发”，这些工具旨在处理多个 AI 编程代理（如 Claude Code 或 Codex）。Agent-Manager、Herdr 等工具旨在解决“基于代理”开发的主要痛点：无法在不手动切换终端标签页的情况下，轻松监控多个并发且长时间运行的进程。
**这些管理器提供的核心功能包括：**
* **状态一览：** 提供代理活动的集中视图，以便用户识别哪些代理正在等待输入或处于阻塞状态。
* **交互简化：** 允许用户向代理发送提示，无需手动进入其特定的终端窗格。
* **上下文管理：** 便于更轻松地审查代码更改和恢复会话。
* **工作树/环境隔离：** 通过将并行任务隔离在不同的工作空间中来进行管理。
尽管一些开发者认为这些工具对于 AI 代理的“多任务处理”至关重要，但怀疑论者认为它们增加了不必要的开销。批评者指出，通过简单的自定义脚本即可实现类似功能，或者 AI 领域的发展速度太快，导致这些小众工具难以长期保持相关性。总的来说，这一趋势凸显了随着开发者从单一代理工作流转向管理“代理集群”，对更好编排工具的迫切需求。
Carolina Cloud 现在为您组织的预付信用余额支付利息，助力您的闲置资金增值。利息按日计算，采用有担保隔夜融资利率（SOFR），并自动计入您的预付余额，实现每日复利。 **关键详情：** * **适用范围：** 适用于所有已购买的预付信用额度（不含免费或促销额度）。无需最低余额或额外申请。 * **支付形式：** 利息以 Carolina Cloud 信用额度形式支付，可完全用于计算和存储服务。该额度非现金，不可兑换现金。 * **计算方式：** 利息采用 ACT/360 天数计算惯例。利率不为负，确保您的余额不会因利息而减少。 * **透明度：** 利息应计流程自动化且可审计，您可通过“我的组织”页面查看。每一笔每日应计利息均记录在您的账单审计流中，提供可追溯至已发布 SOFR 基准的清晰记录。 通过提供无利差的完整 SOFR 利率，Carolina Cloud 确保您的预付余额与您的基础设施一样发挥最大效能。