在 AI 时代,拥抱 AI 显然是大势所趋,连大名鼎鼎的 Linux 之父 Linus Torvalds 已经从年初开始在个人项目中使用 AI 编程。 但总有一些坚守者,他们的态度很明确:不接受 AI 代码。开源现代编程语言 Zig 是其中的代表之一。 Zig 由一家非营利组织以及一批贡献者共同维护。任何程序员都可以向它的代码仓库提交代码,只要遵守项目的行为准则。 规则之一就是:禁止提交 AI 辅...
在 AI 时代,拥抱 AI 显然是大势所趋,连大名鼎鼎的 Linux 之父 Linus Torvalds 已经从年初开始在个人项目中使用 AI 编程。 但总有一些坚守者,他们的态度很明确:不接受 AI 代码。开源现代编程语言 Zig 是其中的代表之一。 Zig 由一家非营利组织以及一批贡献者共同维护。任何程序员都可以向它的代码仓库提交代码,只要遵守项目的行为准则。 规则之一就是:禁止提交 AI 辅助生成的代码。政策写得很清楚:不接受任何由大语言模型生成的内容,也不接受由大语言模型改写、润色、编辑、头脑风暴或调试过的内容。简单来说,就是让 AI 离 Zig 的代码贡献远一点。 完整内容见链接:https://ziglang.org/code-of-conduct/ 在近日 JetBrains 的播客节目中,Zig 创建者兼首席开发者 Andrew Kelley 将 AI 辅助贡献称为「垃圾」。 Kelley 表示:「有人给我们提交完全没有价值的贡献。它们甚至是负价值,因为会占用团队有限的代码审查时间。」 Zig 的代码贡献主要由少数核心团队成员负责审查。这正是 Kelley 所强调的项目「瓶颈」:提交的 pull request 数量超过了审查者的处理能力。在访谈中,Kelley 提到 Zig 当时还有 200 个未处理的 pull request。 他进一步表示,当我们收到 AI 生成的「垃圾贡献」,并在审核几次之后发现,他们根本不知道自己在做什么。「有些贡献者只是把我们说的话复制粘贴回对话框,并试图通过清洗聊天记录来假装自己没有使用 AI 聊天功能,但我们依然能够看出来,并意识到永远不会有高质量的贡献。」 因此,这些「垃圾贡献」只会进一步拖慢整个团队的节奏。「我们浪费了所有人的时间,其他耐心等待的人提交的代码没有得到审核和合并。」 虽然 Zig 体量相对较小,但它的影响力并不小。比如,Bun 就是用 Zig 开发的,而 Bun 后来被 Anthropic 收购。与 Zig 不同,Bun 是拥抱 AI 的,几天前,Bun 创建者 Jarred Sumner 发推表示自己使用 Claude Code 的新功能动态工作流将 Bun 从 Zig 移植到了 Rust。 在 Claude Code、OpenAI Codex 等工具推动下,AI 辅助写代码已经席卷硅谷。有些人用...
In this article .HSI @DJ.1 Follow your favorite stocks CREATE FREE ACCOUNT Hong Kong's Victoria Harbour. Yaorusheng | Moment | Getty Images Asia-Pacific markets were set to open mixed on Monday as investors monitored lingering uncertainty around U.S.-Iran negotiations after President Donald Trump said he was in "no hurry" to strike a deal to end the conflict, now in its fourth month. The U.S. and ...
In this article .HSI @DJ.1 Follow your favorite stocks CREATE FREE ACCOUNT Hong Kong's Victoria Harbour. Yaorusheng | Moment | Getty Images Asia-Pacific markets were set to open mixed on Monday as investors monitored lingering uncertainty around U.S.-Iran negotiations after President Donald Trump said he was in "no hurry" to strike a deal to end the conflict, now in its fourth month. The U.S. and Iran have still not finalized an agreement to end the conflict , Trump said in an interview with his daughter-in-law, Lara Trump, on Fox News Saturday. He added that he is pressing for a deal that would ensure Iran never acquires a nuclear weapon. While he said he would prefer a swift resolution, he stressed that he was not rushing negotiations and warned that military action could resume if talks collapse. "I'd like to say I'm in a hurry because gasoline prices are going to come tumbling down, but if you're going to be in a hurry, you're not going to make a good deal," Trump said. "And slowly but surely we're getting, I think, what we want, and if we don't get what we want we're going to end it a different way." Japan's Nikkei 225 was poised to rise, with the Chicago futures contract at 66,405 compared with the index's previous close of 66,329.5. In Australia, futures last traded slightly higher at 8,737, compared with the S&P/ASX 200 's last close of 8,731.7. However, Hong Kong's Hang Seng index futures were at 25,098, lower than the index's last close of 25,182.39. Last Friday on Wall Street, U.S. equities closed at record highs while crude prices slipped, helping the major averages score a winning month, boosted by technology. The Nasdaq Composite settled up 0.2% at 26,972.62, while the S&P 500 climbed 0.22% to 7,580.06. The Dow Jones Industrial Average finished up 363.49 points, or 0.72%, at 51,032.46. All three indexes hit fresh all-time intraday highs earlier as well. — CNBC's Sarah Min and Lisa Kailah Han contributed to this report Choose CNBC as your preferred sour...
格隆汇6月1日|据消息人士透露,又有约15家企业有意入股由软银等机构联合成立的日本新兴人工智能研发公司。东芝、日立、KDDI研究所等企业计划参与投资,旨在让这家新公司的人工智能研发业务契合自身发展需求。人工智能系统研发企业普莱德网络与鱼群人工智能也有望入局,并主导相关研发工作。日本一众人工智能研发及应用企业希望携手攻关前沿技术,重塑行业竞争力。这家新公司将主攻实体人工智能系统,相关技术最终会应用于机器人设备。日本各大领域企业(以制造企业为主)纷纷参与其中,计划借助该技术实现生产自动化等目标。有意向投资这家名为日本人工智能平台模型开发公司( Nihon AI Kiban Moderu Kaihatsu, Japan AI platform model development )的企业还包括:工业机器人巨头发那科、安川电机,大金工业、大型电力企业JERA、旭化成以及日本生命保险。此外,富士通等十家企业也据传正在考虑入局。预计未来入股该新公司的企业数量还会进一步增加。