Correlations：氛围测试你的向量模型

Jina AI分享内部调试可视化向量小工具Correlations，它能生成交互式热图展示内容间余弦相似度，提供多种交互方式。工具已在GitHub开源，适用于内容去重、验证引文等场景。

GitHub Copilot新代理把「自家人」逼疯了！

GitHub Copilot新智能体Coding Agent公测，官方想让它成协作开发搭子。但在微软仓库使用时问题多，多次提交失败、逻辑不通，未解决关键问题，虽能自动完成繁琐任务，但距‘靠谱搭子’还远。

将对话界面直接引入Web，微软开源NLWeb，实现ChatGPT级别搜索

微软 Build 2025 开发者大会上，开源项目 NLWeb 受关注。它简化网站自然语言交互界面开发，原生支持 MCP，能让任意网站变智能应用平台，还可调用廉价模型，使用方便。

浏览器里的 AI 革命：前端工程师的新战场

AI 进入浏览器和前端，JavaScript 扮演新角色。浏览器端 AI 崛起，能在本地提供智能服务。AI 可增强 JS 应用，有多种工具支持，但也面临性能、模型尺寸等挑战，未来前景广阔。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

刚亮相就传被英伟达收购：Gemini 老兵团队凭什么还敢押注 Coding Agent？

本文是InfoQ编译的科技播客访谈，Reflection AI由前Google DeepMind Gemini团队成员创立，近期发布了5010亿参数的开放大模型Beam，主打编程、推理和智能体任务，发布一周后传出英伟达拟收购该公司的消息，访谈中分享了对开放模型诸多问题的观点。

20年技术品牌建设都成浮云：编程智能体如何选择其首选工具

本文报道Armature针对编程智能体工具选型的实验研究，揭示编程Agent的选型逻辑，指出传统开发者工具积累的多年品牌优势在Agent时代面临失效，为厂商提出新的优化要求。

平均6天一个新旗舰！大模型更新快到人类跟不上了

本文梳理全球大模型厂商的旗舰发布节奏，统计显示当前平均每6天就诞生一个新旗舰，AI辅助研发加速迭代，带来开发者适配难、评测体系跟不上等问题。

拆解爆火的 JEV（上）：10 分钟看懂这款 Agent 的高速“协处理器”。

本文拆解硅谷近期爆火的JEV模型，讲解其作为Agent专属高速决策模型的定位、核心原理、实际调用案例，分析其优势与现存不足，帮助开发者快速了解这款新兴工具。

Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时

截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。