Show HN: Ctrlb-decompose: 在发送给LLM前去除日志中的噪音
开源工具 ctrlb-decompose 能将海量原始日志自动压缩为少量结构化模式（例如百万行→43个模式），并提取变量统计与异常标志，专为 LLM 分析场景消除噪音、节省 Token，目前已提供 CLI、WASM 和 Rust 库三种使用方式。
分类： AI 资讯
数据中心、电力与AI热潮中的制胜之道
AI 热潮导致数据中心电力消耗激增17%，预计到2030年三分之一美国数据中心将彻底脱离电网。电力短缺正从“后勤问题”变成AI部署的核心瓶颈，谁控制电力谁就赢得竞争。
Richard Socher’s Recursive Superintelligence signs a $410M, multiyear AWS compute deal to support its self-improving AI systems, after raising $650M in May (Russell Brandom/TechCrunch)
Richard Socher 创立的 Recursive Superintelligence 与 AWS 签署了一份价值 4.1 亿美元、为期多年的云计算合同，用于支撑其“自我改进”AI 系统的训练和推理。该公司此前在 2026 年 5 月刚完成 6.5 亿美元融资。这笔巨额算力投入暴露了追求“递归式智能”路…
查尔斯·布考斯基能给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 辅助调试场景中一个实用的预处理中间件。
快速修复成为新信任模式（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冲刺“安全超级智能”提供了十倍…