"智构基石：AI时代基础软件的范式革新与生态共建"

在人工智能技术重构全球软件架构的今天，基础软件正经历从"被动支撑"到"主动赋能"的范式迁移。本次蚂蚁开源技术沙龙联合 IDEA 研究院，邀请 MoonBit、CodeFuse、面壁智能、ModelPack、PPIO 等前沿实践者，围绕 AI 模型工具链、智能编程、大模型基础设施、边缘计算等方面，共同探讨：

• 架构革命：大模型时代下编程语言、编译器与操作系统的适应性进化

• 效能跃迁：AI-Native开发工具链如何重塑软件生产力边界

• 生态协同：从芯片层到应用层的基础软件垂直整合路径

我们期待在杭州黄龙国际中心，与众多技术决策者、架构师和开发者，展开一场关于“AI 释放研发生产力”的探讨，共同绘制下一代基础软件的技术图谱。

时间：7 月 19 日 14:00-17:10

地点：杭州·黄龙国际中心 E 座 4020 + 4019 兴旺钱庄会议室

关于蚂蚁开源技术沙龙

蚂蚁开源技术沙龙是由蚂蚁开源主办的系列开源技术分享与交流活动。在这里，蚂蚁开源携手他的伙伴们，与天南海北热爱开源的朋友相聚，畅谈开源技术与社区文化，为开发者、开源爱好者及社区伙伴们构筑一个开放、共享、协作的平台。

活动将聚焦开源技术生态的最新发展与实践，涵盖云原生、大数据、人工智能、大前端等核心领域，集结业内资深技术专家、开源社区核心贡献者和一线开发者，深挖技术创新与应用落地的前沿话题。通过技术分享、案例解析和深度互动，汇聚集体智慧，碰撞灵感火花，推动开源技术的普及与发展，助力社区的繁荣与成长。

活动议程

议程详情

AI 原生编程语言 MoonBit 及其工具链的探索

张宏波

粤港澳大湾区数字经济研究院基础软件中心首席科学家，MoonBit 团队负责人

议题简介

MoonBit 作为专为 AI 协同开发设计的编程语言，其核心优势在于「双向可读性」——AI 生成的代码像人类手写一样清晰，开发者能轻松理解并修改，而 AI 也能精准解析现有代码逻辑进行智能补全或重构。这种特性尤其体现在 IDE 的智能感知上：当 AI 分析代码时，能自动识别上下文关系（比如变量作用域、函数调用链），避免传统 AI 编码工具常见的「断片式建议」。更关键的是，其「重构安全」机制会通过静态检查确保 AI 的修改不会破坏原有功能，相当于给 AI 装了个防撞系统。

对于日常开发痛点，MoonBit 提供了直击要害的解决方案：调试时不再需要逐行打断点，内置的 value tracing 功能让 AI 能直接「看到」程序运行时所有变量的变化轨迹，大幅缩短调试链路。代码结构上采用模块化设计，每个功能块（如函数、类）都可被 AI 独立处理——比如你写核心逻辑的同时，AI 能并行生成文档或单元测试，效率提升堪比「多线程编程」。

CodeFuse 代码大模型新进展与创新成果分享

议题简介

CodeFuse 团队致力于全生命周期的软件智能研发，团队技术创新涵盖需求分析、编码自测、联调测试、部署发布、监控运维及数据洞察等关键阶段。蚂蚁集团高级算法专家余航将介绍近期 CodeFuse 团队的 3 项创新成果：

1. 方法&文件级别的代码大模型

a. Ling-Coder-Lite：基于 Fine-grained MoE 架构，参数效率与推理速度显著优于同类模型，在 13 个代码相关的评测集 (55 个子项) 上平均表现超过当时最好的 Qwen2.5-Coder-7B，同时推理速度更快；

b. Rodimus*：探索基于 SSM 和 Linear Attention 的下一代 LLM 架构，开源 1.6 和 4B 模型表现超过类似大小的 Mamba2 和 Qwen2.5-Coder；训练复杂度是 Sub-quadratic 的同时，推理复杂度是线性的；

2. 仓库级别代码大模型

a. CGM：构建覆盖 153K 仓库的代码图谱，融合 Graph 与 LLM 双模态，结合 Graph RAG 增强，支持整仓级理解与推理，在2025年3月的 SWEbench 榜单上，于基于开源模型方法中排名第一。

MiniCPM4：高效端侧大模型

黄思源

面壁智能开源布道师

议题简介

面壁智能致力于端侧大模型的高效创新之路，持续突破性能边界并推动技术革新。MiniCPM 4.0 的发布标志着端侧长文本时代的开启，其系统级稀疏创新引爆了效能革命，为用户带来极致的推理速度和能效比提升。本次分享将介绍 MiniCPM 4.0 的核心技术亮点：

1. 端侧长文本处理能力

   - MiniCPM 4.0 实现了极限 220 倍的提速，支持 128K 上下文窗口，在长文本推理方面表现卓越，显著优化了端侧场景的应用体验。

2. 稀疏创新与性能优化

   - 通过系统级稀疏技术创新，MiniCPM 4.0 在保持高性能的同时大幅降低计算资源消耗，实现了比肩更大参数量模型的模型效果，为端侧部署提供了更高效的解决方案。

3. 多维度技术亮点

   - MiniCPM 4.0 不仅在推理速度上实现飞跃，还通过多种黑科技手段优化模型结构，使其在复杂任务中表现出色，成为端侧 AI 模型的新标杆。 

MoonBit 开发一个大型软件（类 LLVM 框架）的体验

刘子悦

MoonBit 核心开发工程师

议题简介

本次分享将与大家 Moonbit 开发大型软件的优势，并将其与 C++ 做个比较，主要包含以下方面的对比：

• Moonbit 带 GC，上手难度会低不少，但它又不用像 Java 那样需要专门一套虚拟机，可以直接编译成 wasm，js 和 native 代码。

• Moonbit 做到了类型安全，编译器的静态分析帮助开发者避免 99% 的常见的底层相关 bug，让 bug 只跟业务逻辑有关，显著提升开发效率。

• Moonbit 有官方支持的丰富工具链，静态分析工具，formatter，测试工具，文档生成，注释内测试；我们未来会继续推出的重构工具，IDE，命令行IDE，Agent，构建系统，包管理工具等等，省去了开发过程中的大量麻烦。

• Moonbit 与 AI 紧密结合。用 Moonbit 使用 Copilot，Cursor，Codex 等 AI 工具更能生成我想要的代码，C++ 难度比较大。

云原生场景下基于 OCI Artifacts 的 AI 模型管理分发实践

戚文博

蚂蚁集团软件开发工程师

CNCF 孵化器项目 Dragonfly Maintainer

ModelPack Maintainer

议题简介

随着越来越多开发者在 Kubernetes 上部署 AI/ML 工作负载。如何管理、存储和分发 AI 模型已变得非常重要。本次议题将介绍基于 OCI Artifacts 扩展的模型规范 (Model Spec)，旨在更好地将 AI 模型作为 OCI Artifacts 进行适配和应用。通过统一该规范，现有的云原生基础设施可以更方便地访问和使用 AI 模型。

Kubernetes 在 v1.31 版本中交付了基于 OCI Artifacts 的只读 Volume 功能，可以将 AI 模型作为 Volume 进行挂载。Harbor 和 Dragonfly 已经基于 Model Spec 添加了增强功能。本演讲将利用 Dragonfly、ModelPack、Harbor、Kubernetes、CRI-O 等项目这些项目来阐述一个行业标准的工作流程，如何将 AI 模型构建为 OCI Artifacts 并推送到 Harbor。Harbor 为 AI 模型提供了一整套生命周期管理功能，例如安全、版本控制和访问控制等。此外，Dragonfly 可以对 AI 模型进行预热，从而显著加速其在 Kubernetes 中的大规模部署。

AI Native 时代：PPIO 在 Serverless 架构上的探索与实战

蒋鑫

PPIO 派欧云 云产品研发总监 

议题简介

作为领先的分布式云计算领域的创新者，PPIO 派欧云会在本次演讲中将深入探讨 AI Serverless 与传统 Serverless 的核心差异，分享我们在低延迟、高并发和 GPU 动态调度上的实战经验；同时分享 PPIO 在优化快速启动 AI Serverless 上的技术演进，讲述过去、现在以及未来在不同阶段做出的不同调整，帮助 PPIO 实现秒级响应；揭秘 PPIO 在分布式环境下的多维调度策略，通过智能负载均衡和异构算力管理，让 AI 实例效率提升 10 倍以上。

参与互动

蚂蚁开源为大家准备了活动周边 T 恤与帆布袋。现场参与提问互动，即有机会获得 MoonBit 社区周边。

数量有限，先到先得哦 ～

报名方式

扫描下方二维码，报名 蚂蚁开源技术沙龙 x MoonBit Meetup：AI 时代下的基础软件

提交报名，经主办方审核并通过后可获得门票