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 改变编程范式的里程碑,,,,照旧会在未来化作一座难以维护的手艺债火山??????可能只能交给时间来验证了。。。
这一思路在擎朗研发专用机器人时就已见雏形。当时,李通和团队掌握了通过AI技术让机器人在复杂环境下移动、跑腿的能力,便去寻找需要这种技能的岗位,最终落地成为餐饮服务机器人。如今技术升级,机器人能掌握的技能更多了,能干的活也更多了。擎朗的逻辑是:找到更多岗位让机器人去落地,在不同岗位上积累数据,为更复杂的场景做准备。目前擎朗部署的人形机器人涉及咖啡厅、商超、酒店等行业。李通相信,2050年,机器人会超过人的数量。比亚迪的产品优势在于车型足够多、价格覆盖足够宽,在较为平价的产品线中,只要价格足够有竞争力,复杂的命名一度可以被配置和优惠消化,但到了 20 万元以上的市场,命名就显得更为重要,毕竟解释成本也是一种成本。消费者购买理想 L9 或问界 M9,不需要先查清它究竟是不是品牌旗舰,但在比亚迪这里,唐、大唐和唐 L 究竟谁高谁低,对于一个不熟悉产品的普通人来说并不直观。××× 在线寓目“党支部全体成员凝心聚力,发挥先锋模范作用。”黄飞华说,党员寇连山常态化开展便民理发服务。黄飞华和车队队员每周一、三、五早上6点35分准时送病人去医院做血透析,中午再到医院接病人回家。目前,共有20多名患者受益于车队帮助。党支部还定期帮助有需要的老人,配备爱心轮椅,上门陪护、节日慰问、心理陪伴样样不落。此外,党支部开展运河生态保护项目,免费接送特困群众游览运河……我们其实已经在一些新兴市场尝试广告加订阅的模式,目前也收到了不错的反馈。所以我觉得,现在整个行业距离真正成熟还有很长的路要走。
20260717 ? 百川智能与零一万物同样押注B端,主要产品为面向企业的AI应用。百川智能推出了面向医疗行业的AI大模型,零一万物则建立了万策AI和“一号位AI”产品矩阵,主要为CEO、关键业务负责人等企业高管提供企业经营、销售和投资决策AI工具。欧老太做爰 漫画莱因克尔继续说道:“这真的非常沮丧。我完全无法理解,所有球员都缩得很深,去面对足球史上最伟大的球员——而且我认为他正在一场又一场比赛中继续巩固这个地位——这居然会成为你的战术。
20260717 ? GPT-5.6 支持重要的防御任务,例如安全代码审查、补丁程序修补、威胁建模和蓝队演练。OpenAIDaybreak 的“网络安全可信访问”计划中符合资格的个人和组织可以通过更精准的安全保障措施,在授权环境中执行经过验证的工作,从而获得更多防御功能,包括漏洞分类和验证、恶意软件分析、检测工程和补丁验证。17C.COm克罗地亚足协认为,整个情况因以下问题而变得更加复杂:如果传感器数据毫无疑问地确认了触球,而VAR团队也无可争议地确定了越位,那么为什么裁判还要被叫到场边查看监视器?在这种情况下,这纯粹是一个事实性决定,VAR有权独立作出裁决。反之,如果裁判确实被叫去查看,他到底查看了什么?哪些具体的画面让他得出马塔诺维奇触球或影响了球运动的结论?