2025德国创新奖揭晓：“小技术”如何撬动“大制造”？
每年春季揭晓的“德国创新奖”，常被视为德国制造企业技术走向的“窗口信号”——不以融资额或用户量为衡量标准，而更看重技术是否能在工业体系中真正应用、复制、放大。
alm
GitLab 18.0 发布，引入 AI 编码助手
GitLab 发布其自托管 DevSecOps 平台的 18.0 版本，为 Premium 和 Ultimate 档引入了更多 AI 功能。此次版本更新包含 AI 原生开发工作流，标志着 GitLab 与微软的 GitHub Copilot 以及其他 AI 辅
南京大学何炳生教授：追求简单与统一的凸优化分裂收缩算法
最优化理论与方法是最接地气的应用数学。应用数学领域提出了大量优化问题，其中不少都可以归结为(或者松弛成) 一些典型的凸优化问题。我们围绕下面一些具有代表性的凸优化问题，研究凸优化的一阶算法。