Bashkit 发布：基于 Rust 的极速虚拟 Bash 沙箱，专为 AI 代理设计
Bashkit 是一款用 Rust 编写的高性能虚拟 Bash 沙箱，专为 AI 代理提供安全的脚本执行环境。其核心优势在于无需生成任何操作系统进程即可运行不受信任的 Shell 脚本，所有操作均在内存中完成并完全沙箱化。该工具重新实现了 156 个常用命令，具备广泛的 POSIX Shell 语言覆盖能力，并内置虚拟文件系统、资源限制机制以及面向代理框架的工具接口。Bashkit 支持 Rust、Python 和 TypeScript 三种语言的运行时嵌入，提供无进程派生、虚拟文件系统（包括 InMemoryFs、OverlayFs 等）、资源上限控制（命令数、循环、输出、输入及文件系统大小）等特性。此外，它还支持交互式 Shell、快照序列化、脚本化工具编排，并兼容 grep、sed、awk、jq、curl 等常用命令。Bashkit 旨在为编码代理提供正确的本地上下文，包括沙箱模型、包 API、内置命令示例及代理工具模式，可无缝集成到现有代理工作流中。 #Bashkit #虚拟沙箱 #Rust #AI代理 #安全执行 #Shell脚本 #开源工具
Bashkit 是一款用 Rust 编写的高性能虚拟 Bash 沙箱，专为 AI 代理提供安全的脚本执行环境。其核心优势在于无需生成任何操作系统进程即可运行不受信任的 Shell 脚本，所有操作均在内存中完成并完全沙箱化。该工具重新实现了 156 个常用命令，具备广泛的 POSIX Shell 语言覆盖能力，并内置虚拟文件系统、资源限制机制以及面向代理框架的工具接口。Bashkit 支持 Rust、Python 和 TypeScript 三种语言的运行时嵌入，提供无进程派生、虚拟文件系统（包括 InMemoryFs、OverlayFs 等）、资源上限控制（命令数、循环、输出、输入及文件系统大小）等特性。此外，它还支持交互式 Shell、快照序列化、脚本化工具编排，并兼容 grep、sed、awk、jq、curl 等常用命令。Bashkit 旨在为编码代理提供正确的本地上下文，包括沙箱模型、包 API、内置命令示例及代理工具模式，可无缝集成到现有代理工作流中。 #Bashkit #虚拟沙箱 #Rust #AI代理 #安全执行 #Shell脚本 #开源工具
已故说唱歌手Eyedea借助AI生成新专辑
明尼苏达双城说唱歌手Eyedea（本名Michael Larsen）以即兴说唱和二人组Eyedea & Abilities闻名，2010年因意外药物过量去世，年仅28岁。他留下了数千页手写歌词，部分可追溯至三十年前。其母亲Kathy Averill为永久保存这些作品，联合当地MC朗读旧歌词，并与旧录音一起输入AI程序，制作了最近发布的Eyedea专辑。好友Willy Lose负责整理，称过程如同拼图，仿佛Larsen就在身边合作。专辑反响不一：有人因机械制作而失望，也有人因能听到更多作品而欣喜。Lose认为Larsen本人会支持这种尝试。母亲表示还有大量歌词待处理，期待更多音乐问世。 #Eyedea #AI音乐 #说唱 #已故歌手 #人工智能 #音乐遗产 #明尼苏达 #科技与艺术
明尼苏达双城说唱歌手Eyedea（本名Michael Larsen）以即兴说唱和二人组Eyedea & Abilities闻名，2010年因意外药物过量去世，年仅28岁。他留下了数千页手写歌词，部分可追溯至三十年前。其母亲Kathy Averill为永久保存这些作品，联合当地MC朗读旧歌词，并与旧录音一起输入AI程序，制作了最近发布的Eyedea专辑。好友Willy Lose负责整理，称过程如同拼图，仿佛Larsen就在身边合作。专辑反响不一：有人因机械制作而失望，也有人因能听到更多作品而欣喜。Lose认为Larsen本人会支持这种尝试。母亲表示还有大量歌词待处理，期待更多音乐问世。 #Eyedea #AI音乐 #说唱 #已故歌手 #人工智能 #音乐遗产 #明尼苏达 #科技与艺术
华为芯片成功完成DeepSeek大模型后训练，中国AI自主取得重大突破
据南华早报报道，华为与合作伙伴研究团队成功利用其Ascend 910C芯片，完成了DeepSeek-V4-Pro模型的全参数后训练。该项目使用了至少1000块华为芯片构建的计算集群，处理参数量达1.6万亿的模型。此前，中国国产算力主要用于相对简单的推理任务，而训练——尤其是后训练对计算和通信要求极高——长期是短板。此次实验实现了模型自我反思与调整，如同在单向道路上增加复杂立交和环路。这一进展标志着在中美科技竞争加剧背景下，中国半导体行业从AI推理向复杂模型训练的关键跨越，提升了中国人工智能的自主能力。 #华为 #DeepSeek #AI #芯片 #后训练 #中国科技 #自主创新 #人工智能 #半导体
据南华早报报道，华为与合作伙伴研究团队成功利用其Ascend 910C芯片，完成了DeepSeek-V4-Pro模型的全参数后训练。该项目使用了至少1000块华为芯片构建的计算集群，处理参数量达1.6万亿的模型。此前，中国国产算力主要用于相对简单的推理任务，而训练——尤其是后训练对计算和通信要求极高——长期是短板。此次实验实现了模型自我反思与调整，如同在单向道路上增加复杂立交和环路。这一进展标志着在中美科技竞争加剧背景下，中国半导体行业从AI推理向复杂模型训练的关键跨越，提升了中国人工智能的自主能力。 #华为 #DeepSeek #AI #芯片 #后训练 #中国科技 #自主创新 #人工智能 #半导体
AI 编程中的 "Harness" 之争
2026年初，海外开发者社区兴起一个新词 “Harness”，指围绕大模型构建的运行环境、规则、验证与反馈系统。HashiCorp联合创始人Mitchell Hashimoto提出，与其在提示词里反复叮嘱，不如通过工程化手段让模型从结构上无法犯错。随后OpenAI发布实验报告，三位工程师五个月未写一行手动代码，仅靠设计Agent的“驾驭系统”产出百万行代码。LangChain仅调整工具定义和错误恢复，便让同一模型在编程基准测试中从52.8%跃升至66.5%，排名挺进前五。但反对者如Anthropic的Boris Cherny认为Claude Code的成功来自模型本身，Harness只是最薄包装；安全研究员Can Boluk却用仅改动代码编辑格式（添加哈希标识）的小实验，使模型得分从6.7%暴涨至68.3%，证明Harness的威力。争论双方其实不在同一层面：产品架构可以简化，但实际工程中必须建立规则、验证和反馈循环。正如赛车手调校底盘与发动机，模型与Harness相辅相成，缺一不可。 #AI编程 #Harness #大模型 #工程实践 #开发者社区
2026年初，海外开发者社区兴起一个新词 “Harness”，指围绕大模型构建的运行环境、规则、验证与反馈系统。HashiCorp联合创始人Mitchell Hashimoto提出，与其在提示词里反复叮嘱，不如通过工程化手段让模型从结构上无法犯错。随后OpenAI发布实验报告，三位工程师五个月未写一行手动代码，仅靠设计Agent的“驾驭系统”产出百万行代码。LangChain仅调整工具定义和错误恢复，便让同一模型在编程基准测试中从52.8%跃升至66.5%，排名挺进前五。但反对者如Anthropic的Boris Cherny认为Claude Code的成功来自模型本身，Harness只是最薄包装；安全研究员Can Boluk却用仅改动代码编辑格式（添加哈希标识）的小实验，使模型得分从6.7%暴涨至68.3%，证明Harness的威力。争论双方其实不在同一层面：产品架构可以简化，但实际工程中必须建立规则、验证和反馈循环。正如赛车手调校底盘与发动机，模型与Harness相辅相成，缺一不可。 #AI编程 #Harness #大模型 #工程实践 #开发者社区
欧盟AI竞赛获胜者将打造400B参数开源大模型
欧盟委员会近日宣布“前沿AI大挑战”竞赛结果，由意大利企业Domyn领衔的“Europa”联盟胜出。该联盟将获得欧盟资源，开发一款参数超过4000亿的开源AI大模型，旨在覆盖全部24种官方语言，并彰显欧洲在尖端技术领域的主权与雄心。欧盟委员会表示，欧洲拥有足够的人才和产业能力在全球AI竞赛中发挥主导作用。该模型将基于Domyn与英伟达合作的欧洲主权AI技术，采用“混合专家”模块化架构以平衡性能与资源效率。项目资金和算力由欧盟与EuroHPC超算联盟共同保障，获胜团队将享有EuroHPC总计算能力2.5%的专属访问权。最终模型将以开源形式免费开放，确保欧盟企业、研究机构和公共机构都能受益。欧委会副主席维库宁强调，该项目将证明欧洲能在坚持自身价值观的同时与世界顶尖水平竞争，并推动制造、医疗和自主系统等关键领域创新，巩固“欧洲制造”的可信AI生态系统。 #欧盟 #AI #开源模型 #大语言模型 #EuroHPC #技术主权 #Domyn #前沿AI #欧洲主权
欧盟委员会近日宣布“前沿AI大挑战”竞赛结果，由意大利企业Domyn领衔的“Europa”联盟胜出。该联盟将获得欧盟资源，开发一款参数超过4000亿的开源AI大模型，旨在覆盖全部24种官方语言，并彰显欧洲在尖端技术领域的主权与雄心。欧盟委员会表示，欧洲拥有足够的人才和产业能力在全球AI竞赛中发挥主导作用。该模型将基于Domyn与英伟达合作的欧洲主权AI技术，采用“混合专家”模块化架构以平衡性能与资源效率。项目资金和算力由欧盟与EuroHPC超算联盟共同保障，获胜团队将享有EuroHPC总计算能力2.5%的专属访问权。最终模型将以开源形式免费开放，确保欧盟企业、研究机构和公共机构都能受益。欧委会副主席维库宁强调，该项目将证明欧洲能在坚持自身价值观的同时与世界顶尖水平竞争，并推动制造、医疗和自主系统等关键领域创新，巩固“欧洲制造”的可信AI生态系统。 #欧盟 #AI #开源模型 #大语言模型 #EuroHPC #技术主权 #Domyn #前沿AI #欧洲主权
五家中国AI实验室大幅降低Token价格，最高降幅达99%
字节跳动、腾讯、MiniMax、阿里巴巴和小米五家中国头部AI实验室在相近的时间窗口内，将大模型Token价格下调50%至99%，掀起全面价格战。其中，字节跳动的Seedance 2.0 Mini定价仅为每百万token 23元（约3.4美元），腾讯的Hy-MT2-Pro降价近70%，MiniMax的M3系列价格减半，阿里巴巴的Qwen3.7-Max在618购物节期间打五折，小米的MiMo V2.5更是直降99%。美银证券分析师指出，中国主要AI模型之间的能力差距正在收窄，价格成为唯一差异化手段，推动API服务走向商品化。对于企业和开发者而言，这一轮降价意味着推理成本大幅下降，自建模型的经济性受到挑战。但缺乏雄厚资金的小型实验室面临严峻的利润率压力，长期来看，行业可能加速洗牌。 #AI #价格战 #中国AI #Token降价 #字节跳动 #阿里巴巴 #腾讯 #MiniMax #小米 #科技新闻
字节跳动、腾讯、MiniMax、阿里巴巴和小米五家中国头部AI实验室在相近的时间窗口内，将大模型Token价格下调50%至99%，掀起全面价格战。其中，字节跳动的Seedance 2.0 Mini定价仅为每百万token 23元（约3.4美元），腾讯的Hy-MT2-Pro降价近70%，MiniMax的M3系列价格减半，阿里巴巴的Qwen3.7-Max在618购物节期间打五折，小米的MiMo V2.5更是直降99%。美银证券分析师指出，中国主要AI模型之间的能力差距正在收窄，价格成为唯一差异化手段，推动API服务走向商品化。对于企业和开发者而言，这一轮降价意味着推理成本大幅下降，自建模型的经济性受到挑战。但缺乏雄厚资金的小型实验室面临严峻的利润率压力，长期来看，行业可能加速洗牌。 #AI #价格战 #中国AI #Token降价 #字节跳动 #阿里巴巴 #腾讯 #MiniMax #小米 #科技新闻