Andrew Kelley 毫无遮拦地展示了自己的怒火,,,,他没有在这个征象级手艺事务中说客套话,,,,直接将矛头瞄准了 Jarred Sumner 的个人工程习惯、治理能力,,,,以及这起事务背后的商业逻辑。。。。
详细来说,,,,Zig 版本的 Bun 保存大宗内存清静 bug——use-after-free、double-free、过失路径中遗忘释放内存等。。。。这些问题在 Zig 中只能靠编码规范约束,,,,而在 Rust 中通过借用检查器和 Drop 机制会直接酿成编译过失。。。。
另一方面,,,,Zig 上游社区对大语言模子(LLM)天生代码接纳零容忍政策,,,,纵然是与 AI 无关的优化改动也无法合入上游。。。。Bun 团队重度依赖 AI 辅助开发,,,,继续使用 Zig 意味着必需恒久维护自己的编译器分支,,,,本钱很高。。。。
于是在今年 5 月,,,,我们见证了科技圈的一场大工程:Bun 的首创人 Jarred Sumner 宣布,,,,将 Bun 的百万行代码在 11 天内推倒重来用 Rust 重写了,,,,他们使用的是 Anthropic 其时尚未果真宣布的Claude Fable 5(Mythos 级模子)和 Claude Code 的动态事情流能力。。。。
首先是 AI 还没有兴起的时间,,,,Jarred 就一直在写垃圾代码。。。。Kelley 体现,,,,Zig 团队经;;;;;峒觳橛没У拇肟,,,,而他们对 Bun 的代码库感应「极其恐惧」。。。。内里充满了黑客式的补丁摞补。。。。╤acks on top of hacks)、滥用断言,,,,并且为了快速上线新功效,,,,险些从不花时间消除 Bug 和手艺债。。。。
然后就是用 Claude 天生的百万行代码了。。。。Kelley 反问道:「Bun 官方声称 100 万行未经由人工审查的 Rust(AI 写的)代码由于有测试用例以是是清静的;;;;;那若是测试用例真的这么完整,,,,为什么原来用 Zig 写的时间没能抓出那些烦人的 Bug??????」
Kelley 直言当得知 Bun 决议弃用 Zig 时,,,,他不但没有被起义的恼怒,,,,反而松了一口吻。。。。他畏惧打着 Zig 招牌的 Bun 会让外界爆发误解,,,,更怕它引来一群只会复制粘贴 AI 代码的用户。。。。他甚至讥笑地体现,,,,自己正捧着一杯茶,,,,庆幸「这终于不关我的事了」。。。。
首先是算了一笔账:都说 Claude 的 token 太贵,,,,但凭证 Jarred Sumner 和 Bun 官方宣布的数据,,,,Rust 语言重写的 Bun 项目预计消耗了 16.5 万美元的 API 用度。。。。在科技圈和工程界看来,,,,这个价钱和时间自制得令人恐惧。。。。
其次是对开源社区文化与 AI 时代碰撞的态度。。。。有人在看完 Zig 首创人 Andrew 的博文之后感应极端不适,,,,以为他果真攻击一经的主要用户和赞助者(Bun 曾恒久资助 Zig),,,,显得缺乏职业素养,,,,甚至有人激进地体现「从未云云自动希望一种编程语言失败」。。。。
现在争议最大的的地方在于,,,,这 100 万行代码由于是 AI 直接由 Zig 机械翻译而来,,,,缺少人类工程师的架构重构。。。。新代码库中残留了高达 2.7 万行 unsafe 代码块。。。。许多人担心,,,,未来人类开发者在维护、阅读和修改这坨重大的「AI 天生物」时,,,,泯灭的认知本钱和排错本钱,,,,最终可能会凌驾今天省下的前置开发本钱。。。。
这个突破软件工程历史纪律的项目,,,,最终会是一场 AI 改变编程范式的里程碑,,,,照旧会在未来化作一座难以维护的手艺债火山??????可能只能交给时间来验证了。。。。
7月13日,独立安全研究员@cereblab发布抓包分析:Grok Build CLI(v0.2.93)会在用户毫不知情的情况下,将整个Git仓库:包括未被读取的文件、完整的Git历史、.env配置文件甚至SSH密钥,打包上传至xAI的谷歌云存储桶。即便用户关闭“改进模型”选项,上传行为依然无法停止。此外,海峡护航存在非对称博弈特点。对美方而言,要充当“海峡守护者”,必须实现接近百分之百的护航成功率,否则即任务失败;反观伊朗,只要对个别商船实施袭扰就能吓退试图穿行海峡的绝大多数船只,从而挫败美军护航行动。《劳拉的神秘》“虽然有人认为,亚马尔夹着的手臂手球就是无意的。实际上这并不是判断是否故意手球的唯一标准。我们看这球判罚的时候,亚马尔实际双眼紧盯这个来球,他知道这个球的方向、落点以及路线。他在这种情况下仍然夹着手臂冲向了球,并且手臂触及球,而且还被判罚点球。所以在这种情况下,实际上如果判罚手球犯规在先,取消点球更合理。”什么“神作”“爆款”“天花板”“yyds”,这些词观众听第一遍还觉得新鲜,听第十遍就烦,听第一百遍直接条件反射——吹得这么狠,指定是诈骗。
20260717 ? 在政务服务领域,“一网通办”等便民服务的背后也是算电协同在支撑。海量的政务数据需要算力进行处理和分析,而政务服务的全天候运行需要稳定的电力供应。算电协同可以优化政务数据中心的电力和算力调度,让审批流程更快捷、服务更高效。比如说,当你在线办理社保、公积金等业务时,算力能快速处理你的申请数据,电力则保证系统24小时正常运行,让你不用跑窗口,在家就能完成办理。《金鸳鸯》影戏要知道,这是阿根廷连续四场淘汰赛完成绝杀,面对佛得角、瑞士都是加时赛绝杀,对阵埃及、英格兰都是常规补时阶段绝杀,球队韧性太强了,也很能踢逆风球。
20260717 ? 3、另外一点,如果是我的话会首选海淀,比如车道沟这种九年制的,在学区内寻找溢价低的房子。因为小升初同样省心,不比陶白差。www 在线寓目zd视频足球世界总是充满巧合。梅里诺有可能在世界杯决赛中遇到自己职业生涯早期的一位主教练。20岁时,他曾加盟由图赫尔执教的多特蒙德。如今执教英格兰的图赫尔,当时曾多次让梅里诺出任中后卫。回忆起这段经历,梅里诺笑着说道。