OS2ATC 2025 | MoonBit 荣获最佳硬科技前沿创新奖

3 月 29 日,第十二届开源操作系统年度技术大会 (OS2ATC) 在北京航空航天大学成功举办。作为国内最具影响力的开源操作系统及相关领域的技术盛会,OS2ATC 汇聚了来自清华大学、北京大学、蚂蚁集团、腾讯云、国家智能网联汽车创新中心、中移物联等一线高校、企业和科研机构的顶尖专家学者和行业领军人物。本届大会围绕 "智联系统" 主题,深入探讨了具身智能、系统与硬件、内核、编程技术、Rust、汽车基础软件、AIoT、云原生技术及虚拟化 等多个前沿议题,全面展示了我国操作系统及开源生态的最新技术动态和创新成果。

荣获最佳硬科技前沿创新奖

MoonBit 以硬核技术突破重塑编程语言生态:Wasm原生加速编译链与LLVM后端架构,代码执行效率提升数倍,赋能云计算、边缘计算及AI场景;深度支持RISC-V指令集;产学研贯通,落地北京大学等课程体系,其技术实践验证了硬科技"从学术走到产业"的标杆价值,为云原生与智能计算时代打造核心基石! 在本届大会上,MoonBit 因技术硬核实力,荣获,由北京航空航天大学软件学院院长胡春明颁奖。

其他获得最佳硬核科技前沿技术奖的企业介绍:

深度数智: 全球RISC-V高性能终端产品的创新先锋,此前发布了全球第一款可通话的RISC-V Pad。其自主研发的RISC-V终端解决方案为也国产指令集生态建设提供了实践范例。

TDengine : 由涛思数据研发的国产时序数据库标杆,专为物联网、工业互联网等场景优化,支持SQL查询并具备云原生特性,能够高效处理海量时序数据‌。

MoonBit 社区贡献者发表演讲

大会期间,MoonBit 社区核心贡献者肖铭坤受邀参加 "编程语言与系统生态" 分论坛,并发表了主题演讲《如何用 MoonBit 语言实现 quick-check------基于属性的测试》。演讲围绕 MoonBit 的性能与编译优势、语言特性创新和测试框架集成创新进行展开,向参会者深入浅出的介绍了 MoonBit 在实现 quick-check 时兼具高性能、高可靠性和开发效率的特点,尤其适用于 AI、云计算等前沿领域的大规模测试需求。

未来展望

MoonBit 团队深感这份荣誉既是认可,更是责任。当前技术突破只是起点。未来将持续迭代,抓住 AI大模型等时代机遇,完善开发者工具链生态,加速走入实际应用场景。我们坚信,只要坚持扎根硬核技术的创新,一定会收获全球开发者的信任和喜爱。

相关推荐
老马啸西风7 分钟前
成熟企业级技术平台-09-加密机 / 密钥管理服务 KMSS(Key Management & Security Service)
人工智能·深度学习·算法·职场和发展
Ulana28 分钟前
计算机基础10大高频考题解析
java·人工智能·算法
黄俊懿35 分钟前
【深入理解SpringCloud微服务】Seata(AT模式)源码解析——@GlobalTransactional注解与@globalLock生效的原理
java·spring cloud·微服务·云原生·架构·系统架构·架构师
Ayanami_Reii1 小时前
区间不同数的个数-树状数组/线段树/莫队/主席树
数据结构·c++·算法·线段树·树状数组·主席树·莫队
李玮豪Jimmy1 小时前
Day37:动态规划part10(300.最长递增子序列、674.最长连续递增序列 、718.最长重复子数组)
算法·动态规划
歌_顿2 小时前
Embedding 模型word2vec/glove/fasttext/elmo/doc2vec/infersent学习总结
人工智能·算法
Echo_NGC22372 小时前
【KL 散度】深入理解 Kullback-Leibler Divergence:AI 如何衡量“像不像”的问题
人工智能·算法·机器学习·散度·kl
黄俊懿2 小时前
【深入理解SpringCloud微服务】Seata(AT模式)源码解析——开启全局事务
java·数据库·spring·spring cloud·微服务·架构·架构师
CoderYanger2 小时前
C.滑动窗口-求子数组个数-越长越合法——3325. 字符至少出现 K 次的子字符串 I
c语言·数据结构·算法·leetcode·职场和发展·哈希算法·散列表
sin_hielo2 小时前
leetcode 3606
数据结构·算法·leetcode