不使用AI编程，代码审查的全新革命
许多团队在代码审查上拖延、敷衍或陷入无止境的争论，主要原因并非审查本身枯燥或拉取请求过长，而是审查过程重复了编程的认知工作，且缺少中间步骤。工程师不喜欢审查代码的根本在于，它需要重建写代码时的N维思维上下文，而提交的代码只是二维快照，信息压缩严重。事实上，较短拉取请求的好处在于迫使开发者更好地组织文档，分步解释思路。代码审查的主要目的并非阻止坏代码，而是协调团队——确保成员对问题有共同理解，即使不同意具体方案也能达成一致。次要目的是指导，通过审查分享技术和加深知识。要使审查更轻松，可采用短拉取请求、提供设计文档或注释记录推理过程等方法。 #代码审查 #编程 #软件开发 #团队协作 #高效工作流 #技术管理 #开发者体验
许多团队在代码审查上拖延、敷衍或陷入无止境的争论，主要原因并非审查本身枯燥或拉取请求过长，而是审查过程重复了编程的认知工作，且缺少中间步骤。工程师不喜欢审查代码的根本在于，它需要重建写代码时的N维思维上下文，而提交的代码只是二维快照，信息压缩严重。事实上，较短拉取请求的好处在于迫使开发者更好地组织文档，分步解释思路。代码审查的主要目的并非阻止坏代码，而是协调团队——确保成员对问题有共同理解，即使不同意具体方案也能达成一致。次要目的是指导，通过审查分享技术和加深知识。要使审查更轻松，可采用短拉取请求、提供设计文档或注释记录推理过程等方法。 #代码审查 #编程 #软件开发 #团队协作 #高效工作流 #技术管理 #开发者体验
TokenDiet 推出 AI 费用优化服务
据 Fortytude 旗下 TokenDiet 服务介绍，其推出了一项专门针对 AI 调用费用的优化解决方案。该工具能自动扫描代码仓库，找出浪费的大语言模型调用，并直接生成包含前后对比证据的修复 Pull Request。用户只需审核后合并即可节省开支。目前，TokenDiet 已在所有连接的代码仓库中累计节省每月 12900 美元。服务提供 Basic、Pro 和 Custom 三个定价层级，按代码行数计费，每月分别为 249 美元、499 美元及定制价格。TokenDiet 强调其仅通过 PR 分支操作，从不接触数据库或生产环境，且代码仅在沙箱中读取约两分钟后即删除，不存储或用于训练。每个 PR 还附带免费的红绿 AI 成本检查功能。 #TokenDiet #Fortytude #AI成本 #代码优化 #GitHub #PR #SaaS #科技新闻 #开源工具
据 Fortytude 旗下 TokenDiet 服务介绍，其推出了一项专门针对 AI 调用费用的优化解决方案。该工具能自动扫描代码仓库，找出浪费的大语言模型调用，并直接生成包含前后对比证据的修复 Pull Request。用户只需审核后合并即可节省开支。目前，TokenDiet 已在所有连接的代码仓库中累计节省每月 12900 美元。服务提供 Basic、Pro 和 Custom 三个定价层级，按代码行数计费，每月分别为 249 美元、499 美元及定制价格。TokenDiet 强调其仅通过 PR 分支操作，从不接触数据库或生产环境，且代码仅在沙箱中读取约两分钟后即删除，不存储或用于训练。每个 PR 还附带免费的红绿 AI 成本检查功能。 #TokenDiet #Fortytude #AI成本 #代码优化 #GitHub #PR #SaaS #科技新闻 #开源工具
AI Agent 支付协议 MPP 正式发布
随着 AI Agent 和自动化程序自主执行任务的需求激增，机器间无需人类介入的支付场景成为亟待解决的基础设施问题。为应对这一挑战，Stripe 与 Tempo 联合推出了专为机器间支付设计的开放协议 Machine Payments Protocol（MPP）。该协议借鉴 HTTP 的挑战-响应机制，将支付流程自然嵌入网络请求的生命周期中。客户端发起请求后，服务器返回包含支付金额、货币类型等信息的支付挑战，客户端完成支付后携带凭证重新请求，实现无缝结算。MPP 支持稳定币转账、银行卡等多种支付方式，目前已有 TypeScript SDK 可供开发者集成。该协议的推出有望大幅提升机器间高频、动态支付的效率与安全性，推动 AI 自动化生态的发展。 #AI #支付协议 #MPP #Stripe #Tempo #机器支付 #区块链 #科技
随着 AI Agent 和自动化程序自主执行任务的需求激增，机器间无需人类介入的支付场景成为亟待解决的基础设施问题。为应对这一挑战，Stripe 与 Tempo 联合推出了专为机器间支付设计的开放协议 Machine Payments Protocol（MPP）。该协议借鉴 HTTP 的挑战-响应机制，将支付流程自然嵌入网络请求的生命周期中。客户端发起请求后，服务器返回包含支付金额、货币类型等信息的支付挑战，客户端完成支付后携带凭证重新请求，实现无缝结算。MPP 支持稳定币转账、银行卡等多种支付方式，目前已有 TypeScript SDK 可供开发者集成。该协议的推出有望大幅提升机器间高频、动态支付的效率与安全性，推动 AI 自动化生态的发展。 #AI #支付协议 #MPP #Stripe #Tempo #机器支付 #区块链 #科技
三星联合发布AI Agent稳定性基准测试，任务复杂度成关键瓶颈
三星与多所科研机构合作推出LiveClawBench，这是一项专门针对AI Agent系统稳定性的基准测试。研究团队通过量化任务复杂度因子，系统分析了当前AI模型在不同难度任务中的表现。实验发现，任务复杂度对Agent性能波动的影响远超任务领域本身。随着任务结构复杂度的提升，即便是先进的AI模型也表现出显著的性能不稳定性，尤其是在需要多步推理和动态调整策略的场景中。这一发现为优化AI Agent的可靠性提供了新视角，暗示未来研究需更关注任务分解与适应性机制的设计。该基准有望成为行业标准，推动AI系统从实验室走向实际应用。 #AI #AIAgent #基准测试 #稳定性 #任务复杂度 #三星 #科研
三星与多所科研机构合作推出LiveClawBench，这是一项专门针对AI Agent系统稳定性的基准测试。研究团队通过量化任务复杂度因子，系统分析了当前AI模型在不同难度任务中的表现。实验发现，任务复杂度对Agent性能波动的影响远超任务领域本身。随着任务结构复杂度的提升，即便是先进的AI模型也表现出显著的性能不稳定性，尤其是在需要多步推理和动态调整策略的场景中。这一发现为优化AI Agent的可靠性提供了新视角，暗示未来研究需更关注任务分解与适应性机制的设计。该基准有望成为行业标准，推动AI系统从实验室走向实际应用。 #AI #AIAgent #基准测试 #稳定性 #任务复杂度 #三星 #科研
阿里内部封杀 Claude 系列产品，疑因隐蔽审查风险
阿里巴巴于7月3日宣布，将从7月10日起在内部全面禁用 Anthropic 旗下的 Claude 系列模型及产品，包括 Sonnet、Opus、Fable 等，以及智能编程工具 Claude Code。此次封杀的导火索源于一起信任危机：6月30日，有开发者爆料称 Claude Code 在多个版本中内置暗箱操作，会检测用户系统时区是否为北京时间，并扫描一份包含阿里、字节跳动、月之暗面等147家中国科技企业的域名清单。一旦匹配成功，模型会通过修改提示词中的日期格式或使用字符隐写术，为用户或企业代码库打上“专属标记”，此举被指形同隐形监控，威胁数据主权和供应链安全。尽管 Anthropic 团队于7月2日回应称这只是防止恶意转售和模型蒸馏的实验性措施，并已在新版本中删除相关代码，但阿里仍迅速做出封杀决定。 #阿里巴巴 #Claude #Anthropic #AI安全 #数据主权 #科技新闻 #内部封杀
阿里巴巴于7月3日宣布，将从7月10日起在内部全面禁用 Anthropic 旗下的 Claude 系列模型及产品，包括 Sonnet、Opus、Fable 等，以及智能编程工具 Claude Code。此次封杀的导火索源于一起信任危机：6月30日，有开发者爆料称 Claude Code 在多个版本中内置暗箱操作，会检测用户系统时区是否为北京时间，并扫描一份包含阿里、字节跳动、月之暗面等147家中国科技企业的域名清单。一旦匹配成功，模型会通过修改提示词中的日期格式或使用字符隐写术，为用户或企业代码库打上“专属标记”，此举被指形同隐形监控，威胁数据主权和供应链安全。尽管 Anthropic 团队于7月2日回应称这只是防止恶意转售和模型蒸馏的实验性措施，并已在新版本中删除相关代码，但阿里仍迅速做出封杀决定。 #阿里巴巴 #Claude #Anthropic #AI安全 #数据主权 #科技新闻 #内部封杀
天工 3.2 升级 Skywork Tags，让 AI 加入工作群聊
昆仑万维旗下天工大模型推出 3.2 版本，核心功能 Skywork Tags 允许 AI 直接接入 Slack、飞书、钉钉等即时通讯工具，以团队成员身份常驻频道。这一设计打破了传统需要将上下文搬入独立工作区的模式，转而让 AI 直接融入现有工作环境。共享的 Skywork Tags 在同一频道中面向所有成员，具有透明性、可接力性以及持续学习能力。内部实验显示，团队共享的 Agent 经过数周使用后，表达能力超过个人定制版，越多人使用则能力越强。天工 3.2 旨在通过将 AI 引入日常协作场景，提升团队工作效率和上下文积累。 #天工3 #AI #Agent #协作 #工作群 #昆仑万维 #科技
昆仑万维旗下天工大模型推出 3.2 版本，核心功能 Skywork Tags 允许 AI 直接接入 Slack、飞书、钉钉等即时通讯工具，以团队成员身份常驻频道。这一设计打破了传统需要将上下文搬入独立工作区的模式，转而让 AI 直接融入现有工作环境。共享的 Skywork Tags 在同一频道中面向所有成员，具有透明性、可接力性以及持续学习能力。内部实验显示，团队共享的 Agent 经过数周使用后，表达能力超过个人定制版，越多人使用则能力越强。天工 3.2 旨在通过将 AI 引入日常协作场景，提升团队工作效率和上下文积累。 #天工3 #AI #Agent #协作 #工作群 #昆仑万维 #科技
黄仁勋发布RTX Spark，AI PC时代到来
英伟达创始人黄仁勋发布全球首款专为AI Agent设计的Windows PC超级芯片RTX Spark，由英伟达与联发科联合设计，台积电3纳米工艺制造，微软参与系统优化。这款SoC采用异构融合架构和统一内存技术，支持CPU与GPU共享128GB内存，带宽达600GB/秒，可本地运行1200亿参数大模型，支持100万token上下文，无需网络和云端费用。相比早期AI PC仅支持小模型，RTX Spark的AI算力达1 PetaFLOP，使本地大模型体验媲美云端，且数据不出机、token全免费，解决了用户对安全和成本的痛点。发布后英伟达股价上涨6.26%，ARM大涨15.73%，而英特尔和高通分别下跌4.67%和8.78%。中国芯片企业后摩智能的M50芯片采用存算一体架构，以10瓦功耗实现160TOPS算力，同样支持本地大模型。市场反应迅速，AI PC渗透率预计2026年一季度达42%，同比增长380%。业内认为，PC设计正从以人为本转向为AI智能体设计，用户能力将从操作转向提问与创造。 #英伟达 #黄仁勋 #AIPC #RTXSpark #AI #芯片 #大模型 #个人电脑 #科技
英伟达创始人黄仁勋发布全球首款专为AI Agent设计的Windows PC超级芯片RTX Spark，由英伟达与联发科联合设计，台积电3纳米工艺制造，微软参与系统优化。这款SoC采用异构融合架构和统一内存技术，支持CPU与GPU共享128GB内存，带宽达600GB/秒，可本地运行1200亿参数大模型，支持100万token上下文，无需网络和云端费用。相比早期AI PC仅支持小模型，RTX Spark的AI算力达1 PetaFLOP，使本地大模型体验媲美云端，且数据不出机、token全免费，解决了用户对安全和成本的痛点。发布后英伟达股价上涨6.26%，ARM大涨15.73%，而英特尔和高通分别下跌4.67%和8.78%。中国芯片企业后摩智能的M50芯片采用存算一体架构，以10瓦功耗实现160TOPS算力，同样支持本地大模型。市场反应迅速，AI PC渗透率预计2026年一季度达42%，同比增长380%。业内认为，PC设计正从以人为本转向为AI智能体设计，用户能力将从操作转向提问与创造。 #英伟达 #黄仁勋 #AIPC #RTXSpark #AI #芯片 #大模型 #个人电脑 #科技
Midjourney 要求迪士尼、环球和华纳兄弟披露AI使用情况，应对版权诉讼
在应对一场可能造成毁灭性打击的版权诉讼中，AI图像生成公司Midjourney正试图迫使迪士尼、环球影业和华纳兄弟等大型制片厂公开它们如何使用人工智能技术。Midjourney表示，这些好莱坞巨头已在内部测试或部署了类似的技术，要求它们提供相关证据将有助于厘清AI生成内容的版权边界。该诉讼由多位艺术家提起，指控Midjourney未经授权使用其作品训练模型，进而形成不正当竞争。如果原告胜诉，可能对整个AI创意产业产生深远影响。Midjourney的此举被视为其法律反击策略的一部分，旨在将责任分摊给其他使用AI的大型影视公司。 #AI #Midjourney #版权 #好莱坞 #法律诉讼 #人工智能 #迪士尼 #科技新闻
在应对一场可能造成毁灭性打击的版权诉讼中，AI图像生成公司Midjourney正试图迫使迪士尼、环球影业和华纳兄弟等大型制片厂公开它们如何使用人工智能技术。Midjourney表示，这些好莱坞巨头已在内部测试或部署了类似的技术，要求它们提供相关证据将有助于厘清AI生成内容的版权边界。该诉讼由多位艺术家提起，指控Midjourney未经授权使用其作品训练模型，进而形成不正当竞争。如果原告胜诉，可能对整个AI创意产业产生深远影响。Midjourney的此举被视为其法律反击策略的一部分，旨在将责任分摊给其他使用AI的大型影视公司。 #AI #Midjourney #版权 #好莱坞 #法律诉讼 #人工智能 #迪士尼 #科技新闻