TIOBE 2025 年 07 月份的编程语言排行榜已经公布， 官 方的 标 题是 ： 主流编程语言竞逐十强席位 ！ （ Senior programming languages battling for a top 10 position ? ） TIOBE最新榜单揭晓 ， Python、C、C++、Java、C#、JavaScript、Go 七大语言连续三年稳居前七，形成牢不可破的"第一阵营"。 而排名经常变化的其实在 第 8 至 12 名 —— Visual Basic、SQL、Fortran、Ada、Perl、Delphi 这个几个语言 展开月度排位拉锯战，上演编程 界的"诸神黄昏"。 Visual Basic、SQL、Fortran、Ada、Perl、Delphi……这些老古董语言可能在简历里已经删了，但它们还在为"前十"的门票拼命竞争。 今天 VB 上来了，明天 Delphi 又冲了个高峰，Fortran 和 Perl 像打不死的小强，不服老也不服输。 按理说，Rust 安全、Kotlin 靓丽，Dart 也有 Flutter 加持，Julia 更是数据科学界的新宠，但现实却是——它们仍然没能挤进 ...

Group 1 - The core viewpoint of the article is that AI is reshaping human scientific paradigms, and while it will become an important partner in exploring ultimate questions in mathematics and physics, it cannot replace human intuition and creativity [2][3]. - Terence Tao discusses the importance of collaboration in creating superior intelligent systems, suggesting that a collective human community is more likely to achieve breakthroughs in mathematics than individual mathematicians [3]. - The article highlights Tao's insights on various world-class mathematical problems, including the Kakeya conjecture and the Navier-Stokes regularity problem, emphasizing the interconnectedness of these problems with other mathematical fields [4][16]. Group 2 - Tao emphasizes that in undergraduate education, students encounter difficult problems like the Riemann hypothesis and twin prime conjecture, but the real challenge lies in solving the remaining 10% of the problem after existing techniques have addressed 90% [5]. - The Kakeya problem, which Tao has focused on, involves determining the minimum area required for a needle to change direction in a plane, illustrating the complexity and depth of mathematical inquiry [6][7]. - The article discusses the implications of the Kakeya conjecture and its connections to partial differential equations, number theory, geometry, topology, and combinatorics, showcasing the rich interrelations within mathematics [10][14]. Group 3 - The Navier-Stokes regularity problem is presented as a significant unsolved issue in fluid dynamics, questioning whether a smooth initial velocity field can lead to singularities in fluid flow [16][18]. - Tao explains the challenges in proving general conclusions for the Navier-Stokes equations, using the example of Maxwell's demon to illustrate statistical impossibilities in fluid dynamics [19][20]. - The article notes that understanding the Kakeya conjecture can aid in comprehending wave concentration issues, which may indirectly enhance the understanding of the Navier-Stokes problem [18][26]. Group 4 - Tao discusses the concept of self-similar explosions in fluid dynamics, where energy can be concentrated in smaller scales, leading to potential singularities in the Navier-Stokes equations [22][24]. - The article highlights the mathematical exploration of how energy can be manipulated within fluid systems, suggesting that controlling energy transfer could lead to significant breakthroughs in understanding fluid behavior [26][30]. - Tao's work aims to bridge the gap between theoretical mathematics and practical applications, indicating a future where AI could play a role in experimental mathematics [55][56].

金十数据6月20日讯，在华为开发者大会HDC2025期间，华为宣布仓颉编程语言将于7月30日开源。仓 颉编程语言是华为研发的一款面向全场景应用开发的编程语言，支持欧拉、鸿蒙等操作系统。其于2024 年6月下旬首次公开发布。 华为自研仓颉编程语言将于7月30日开源 ...

苹果的一个内部开发团队在一项新案例研究中透露，"Java 的内存管理方式已不再符合我们日益增长的性能需 求与效率目标。" 该团队目前正寻求更高效的编程语言，在这一案例中他们选择了 Swift。 据其称，这一转变使硬件利用率降低 50%，内存占用减少 90%，吞吐量提升 40%。 这项服务用于密码监控，需对照泄露密码列表检查用户密码。开发团队在博文中提到，该应用每天接收"来自 全球设备的数十亿次请求"。 服务运行于 Linux 系统，且包含分层加密机制，这导致每个请求所需的计算资源增加。 开发者表示："多年来，我们团队一直依赖 Java 支撑大规模关键任务服务，因其稳定性和性能有目共睹。"但 出于垃圾回收（GC）问题，他们最终决定寻找替代语言。 - EOF - 推荐阅读 点击标题可跳转 1、 Redis 之父亲证：人类程序员仍力压 LLM！ 垃圾回收是一种通过定期清理不再需要的内存来自动管理内存的技术，尽管 Java 的 GC 机制已有所改进，但 在负载下仍存在 GC 暂停问题，且性能开销较大。 扩展能力是另一个问题。该服务的负载在一天内波动显著，苹果需相应调整硬件规模。当按需启动新硬件时， 启动时间至关重要， ...

TIOBE 2025 年 06 月份的编程语言排行榜已经公布，官方的 标题是： SQL 的未来在哪里 ！ （ Where is SQL going? ） SQL，全称 Structured Query Language（结构化查询语言） ， 是用来和数 据库"对话"的语言。 近期 SQL 的热度开始下滑，本月，它跌至第 12 位，创下了历史最低。 在 TIOBE 榜单历史上，SQL 在 2003 年 10 月 是它的历史高光时刻排到了第六位 ， 不过，2004 年初，有人提出 "SQL 其实不能算是编程语 言" 。这引发了大量争论，最终 TIOBE 决定将 SQL 移出榜单，从上图中我们也看到 2004 到 2018 之间没有数据。 到 2018 年，又有开发者指出：虽然绕了一点，但 SQL 实际上是图灵完备的，而图灵完备通常就意味着它是编程语言。于是，SQL 被重新加入排 行榜，凭借数据库领域的强力支撑，再次回归前十。 只要连上互联网，我们时时刻刻的交互过程都与 SQL 有关系，比如银行记录交易、电商管理订单、医院保存病历、航班、票务、乘客信息、学生 信息管理、选课系统、成绩管理、教师安排等，背后都是一堆表 ...

机器之心报道 编辑：大盘鸡、泽南 DeepSeek R2 的前奏？ 五一劳动节到了，DeepSeek 的新消息可没停下来。 前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSeek 确实有新动作，不过大家没等来 R2，等来的是 DeepSeek-Prover-V2，它当然也是 开源的。 Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了 88.9% 的通过率，在 AIME 24、25 上也有不错的分数。 在 4 月 30 日晚，机器学习协作平台 HuggingFace 上就更新了 DeepSeek-Prover-V2 的一些技术细节。 | Models | | --- | 其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5- Base 构建，并支持最长 32K tokens 的上下文长度扩展。 要一句话总结 DeepSeek-Prover-V2 到底是什么？ 它是一款专为「数学 AI 编程语言」L ...