➡️
继续阅读
-
形式化验证闯入开源:1.8亿行证明挡住系统崩溃?
形式化验证正从实验室爬进开源仓库,免费给二进制文件写“永不崩溃”的数学证明,可这份证明的边界比宣传窄得多。 2026年10月,Anthropic与Theo...
-
开源pi-cached-compaction:Pi专用的压缩插件
开源 pi-cached-compaction,一个给 Pi(AI 编码代理)用的压缩(compaction)扩展。它的核心思路是:复用会话已建立的 pr...
-
谷歌开源Harness²:无需重新训练即可自我改进的AI智能体
谷歌研究开源了Harness²框架,使AI智能体无需重新训练模型即可自我改进:它不修改模型权重,而是自动重写提示词、工具、记忆、技能和脚本等外围组件,并将...
-
Retro gaming is being overrun with AI
Retro video games are everywhere lately - especially in places where they are...
-
5 Free AI Coding Agents You Should Try in 2026
Access powerful open-source and proprietary models through OpenCode Zen, Gemi...
-
Microsoft’s new voice AI can start working out what you want before you finish speaking
“I think you said, ‘representative.’” It’s the fastest way to bypass automate...