查尔斯·布考斯基能给AI开发者们什么启示？
Hacker News 上一条关于“查尔斯·布考斯基能给AI开发者什么启示”的帖子引发热议。核心观点是：劳动节约型技术并未真正解放人类，反而可能催生新的996；布考斯基主动停止产出劣质文字、走向家人和猫的行为，提醒AI从业者警惕“无用产出”的陷阱，重新审视休息与创造力的关系。
标签： 人工智能
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 辅助调试场景中一个实用的预处理中间件。
issue: After migration from 10.2 to 11.0, docker endlessly restarts (official docker-compose.yaml)
从 Open WebUI 10.2 升级到 11.0 后，容器因 WEBUI_SECRET_KEY 环境变量问题陷入无限重启。优先确认该变量已设置为实际值（而非空字符串），并检查数据目录是否可写。
issue: edit_image fails to decode manually attached and previously generated images as Base64
该报错发生在 Open WebUI 调用内置 edit_image 工具编辑手动附件或历史生成的图像时，解码 Base64 数据失败： issue: edit_image fails to decode manually attached and previously generated image
RuntimeError: no running event loop
该报错通常出现在 Open WebUI 连接本地 HTTP 的 llama 服务时，错误信息中的 ssl:default 是 aiohttp 库的固定输出格式，实际原因是 DNS 查询超时。优先排查容器间网络连通性及 DNS 解析。
快速修复成为新信任模式（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冲刺“安全超级智能”提供了十倍…