近日，研究人员发布了新一代商业级大语言模型Mercury，该模型基于扩散模型技术，采用Transformer架构进行参数化，并能够并行预测多个token。报告重点介绍了Mercury Coder，这是首套专为编程应用设计的扩散大语言模型...

Morph团队近日推出了一款名为Morph的AI代码编辑工具，其核心创新在于能够以每秒4500个令牌（tokens）的速度直接应用AI生成的代码编辑到现有文件中，解决了传统全文件重写或搜索替换方法速度慢、易出错的问题。该工具...

即将发布的Lean 4.22版本带来了一项激动人心的新功能——针对命令式程序属性的验证基础设施预览。这一突破性进展允许开发者通过形式化方法证明命令式程序的正确性，标志着定理证明工具向实用化迈出重要一步。作者Marku...

谷歌DeepMind推出的Gemini 2.5大模型近日通过开源工具mem0实现了突破性的长期记忆功能。该技术方案利用Gemini API与mem0的协同工作，使聊天机器人能够存储和调用历史交互数据，从而显著提升对话系统的上下文感知能力...

GitHub用户terryso近日发布了一个名为claude-auto-resume的开源项目，该项目旨在解决Claude代码专业版可能存在的使用限制问题。该项目通过自动化技术实现在用户非活跃时段（如睡眠期间）保持会话连续性，这一创新方...

GitHub近期上线的Opencode项目引发开发者社区广泛关注，该项目定位为终端环境专用的AI编程代理工具。该项目由sst团队开发，允许开发者直接在终端环境中调用AI辅助完成代码编写、调试等任务，这种轻量化设计尤其适合...

近日，一位开发者成功逆向工程了Apple Intelligence生成式模型的安全过滤器加密机制（在框架中被称为“混淆”），并将这些过滤器提取到一个公开的GitHub仓库中。这一发现揭示了苹果如何在其AI模型中实施内容安全控制，...

GitHub社区近期出现了一款名为Backlog.md的开源工具，该项目由开发者MrLesk创建，旨在通过Markdown语法实现人类与AI代理在Git生态系统中的高效协作。该工具创新性地将任务管理、看板可视化与版本控制深度整合，支持...