仅11天，Claude重写百万行代码，AI史诗级工程却引来愤怒
编程语言Zig创始人Andrew Kelley近日公开怒斥Bun团队，起因是Bun创始人Jarred Sumner在11天内用AI工具Claude将百万行Zig代码重写为Rust。Bun原以Zig编写，主打极速性能，去年被Anthropic收购后用于驱动AI编程工具Claude Code。团队认为Zig版本存在大量内存安全bug，且Zig社区对AI生成代码零容忍，维护成本过高。于是，Jarred Sumner借助Anthropic的Claude Fable 5模型，在11天内完成百万行代码重写，耗资约16.5万美元API费用。Kelley指责Jarred工程习惯糟糕，代码充满“黑客式补丁”，且AI生成的代码未经人工审查，存在2.7万行unsafe代码块，引发对未来技术债务的担忧。此事在科技圈引发激烈争论：有人惊叹AI将开发成本压缩至十分之一，也有人批评Kelley公开攻击赞助者缺乏职业素养，更有人担忧AI生成的庞大代码库将成为难以维护的火山。 #AI编程 #Bun #Zig #Rust #Claude #技术债 #开源社区 #智能体工作流 #编程语言
编程语言Zig创始人Andrew Kelley近日公开怒斥Bun团队，起因是Bun创始人Jarred Sumner在11天内用AI工具Claude将百万行Zig代码重写为Rust。Bun原以Zig编写，主打极速性能，去年被Anthropic收购后用于驱动AI编程工具Claude Code。团队认为Zig版本存在大量内存安全bug，且Zig社区对AI生成代码零容忍，维护成本过高。于是，Jarred Sumner借助Anthropic的Claude Fable 5模型，在11天内完成百万行代码重写，耗资约16.5万美元API费用。Kelley指责Jarred工程习惯糟糕，代码充满“黑客式补丁”，且AI生成的代码未经人工审查，存在2.7万行unsafe代码块，引发对未来技术债务的担忧。此事在科技圈引发激烈争论：有人惊叹AI将开发成本压缩至十分之一，也有人批评Kelley公开攻击赞助者缺乏职业素养，更有人担忧AI生成的庞大代码库将成为难以维护的火山。 #AI编程 #Bun #Zig #Rust #Claude #技术债 #开源社区 #智能体工作流 #编程语言
AI Agent 编程能力大比拼
一项针对主流 AI Agent 的 Rust 编程能力测试引发关注。该测试要求 ChatGPT、Claude、Gemini、Qwen 和 Hy3 等模型在严格的零依赖环境下完成 Rust 语言的闰年判断程序。结果显示，各 AI Agent 面对这一看似简单的任务表现各异，部分模型在理解约束条件和编写符合 Rust 语言特性的代码方面表现出色，而另一些则未能完全规避外部依赖。这一测试揭示了当前 AI 在严格、底层的编程任务中的能力差异，尤其是在遵循指令和处理 Rust 所有权、借用等特有规则上的表现。专家认为，此类针对性测试有助于评估 AI 在特定编程范式下的实际应用潜力。 #AI编程 #Rust #闰年 #ChatGPT #Claude #Gemini #Qwen #Hy3 #编程挑战
一项针对主流 AI Agent 的 Rust 编程能力测试引发关注。该测试要求 ChatGPT、Claude、Gemini、Qwen 和 Hy3 等模型在严格的零依赖环境下完成 Rust 语言的闰年判断程序。结果显示，各 AI Agent 面对这一看似简单的任务表现各异，部分模型在理解约束条件和编写符合 Rust 语言特性的代码方面表现出色，而另一些则未能完全规避外部依赖。这一测试揭示了当前 AI 在严格、底层的编程任务中的能力差异，尤其是在遵循指令和处理 Rust 所有权、借用等特有规则上的表现。专家认为，此类针对性测试有助于评估 AI 在特定编程范式下的实际应用潜力。 #AI编程 #Rust #闰年 #ChatGPT #Claude #Gemini #Qwen #Hy3 #编程挑战
微软在 SymCrypt 中实现 Rust 密码学形式化验证，确保代码符合标准
微软宣布，通过形式化验证技术，其核心密码学库 SymCrypt 中新增的 Rust 代码已获得数学级别的正确性保证。密码学是操作系统、云服务等数字基础设施的基石，微小错误可能导致严重安全风险。传统的测试与审计无法完全覆盖底层优化代码的复杂性。微软采用 Rust 语言编写安全密码学实现，并利用 Lean 形式化证明框架和 Aeneas 工具链，将公开标准转化为可执行的数学规范，从而验证代码是否完全符合要求。这一方法论尤其适用于后量子密码学等需要快速、安全实现复杂算法的领域。微软已开源包含形式化规范和证明的 SymCrypt 分支，首批完成验证的 Rust 算法包括 ML-KEM 和 SHA3，已用于 Windows 内部测试版。更多算法如 AES-GCM、FrodoKEM 和 ML-DSA 的验证工作正在进行中。此举为生产级密码学提供双重保障：Rust 消除内存安全漏洞，Lean 证明确保功能正确性。 #微软 #密码学 #形式化验证 #Rust #Lean #开源 #后量子密码学 #网络安全
微软宣布，通过形式化验证技术，其核心密码学库 SymCrypt 中新增的 Rust 代码已获得数学级别的正确性保证。密码学是操作系统、云服务等数字基础设施的基石，微小错误可能导致严重安全风险。传统的测试与审计无法完全覆盖底层优化代码的复杂性。微软采用 Rust 语言编写安全密码学实现，并利用 Lean 形式化证明框架和 Aeneas 工具链，将公开标准转化为可执行的数学规范，从而验证代码是否完全符合要求。这一方法论尤其适用于后量子密码学等需要快速、安全实现复杂算法的领域。微软已开源包含形式化规范和证明的 SymCrypt 分支，首批完成验证的 Rust 算法包括 ML-KEM 和 SHA3，已用于 Windows 内部测试版。更多算法如 AES-GCM、FrodoKEM 和 ML-DSA 的验证工作正在进行中。此举为生产级密码学提供双重保障：Rust 消除内存安全漏洞，Lean 证明确保功能正确性。 #微软 #密码学 #形式化验证 #Rust #Lean #开源 #后量子密码学 #网络安全
Agent Paradise 推出“代码即标准”系统，让AI代理走确定性路径
AI代理开发中常面临重复模式需反复解释的问题，传统做法是将通用工作流转化为可复用技能。但推理过程成本高昂，且随机性设计（如高尔顿板效应）导致相同输入可能产生不同输出。Agent Paradise团队提出APSS系统：将最佳实践编码为可执行、自验证的标准。该系统基于Rust构建，围绕工件形态定义schema作为唯一真相源，同时提供生成器和验证器。生成器产出符合标准的工件，验证器则证明给定工件是否符合规范。子标准可在此基础上生成视图或报告，无需修改原标准。这一设计将标准从规则描述升级为可双向执行的规则本身——从定义到验证形成闭环，确保确定性。团队认为，日常代理任务大多有确定性答案，无需每次都走随机推理的昂贵路径。 #AI代理 #确定性编程 #代码即标准 #APSS #Rust #自动化 #软件工程
AI代理开发中常面临重复模式需反复解释的问题，传统做法是将通用工作流转化为可复用技能。但推理过程成本高昂，且随机性设计（如高尔顿板效应）导致相同输入可能产生不同输出。Agent Paradise团队提出APSS系统：将最佳实践编码为可执行、自验证的标准。该系统基于Rust构建，围绕工件形态定义schema作为唯一真相源，同时提供生成器和验证器。生成器产出符合标准的工件，验证器则证明给定工件是否符合规范。子标准可在此基础上生成视图或报告，无需修改原标准。这一设计将标准从规则描述升级为可双向执行的规则本身——从定义到验证形成闭环，确保确定性。团队认为，日常代理任务大多有确定性答案，无需每次都走随机推理的昂贵路径。 #AI代理 #确定性编程 #代码即标准 #APSS #Rust #自动化 #软件工程
Bun 用 AI 重写代码引发三方激辩
Bun 团队在沉寂两个月后发布文章，宣布借助 Claude 将 Zig 代码重写为 Rust。Zig 创始人 Andrew Kelley 次日发文激烈回应，指责 Bun 的 Zig 代码长期“漏洞叠漏洞”，双方关系早已破裂，而外界所谓的“单方面逃离”实则是双方都想要的“离婚”。资深开发者 Ray Myers 则指出，这一决策更像是营销而非技术必需——AI 能写出百万行代码，却无法捕捉一个 use-after-free 漏洞。争议的焦点是：Bun 宣称所有 6 万测试、138 万断言全部通过，但 Kelley 反问，若测试足够可靠，为何 Zig 代码中还有那么多 bug？Myers 也强调，写代码的 AI 无法检测自己写出的漏洞。Bun 自己的事后分析承认遗漏了 19 个 bug。三方的共同结论是：绿色测试套件不是真正的验证。 #Bun #Zig #AI #代码重写 #软件测试 #Rust #Claude #软件工程 #争议
Bun 团队在沉寂两个月后发布文章，宣布借助 Claude 将 Zig 代码重写为 Rust。Zig 创始人 Andrew Kelley 次日发文激烈回应，指责 Bun 的 Zig 代码长期“漏洞叠漏洞”，双方关系早已破裂，而外界所谓的“单方面逃离”实则是双方都想要的“离婚”。资深开发者 Ray Myers 则指出，这一决策更像是营销而非技术必需——AI 能写出百万行代码，却无法捕捉一个 use-after-free 漏洞。争议的焦点是：Bun 宣称所有 6 万测试、138 万断言全部通过，但 Kelley 反问，若测试足够可靠，为何 Zig 代码中还有那么多 bug？Myers 也强调，写代码的 AI 无法检测自己写出的漏洞。Bun 自己的事后分析承认遗漏了 19 个 bug。三方的共同结论是：绿色测试套件不是真正的验证。 #Bun #Zig #AI #代码重写 #软件测试 #Rust #Claude #软件工程 #争议
开发者构建AI代理记忆引擎Perseus Vault，替代Obsidian管理知识库
一位名为Thomas Connally的开发者近日分享了其构建AI代理记忆引擎Perseus Vault的经验。他表示，此前使用Obsidian管理2000余条笔记，随着笔记数量超过1500条，AI代理的搜索能力急剧下降，甚至出现幻觉和上下文膨胀。问题根源在于Obsidian为人类设计，而AI需要面向机器优化的记忆结构。为此，他开发了Perseus Vault——一个基于Rust编写的8MB单一二进制文件，无需Docker或云依赖，作为MCP服务器运行，提供57个工具接口。该引擎实现了混合搜索（FTS5+密集嵌入）、事实重要性权重与自然衰减机制、内容去重、双时态历史记录以及静态加密等特性，确保AI代理能快速精确调取知识，且完全离线运行。 #AI代理 #记忆引擎 #PerseusVault #Obsidian #知识管理 #Rust #离线
一位名为Thomas Connally的开发者近日分享了其构建AI代理记忆引擎Perseus Vault的经验。他表示，此前使用Obsidian管理2000余条笔记，随着笔记数量超过1500条，AI代理的搜索能力急剧下降，甚至出现幻觉和上下文膨胀。问题根源在于Obsidian为人类设计，而AI需要面向机器优化的记忆结构。为此，他开发了Perseus Vault——一个基于Rust编写的8MB单一二进制文件，无需Docker或云依赖，作为MCP服务器运行，提供57个工具接口。该引擎实现了混合搜索（FTS5+密集嵌入）、事实重要性权重与自然衰减机制、内容去重、双时态历史记录以及静态加密等特性，确保AI代理能快速精确调取知识，且完全离线运行。 #AI代理 #记忆引擎 #PerseusVault #Obsidian #知识管理 #Rust #离线
Decibri 发布统一音频层，简化 AI 语音应用开发
Decibri 是一个专为 AI 代理和语音 AI 应用设计的统一音频层，支持 Python、 和 Rust 语言。它解决了实时音频捕获与播放的常见痛点——无需系统音频工具、编译工具或复杂配置，即装即用。Decibri 提供麦克风输入、扬声器输出、内置语音活动检测（VAD），并默认以 100ms 音频块直接捕获，可无缝接入 WebSocket、文件或语音代理。其预编译二进制包覆盖 macOS、Windows 和 Linux 平台，零系统依赖，并附带 Silero VAD 模型用于本地语音检测。该工具尤其适用于实时转录、唤醒词检测、语音代理和音频监控等场景。 #AI #语音AI #音频处理 #实时音频 #开发者工具 #跨平台 #开源项目 #Python #NodeJS #Rust
Decibri 是一个专为 AI 代理和语音 AI 应用设计的统一音频层，支持 Python、 和 Rust 语言。它解决了实时音频捕获与播放的常见痛点——无需系统音频工具、编译工具或复杂配置，即装即用。Decibri 提供麦克风输入、扬声器输出、内置语音活动检测（VAD），并默认以 100ms 音频块直接捕获，可无缝接入 WebSocket、文件或语音代理。其预编译二进制包覆盖 macOS、Windows 和 Linux 平台，零系统依赖，并附带 Silero VAD 模型用于本地语音检测。该工具尤其适用于实时转录、唤醒词检测、语音代理和音频监控等场景。 #AI #语音AI #音频处理 #实时音频 #开发者工具 #跨平台 #开源项目 #Python #NodeJS #Rust
用AI重写Postgres
经过四轮尝试和投入约10万美元，开发者成功利用AI模型Opus将Postgres数据库用Rust语言重写，形成了名为pgrust的新项目。整个重写过程历时三个月，通过并行运行40个子代理，最终生成180万行地道Rust代码。开发者认为，将Postgres从C语言迁移到Rust后，AI可以更安全地为其添加新功能。目前正在开发的第五版pgrust在事务负载下比原版Postgres更快，分析查询性能则与Clickhouse相当（后者分析速度比Postgres快数百倍）。首版尝试按功能逐项移植，但因底层架构问题失败；后续改为逐文件移植，并利用AI辅助代码生成和测试，最终成功。这一经验为大型遗留系统的AI重写提供了可复用的方法论。 #AI #Postgres #Rust #数据库 #开源 #代码重写 #pgrust
经过四轮尝试和投入约10万美元，开发者成功利用AI模型Opus将Postgres数据库用Rust语言重写，形成了名为pgrust的新项目。整个重写过程历时三个月，通过并行运行40个子代理，最终生成180万行地道Rust代码。开发者认为，将Postgres从C语言迁移到Rust后，AI可以更安全地为其添加新功能。目前正在开发的第五版pgrust在事务负载下比原版Postgres更快，分析查询性能则与Clickhouse相当（后者分析速度比Postgres快数百倍）。首版尝试按功能逐项移植，但因底层架构问题失败；后续改为逐文件移植，并利用AI辅助代码生成和测试，最终成功。这一经验为大型遗留系统的AI重写提供了可复用的方法论。 #AI #Postgres #Rust #数据库 #开源 #代码重写 #pgrust
Bun 团队借助 Anthropic 新模型实现 Rust 重写，耗时仅一周
Bun 是一款每月下载量达 2200 万次的复杂项目，依赖于 Zig 语言开发，但内存相关错误频发，如内存泄漏、崩溃及堆越界写入等问题。尽管团队已修补 Zig 编译器并实施端到端测试，问题仍未根除。创始人 Jarred 表示，转向内存安全且高性能的语言如 Rust 可消除此类错误。然而，完全重写通常需耗费 18 个月甚至更久，导致用户无实际新功能可用。Jarred 决定尝试用 Anthropic 的新模型 Fable 进行重写。经过三小时的密集准备，他成功引导模型将 53.5 万行 Zig 代码逐步转化为 Rust 代码。最终，整个迁移仅用一周左右，大幅缩短了传统重写周期。该案例展示了 AI 辅助代码迁移的潜力，但 Jarred 强调仍需大量人工审查与优化。 #Bun #Rust #AI辅助编程 #Claude #Anthropic #代码迁移 #软件工程
Bun 是一款每月下载量达 2200 万次的复杂项目，依赖于 Zig 语言开发，但内存相关错误频发，如内存泄漏、崩溃及堆越界写入等问题。尽管团队已修补 Zig 编译器并实施端到端测试，问题仍未根除。创始人 Jarred 表示，转向内存安全且高性能的语言如 Rust 可消除此类错误。然而，完全重写通常需耗费 18 个月甚至更久，导致用户无实际新功能可用。Jarred 决定尝试用 Anthropic 的新模型 Fable 进行重写。经过三小时的密集准备，他成功引导模型将 53.5 万行 Zig 代码逐步转化为 Rust 代码。最终，整个迁移仅用一周左右，大幅缩短了传统重写周期。该案例展示了 AI 辅助代码迁移的潜力，但 Jarred 强调仍需大量人工审查与优化。 #Bun #Rust #AI辅助编程 #Claude #Anthropic #代码迁移 #软件工程
从AI怀疑到设计智能体协议：一名程序员的“Vibe Coding”游戏开发之旅
一位曾被裁员打击的程序员在AI浪潮中扭转态度，从“AI黑子”变为积极拥抱者。他利用Rust、Bevy和SpacetimeDB等非主流技术栈，通过“vibe coding”（一种依赖AI辅助快速迭代的编程方式）开发了一款名为SAO: Slop Art Online的MMO原型游戏。该游戏的核心创新是让所有NPC（商人、守卫、怪物等）均由大语言模型实时驱动，行为与玩家无异。然而，实时战斗场景中的低延迟需求暴露了直接调用LLM的瓶颈，他曾尝试微调小模型但受限于成本与动态机制。这一挑战反而促使他转向设计一套AI智能体间的标准化通信协议，以在保证实时性的同时实现高效协作。该项目既是他个人职业转型的试验场，也揭示了AI辅助编程在游戏开发中的潜力与难题。 #AI编程 #VibeCoding #游戏开发 #智能体协议 #Rust #MMO #大模型
一位曾被裁员打击的程序员在AI浪潮中扭转态度，从“AI黑子”变为积极拥抱者。他利用Rust、Bevy和SpacetimeDB等非主流技术栈，通过“vibe coding”（一种依赖AI辅助快速迭代的编程方式）开发了一款名为SAO: Slop Art Online的MMO原型游戏。该游戏的核心创新是让所有NPC（商人、守卫、怪物等）均由大语言模型实时驱动，行为与玩家无异。然而，实时战斗场景中的低延迟需求暴露了直接调用LLM的瓶颈，他曾尝试微调小模型但受限于成本与动态机制。这一挑战反而促使他转向设计一套AI智能体间的标准化通信协议，以在保证实时性的同时实现高效协作。该项目既是他个人职业转型的试验场，也揭示了AI辅助编程在游戏开发中的潜力与难题。 #AI编程 #VibeCoding #游戏开发 #智能体协议 #Rust #MMO #大模型
Claude Code 改用 Rust 编写的 Bun
据最新消息，Claude Code 现已采用由 Rust 语言编写的 Bun 运行时。这一变更预计将提升性能与稳定性，Bun 作为新兴的 JavaScript/TypeScript 运行时，其 Rust 实现带来了更快的启动速度和更低的资源消耗。此举可能影响开发者工具链的配置选择，并引发对 Rust 在构建高效后端基础设施中作用的进一步关注。目前尚不清楚此改动是否会改变 Claude Code 的现有功能或 API 兼容性。 #ClaudeCode #Bun #Rust #JavaScript #开发工具 #性能优化 #技术更新
据最新消息，Claude Code 现已采用由 Rust 语言编写的 Bun 运行时。这一变更预计将提升性能与稳定性，Bun 作为新兴的 JavaScript/TypeScript 运行时，其 Rust 实现带来了更快的启动速度和更低的资源消耗。此举可能影响开发者工具链的配置选择，并引发对 Rust 在构建高效后端基础设施中作用的进一步关注。目前尚不清楚此改动是否会改变 Claude Code 的现有功能或 API 兼容性。 #ClaudeCode #Bun #Rust #JavaScript #开发工具 #性能优化 #技术更新
Stoke 推出 AI 代理“紧急终止开关”
Stoke 发布了一项名为“Kill Switch”的新功能，用于防止 AI 代理失控运行。该工具允许用户为每个 API 密钥设置美元支出上限，在每次请求前检查预算，超限则直接返回 429 Budget exceeded 错误，代理可据此自行处理，而非事后审计。实时支出可通过 /v1/budget 端点查看，非流式响应中包含 stoke_cost 字段记录单次成本。流式响应也会累计费用，Stoke 会在流结束或客户端断开时根据提供商报告的用量结算；若提供商不报告用量，则基于估算计费并标记，避免出现零费用。该功能基于 Rust 实现，旨在帮助开发者在前端动态控制 AI 代理的调用成本。 #AI安全 #预算控制 #API管理 #Stoke #Rust #AI代理 #成本管理
Stoke 发布了一项名为“Kill Switch”的新功能，用于防止 AI 代理失控运行。该工具允许用户为每个 API 密钥设置美元支出上限，在每次请求前检查预算，超限则直接返回 429 Budget exceeded 错误，代理可据此自行处理，而非事后审计。实时支出可通过 /v1/budget 端点查看，非流式响应中包含 stoke_cost 字段记录单次成本。流式响应也会累计费用，Stoke 会在流结束或客户端断开时根据提供商报告的用量结算；若提供商不报告用量，则基于估算计费并标记，避免出现零费用。该功能基于 Rust 实现，旨在帮助开发者在前端动态控制 AI 代理的调用成本。 #AI安全 #预算控制 #API管理 #Stoke #Rust #AI代理 #成本管理
Mixlayer 推出支持 GLM 5.2 的推理平台，成本降低 10 倍
Mixlayer 宣布其推理平台正式支持 GLM 5.2 模型，并主打“前沿智能、成本降低 10 倍”的理念。该平台基于自研的 Mixlayer 推理引擎，提供 Qwen、DeepSeek 等最新开源模型的 Serverless API，价格低至每百万 token 0 美元起。平台支持零数据保留，请求仅内存处理、用完即弃，确保隐私安全。同时提供灵活部署选项，可在云端、本地或边缘运行，且兼容 OpenAI 的 API 与 SDK，开发者可无缝迁移。推理引擎采用 Rust 开发，具备高吞吐和低延迟特性，并构建了全球冗余基础设施，保障高可用性。Mixlayer 还提供从 GPU 到智能体的专家支持，帮助客户快速落地。 #Mixlayer #GLM5.2 #AI推理 #开源模型 #成本降低 #零数据保留 #Rust #Serverless #AI平台
Mixlayer 宣布其推理平台正式支持 GLM 5.2 模型，并主打“前沿智能、成本降低 10 倍”的理念。该平台基于自研的 Mixlayer 推理引擎，提供 Qwen、DeepSeek 等最新开源模型的 Serverless API，价格低至每百万 token 0 美元起。平台支持零数据保留，请求仅内存处理、用完即弃，确保隐私安全。同时提供灵活部署选项，可在云端、本地或边缘运行，且兼容 OpenAI 的 API 与 SDK，开发者可无缝迁移。推理引擎采用 Rust 开发，具备高吞吐和低延迟特性，并构建了全球冗余基础设施，保障高可用性。Mixlayer 还提供从 GPU 到智能体的专家支持，帮助客户快速落地。 #Mixlayer #GLM5.2 #AI推理 #开源模型 #成本降低 #零数据保留 #Rust #Serverless #AI平台