由 Z.ai 推出的新一代旗舰大模型 GLM-5.2 现已面向所有GLM编程计划的用户开放，包括 Lite、Pro、Max 和 Team 等套餐。该模型在前代基础上强化了代码生成能力，同时实现了可用的百万级Token超长上下文支持，在需要长...

国内AI初创公司Moonshot AI于本周正式发布了其K2编程模型家族的最新开源版本——Kimi K2.7-Code。据该团队宣称，与上一代K2.6相比，新模型在保持高性能的同时，实现了推理过程中令牌（token）使用量降低30%的显著突破...

随着AI代码生成工具在软件开发中的普及，开发者虽然能够以前所未有的速度产出代码，但这种效率的提升却伴随着隐蔽的心理成本。据Evil Martians团队博客发布的深度分析指出，当前依赖AI辅助的工程师正面临严重的认知...

小米近日在AI编程助手领域取得了突破性进展，正式开源了其终端原生AI编码工具——MiMo Code V0.1.0。这款工具在关键AI编码基准测试中表现抢眼，特别是在涉及超长周期、多步骤的复杂任务（超过200步）上，性能超越了知...

一项针对WebRTC应用在iPad上莫名失败的技术调查，揭示了一个由两个独立软件漏洞相互交织引发的复杂技术案例。第一个漏洞源于Rust语言编写的`webrtc-rs`库中一个硬编码常量，该常量导致生成的数据包尺寸超过了Tailsca...

Apache Burr是一个由Apache软件基金会孵化的开源Python框架，专注于开发需要复杂决策能力的应用，包括聊天机器人、智能代理、模拟系统等。其核心创新在于采用状态机架构，将应用工作流建模为一系列简单Python函数构...

近日，有开发者指出Anthropic旗下的AI编程助手Claude Desktop存在严重的资源浪费问题：每次启动时，哪怕用户只使用聊天功能，程序仍会自动生成一个体积高达1.8GB的Hyper-V虚拟机。该虚拟机并非用于隔离或沙盒执行，...

在当前AI编程模型的评估中，大多数基准测试都聚焦于代码能否正确运行，即是否能够通过编译、执行并输出预期结果。然而，在真正的软件开发生产环境中，“正确”仅仅是最低标准。最新发布的FrontierCode基准测试，首次将...