查尔斯·布考斯基能给AI开发者们什么启示？
Hacker News 上一条关于“查尔斯·布考斯基能给AI开发者什么启示”的帖子引发热议。核心观点是：劳动节约型技术并未真正解放人类，反而可能催生新的996；布考斯基主动停止产出劣质文字、走向家人和猫的行为，提醒AI从业者警惕“无用产出”的陷阱，重新审视休息与创造力的关系。
标签： Gemini
Show HN: Segue – 在一个AI中保存上下文，通过短句柄在另一个AI中加载
Segue 是一个 Show HN 项目，让用户在一个 AI 对话中保存上下文，并通过短句柄在另一个 AI 对话中加载。但上线后立即遭遇隐私质疑：上下文以明文方式发送到第三方中继服务器，被评论者称为“多此一举”，安全性存疑。
Show HN：形式验证的 3D CSG：相信93行规格，而非1000行AI代码
一位开发者利用AI辅助生成并验证了一个3D布尔运算（CSG）核心代码，其创新之处在于：人类只需检查93行的形式化规格说明，由Lean证明助手自动验证AI生成的60000行证明，从而确保1000多行实现代码的正确性。这挑战了“AI代码不可信赖”的固有认知，并为高可靠性场景下的AI编程提供了新范式。
Show HN: Ctrlb-decompose: 在发送给LLM前去除日志中的噪音
开发者 Firasd 在 HackerNews 上发布了 Ctrlb-decompose，一个在将日志发送给 LLM 之前自动去除噪音、提取结构化信息的工具。它旨在降低 Token 消耗和存储成本，让 AI 能更准确地分析系统日志，是 AI 辅助调试场景中一个实用的预处理中间件。
快速修复成为新信任模式（JFrog与OpenAI零日漏洞发现）
OpenAI 内部安全研究员利用对 ChatGPT 运行环境的探测，揭露了 Jfrog Artifactory 存在两个高危漏洞（认证绕过和 SSRF）。这起事件不仅展示了 AI 模型自身成为安全探测工具的可能性，也暴露了快速迭代的 AI 工具（所谓“vibe coding”）可能在供应链中引入基础性安全缺陷…
Perplexity 的个人电脑将 Windows PC 变成人工智能代理
Perplexity 将之前只支持 Mac 的“个人电脑”AI 代理工具扩展到 Windows 系统，让 Windows 用户也能通过本地运行的 AI 操控文件、Office 365 和网页，实现跨应用自动化办公。该工具已面向月费 200 美元起的付费用户开放，标志着 AI 代理从云端逐步渗透到本地桌面环境。
Nvidia投资Ilya Sutskever的AI实验室，推动SSI从Google芯片转向
NVIDIA投资了Ilya Sutskever领导的AI实验室Safe Superintelligence（SSI），并提供下一代Vera Rubin GPU平台，使SSI从依赖Google TPU转向NVIDIA算力。此举既加固了NVIDIA在AI芯片领域的竞争壁垒，也为SSI冲刺“安全超级智能”提供了十倍…
台湾在扩大中国芯片走私调查中拘留一名Nvidia员工
台湾检方以涉嫌伪造文件和背信为由，拘留了一名英伟达（Nvidia）员工，同时搜查了英伟达台北办公室。该员工被指参与向中国非法出口搭载英伟达受管制芯片的超微（Super Micro）AI服务器，这是美国出口管制延伸至供应链末端的又一典型案例。
GitHub Actions 扣留潜在恶意工作流以待审批
GitHub Actions 新增自动保护机制，能识别并扣留潜在恶意的 CI/CD 工作流，待仓库拥有写权限的协作者通过已验证 Web 会话审批后才执行，以防范利用泄露凭据发起的供应链攻击。
Recursive Superintelligence 与 Amazon 签署了价值 4.1 亿美元的算力协议
Recursive Superintelligence 与亚马逊 AWS 签署了 4.1 亿美元的算力协议。这家致力于「递归自我改进」（RSI）的 AI 公司把融资的大部分押注在算力上，并计划在 2026 年 10 月推出首批产品。