GitHub 宣布其 AI 编程助手 Copilot 将从当前固定的包月/包年订阅模式，逐步迁移至基于用量计费的新模式。这一调整意味着，开发者的费用将与 Copilot 的实际使用量（如代码补全、聊天次数等）直接挂钩，而非以往的“...

近期，一款名为Talkie的语言模型在技术社区引起了广泛关注。值得注意的是，该模型并非诞生于当前大模型竞赛的浪潮中，而是宣称其设计理念和数据源自1930年代的文献与知识体系，拥有13B参数。这一独特的“时间胶囊”式...

在软件开发领域，利用AI编码辅助工具（如Anthropic推出的Claude Code）来加速个人项目的开发，正成为一种值得关注的新趋势。这些工具并非旨在取代开发者，而是作为高效的“加速器”，能够帮助程序员快速将想法转化为可...

在AI智能体时代，为了防止自主代理对系统造成破坏性影响，沙箱技术已成为不可或缺的隔离基础。当前存在多种隔离方案，从传统的容器技术到更强大的gVisor用户态内核和Firecracker微虚拟机，各自在性能与安全性之间提...

来自arxiv的最新研究提出了一种名为Vision Banana的通用视觉模型，该模型的核心创新在于将传统的视觉感知任务重新表述为图像生成问题。通过指令微调（instruction-tuning）的图像生成模型，Vision Banana能够在多种...

在人工智能领域，编码代理（Coding agents）正成为首个被大规模且定期付费的AI产品。这类基于大模型的智能工具能自动完成代码生成、调试和优化，显著提升开发效率，因此迅速获得企业用户的青睐。然而，随着应用普及...

大型语言模型（LLM）在生产环境中的行为监控已成为AI工程化的重要挑战。为应对这一难题，业界引入了AI评估栈（AI Evaluation Stack），将测试分为确定性断言（如语法和路由完整性）与基于模型的评估（如语义质量）。...

随着生成式AI在软件开发中的广泛应用，如何准确衡量AI对代码库的实际贡献成为一项棘手挑战。该文指出，AI的最佳用途有时是启发性的提问，并不直接产生任何代码，因此单纯以代码行数来衡量AI贡献不仅无法反映代码质量...