Make the news part of your workflow

Register in your browser, then add your first feed to read, save articles and create AI summaries.

Register and start reading

开发者工具

编程工具、开发框架、开源项目、工程效率、云服务和基础设施。

Topic updatesDaily briefs
Jul 3, 2026Oct 19, 2026Oct 18, 2026Oct 17, 2026Oct 16, 2026Oct 15, 2026Oct 11, 2026
Choose date

October 2026

Oct 19, 2026Oct 18, 2026Oct 17, 2026Oct 16, 2026Oct 15, 2026Oct 11, 2026Oct 10, 2026Oct 9, 2026Oct 8, 2026Oct 7, 2026Oct 6, 2026Oct 5, 2026Oct 4, 2026Oct 3, 2026Oct 2, 2026Oct 1, 2026

September 2026

Sep 30, 2026Sep 29, 2026Sep 28, 2026Sep 27, 2026Sep 26, 2026Sep 25, 2026Sep 24, 2026Sep 23, 2026Sep 22, 2026Sep 21, 2026Sep 20, 2026Sep 9, 2026Sep 8, 2026Sep 7, 2026Sep 6, 2026Sep 5, 2026Sep 4, 2026Sep 3, 2026Sep 2, 2026Sep 1, 2026

August 2026

Aug 31, 2026Aug 30, 2026Aug 29, 2026Aug 28, 2026Aug 27, 2026Aug 26, 2026Aug 25, 2026Aug 23, 2026Aug 22, 2026Aug 16, 2026Aug 15, 2026Aug 14, 2026Aug 13, 2026Aug 12, 2026Aug 11, 2026Aug 10, 2026Aug 9, 2026Aug 8, 2026Aug 7, 2026Aug 6, 2026Aug 5, 2026Aug 4, 2026Aug 3, 2026Aug 2, 2026Aug 1, 2026

July 2026

Jul 31, 2026Jul 30, 2026Jul 29, 2026Jul 28, 2026Jul 27, 2026Jul 26, 2026Jul 24, 2026Jul 23, 2026Jul 22, 2026Jul 21, 2026Jul 20, 2026Jul 19, 2026Jul 18, 2026Jul 17, 2026Jul 16, 2026Jul 15, 2026Jul 14, 2026Jul 13, 2026Jul 12, 2026Jul 11, 2026Jul 10, 2026Jul 9, 2026Jul 8, 2026Jul 7, 2026Jul 6, 2026Jul 5, 2026Jul 4, 2026Jul 3, 2026Jul 2, 2026Jul 1, 2026

June 2026

Jun 30, 2026Jun 29, 2026Jun 28, 2026Jun 27, 2026Jun 26, 2026Jun 25, 2026Jun 24, 2026Jun 23, 2026Jun 22, 2026
Jul 3, 2026

开发者工具日报 2026-07-03

Mistral AI 发布 Leanstral 1.5，一款 Apache-2.0 许可的开源形式化验证模型，119B 总参数仅 6B 活跃。在 miniF2F 上达 100% 饱和，PutnamBench 解决 587/672 题，FATE-H（87%）和 FATE-X（34%）创 SOTA。具备智能体式证明能力，在 57 个开源仓库中发现 5 个未知 bug。模型已通过 HuggingFace 和免费 API 开放使用。