CentOS 之父 11 天造出独立内核 Ginux：AI 写 13.9 万行 Rust 代码
JFPuget · x · 2026-10-30
CentOS 与 Rocky Linux 创始人 Gregory Kurtzer 公开回应争议：Ginux 不是要与 Linux 竞争的新内核，而是一场实验——「代码是可弃的，开发过程才是实验本身，内核只是证据」，目的是验证由资深工程师指导的 AI 智能体能否构建并验证极复杂的软件系统。
核心事实：
- 11 天内，一个持久运行的编码 agent 任务产出了独立的 Rust 优先 x86-64 内核，共约 13.9 万行代码，Kurtzer 负责架构指导，Codex 负责编写与测试
- Ginux 可通过 UEFI 启动，实现了自己的内存管理、调度器和网络栈，并带有 Linux 兼容层，能在虚拟机中启动 Rocky Linux 10（systemd）
- 已发布方法论文档（Zenodo），提出 Human-Directed Agentic Engineering（HDAE）：人定义架构、约束、里程碑、验收标准与停止点，agent 自主实现、执行、诊断、修订
- 项目以 Apache 2.0 开源，仍是实验原型，兼容性与硬件支持不完整；发布后社区已发现 bug 与安全问题并开始初步安全评审
「编程与Agent」频道最新
- Prove2Me 用 Claude 智能体形式化 2000+ 运筹学论文，已完成 64% — ChrSzegedy · 2026-10-30
- 用 Google 嵌入模型相似度循环优化商品图 alt text — dejanseo · 2026-10-30
- Agent 遇超时就重试付款？Only Then Labs 探讨不确定性决策 — tallmetommy · 2026-10-30
- Google 编码工具三线并存,Gemini CLI、Jules、Antigravity 该怎么选? — finbarrtimbers · 2026-10-30
- 实测 1-16 个编码 Agent 协作:多花 36% token 换来省 5 小时 — kyang8093 · 2026-10-30
- 团队用几个 Markdown 文件协调最多 50 个编码 Agent — ProfessionalNeat4403 · 2026-10-30