Cloudflare研究团队正式披露了其最新分布式共识服务Meerkat，旨在跨众多数据中心管理全局控制平面状态，兼顾强一致性与容错能力。与依赖单一领导者的传统Raft算法不同，Meerkat采用了新型共识算法QuePaxa，允许所有...

AI模型在学习过程中不可避免地会掌握大量“双用途知识”——既能用于网络防御、漏洞检测等正面场景，也可能被用于网络攻击和信息窃取等恶意目的。如何在不削弱模型整体能力的前提下，精准管控这类敏感知识，一直是AI安全...

OpenAI 正式推出新一代语音模型 GPT-Live，现已驱动 ChatGPT 语音功能。该模型采用全双工架构，允许 AI 在说话的同时持续倾听，彻底打破传统一问一答的交互模式，实现更接近人类自然交流的同步对话。GPT-Live 能够实...

SpaceXAI 正式推出其最新一代大语言模型 Grok 4.5，该模型被定义为迄今最先进版本，专为三大核心领域深度优化：编码生成与推理、自主代理（Agentic）任务执行以及高复杂度知识工作。与前代产品相比，Grok 4.5 在工具...

微软正式发布 TypeScript 7.0，这是一次彻底的工具链革命。开发团队用 Go 语言完全重写了 TypeScript 编译器，实现了从传统 TypeScript/JavaScript 到原生二进制可执行文件的巨大跨越。在新的 Go 原生端口加持下，编...

在AI辅助软件开发快速演进的当下，本地运行的大语言模型正成为开发者关注的焦点。Martin Fowler官网近日发布了一篇来自ThoughtWorks同事的实践总结，详细记录了在编程智能体场景中使用本地模型的最新体验。该报告指...

OpenAI 近期对当前广泛使用的 AI 编程能力评估基准 SWE-Bench Pro 进行了一次系统性审计，结果发现约 30% 的任务存在严重瑕疵，令该基准的可靠性与准确性备受质疑。此次审计由 Anthropic 团队执行，结合了自动化筛查...

知名 JavaScript 运行时与工具链 Bun 正式宣布已完成由 Zig 向 Rust 的全面重写。这一重大技术决策发生在 Bun 被人工智能公司 Anthropic 收购之后，核心动因在于管理复杂度的不断攀升。Bun 最初作为 esbuild 转译器...