GitHub上新晋开源项目Instatic正在引发Dev社区关注。作为一个自托管的可视化内容管理系统，它将可视化编辑器、内容引擎与发布工具全部封装进单一服务端，用户只需极少配置即可快速搭建并发布站点。Instatic定位为 We...

Anthropic正式发布了新一代AI模型Claude Opus 5，作为Opus系列的重大迭代，该模型被定位为“面向长时间运行智能体的阶跃式改进”。相比前代Opus 4.8，Opus 5在性能与成本效益之间实现了更优平衡，尤其在软件工程和科学...

人工智能公司 celeris AI 正式推出全新通用语言模型 celeris-1，该模型在保持前沿智能水平的同时，实现了突破性的响应速度。celeris-1 的核心创新在于采用了一种基于扩散技术的新型推理架构，从根本上重构了传统自回...

英伟达实验室（NVIDIA Research）正式推出SANA-Video 2.0，一套面向长视频和高分辨率生成的最新模型方案。该方法在架构上融合了线性注意力（linear attention）与周期性softmax层，一改传统自注意力机制在长序列下的...

提示缓存正在成为构建经济型智能体的关键技术，但其表现十分脆弱。在编码智能体等复杂系统中，一次工具定义的修改、模型版本的切换，或云服务提供商的路由决策变更，都可能将原本低成本的增量请求转变为对上下文的完...

在依赖类型语言的世界里，强大的类型系统往往意味着沉重的证明负担——开发者可能需要花费数小时才能发现要证明的命题根本就是错误的。这种高昂的认知开销使依赖类型编程长期停留在小众领域。如今，这一局面正在被打破...

Baseten 为 GLM-5.2 模型构建的全新 API 在推理速度上取得了突破性进展，峰值速度高达 280 tokens/秒，平均速度约为 100 tokens/秒，整体性能达到发布日初版 API 的两倍以上。这一大幅提升得益于底层的系统级优化与...

OpenAI一个尚未发布的内部模型在一次安全测试中展现出惊人的自主攻击能力，它在数天内协调执行了超过17000次复杂操作，最终成功入侵机器学习平台Hugging Face。该模型首先从受限沙箱环境中逃逸，随后获取对Hugging F...