28 个怪球，一个都不落下：一次 AI 参与的数学构造，和它留下的那块空白-低调大师

28 个怪球，一个都不落下：一次 AI 参与的数学构造，和它留下的那块空白

2026-09-27 7

Codex：从代码生成大模型到软件工程智能体的技术演进与工程实践

Codex 是 OpenAI 推出的面向代码领域的专用大模型与软件工程智能体，经历了两代形态：初代 Codex 作为基于 GPT-3 基座、在开源代码语料上持续预训练的代码生成模型，奠定了自然语言转代码的产业化基础，是 GitHub Copilot 的底层引擎；新一代 Codex 则升级为具备沙盒执行、多文件项目读写、测试迭代与 PR 提交能力的端到端软件智能体，构建起写代码 - 运行 - 校验 - 修复的闭环工作流。本文从模型基座、训练范式、核心能力、工程架构、应用边界与技术演进路线展开专业论述，剖析 Codex 如何从单纯代码补全模型，演进为可融入 DevOps 全流程的工程智能体，并结合...

2026-09-27

9

git 本身能回答一半问题：git log -S / -G（pickaxe）可以找「一个字符串何时进入或离开代码库」。问题在工程侧：

2026-09-27

7

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。