HyperAI超神经 x MoonBit | 与中科院、Intel 等专家共话基础软件前沿发展与期待

本次 Meetup 将讨论 MoonBit 编程语言、RuyiSDK、WAMR和 RISC-V 等技术,来现场参与不仅可以学习到最前沿的技术知识,更可与大咖面对面互动交流心得,还有美食茶歇与精美礼品,期待你的到来!

扫码立即报名 ⬇️

活动详情

️ 一、活动主题:

基础软件前沿发展与期待

二、活动形式:

1、中型 Meetup

2、线上同步直播(后续会在公众号上发布视频号预约入口)

⏰ 三、活动时间

6 月 29 日(周六) 10:30 am — 3:30 pm

四、活动地点:

北京市海淀区中关村南四街四号院五号楼裙楼 4 层大报告厅

中国科学院软件研究所(中关村南四街)
北京市海淀区中关村南四街4号中国科学院软件园区
五、活动流程

六、演讲者(演讲顺序排序)

张宏波: 现任基础软件中心首席科学家、Moonbit 平台负责人,是通用程序语言 ReScript 的作者,程序语言 OCaml 前核心开发人员。本科毕业于清华大学电子系,在美国宾夕法尼亚大学读博期间受 Bloomberg 邀请,从事函数式语言编译器的开发工作。

王雪瑞: 开源基础设施贡献者,现任 Linux 维护者,在 binutils、glibc、LLVM、QEMU、Rust、Go 等知名社区项目均有涉足。目前在 RuyiSDK 团队担任 RuyiSDK 包管理器的技术负责人一职。

王鑫: 英特尔编程语言与运行时技术专家,曾负责研发 Java 语言高安全运行时 Intel Micro Runtime,创建开源项目 WebAssembly Micro Runtime 并任技术委员会主席、是开源项目 Wasmnizer-ts 的主要创始人之一。王鑫是字节码联盟 (Bytecode Alliance) Embedded SIG 的主要发起人之一,积极推进 WebAssembly 在设备与边缘侧的技术与规范的发展。

刘请: 对编程语言理论和编译器技术都有一定的心得

程龙灿: RuyiSDK 团队开源社区经理,曾负责 openEuler RISC-V 发行版的相关测试工作,现负责 RuyiSDK 团队 RevyOS 小队的测试工作并担任开源社区经理一职。

展台&茶歇&礼品

除了精彩的演讲,我们现场还准备了互动性超高 + 趣味性满满的展台,并有由「机械工业出版社」赞助的书籍和「ReadPaper」赞助的大会员等精美的社区礼品和美味茶歇等你来拿~

展位介绍

01 - HyperAI超神经展台

HyperAI超神经 (hyper.ai) 是国内领先的人工智能及高性能计算社区,旨在通过提供数据集加速下载、在线教程演示、论文深度解读、顶会日历集成等多种基础设施,助力中国的数据科学与⼈⼯智能⾏业的开发者、爱好者学习、理解、实践,与社区⼀起构建⼈⼯智能的未来,目前超神经官网已经上线数千个经典及优质公开数据集和教程,并运营国内超级活跃的 AI 编译器社区。

02 - MoonBit 展台招募补充中—

展区示意图+礼品图片

项目介绍

MoonBit 国内首个工业级编程语言及其配套工具链(https://www.moonbitlang.cn/)是由粤港澳大湾区数字经济研究院(福田)基础软件中心打造的 AI 原生的编程语言以及开发者平台。MoonBit 自 2022 年 10 月推出以来,通过创新框架在程序语言界形成后发优势,已在编译速度、运行速度和程序体积上取得了显著的优势。MoonBit 平台的出现不仅仅作为一种编程语言,更提供一个完整的开发工具链,包括 IDE、编译器、构建系统、包管理器等。

GitHub 地址https://github.com/moonbitlang

RuyiSDK 是一个开源软件项目(https://ruyisdk.org/),旨在为 RISC-V 软件开发人员提供一个全面的开发环境。通过 RuyiSDK,开发者可以生成客户所需的操作系统、工具链、语言执行环境(运行时或虚拟机)、计算库、应用框架等。此外,RuyiSDK 还致力于培育和运营一个活跃全面的开发者交流社区,以促进技术支持和资源共享,推动 RISC-V 生态系统的发展。目前,RuyiSDK 支持已经覆盖国内外近 50 款开发板。

GitHub 地址: https://github.com/ruyisdk

RevyOS 一个针对 T-Head 芯片生态系统优化的定制 Debian 发行版,由 RuyiSDK 团队的 RevyOS 团队支持和开发。RevyOS 对 c906fdv、c910v、c908 等芯片提供全面的适配和优化支持,默认集成对 RVV0.7.1 及 XThead GCC 工具链的支持,并配备针对 RVV0.7.1 指令集优化的 glibc 及内核。

GitHub 地址: https://github.com/revyos/revyos

Wasmnizer-ts 由英特尔与小米联合创建的 Wasmnizer-ts 开源项目提供将 TypeScript 程序编译至 WebAssembly 的编译器工具链。

Github 地址: https://github.com/web-devkits/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/701622.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

泛微证券行业数据中心方案:打造多样化的数据收集、汇总、分析、决策一体化报表

证券企业在日常办公、业务开展时,涉及了诸多数据需求,而且数据来源于多部门、多个系统。需要对数据获取、汇总、展现进行高效、可视化的操作,高效利用数据价值,助力企业运营更高效、风险更可控。 泛微基于证券行业数字经营分析的需…

数据中台:生产制造产业链的“智慧大脑”!

在当今激烈竞争的生产制造领域,数据中台正扮演着至关重要的角色,它就像是产业链的“智慧大脑”,引领着产业的发展方向!数据中台在生产制造产业链、生态链中起到以下关键作用: 1. 数据整合与共享:将产业链各…

中国大模型站起来了!甚至被美国团队反向抄袭

一直以来,美国是公认的AI领域强者,我国AI技术虽然差不多,但始终落人一步。然而,近日斯坦福团队的AI模型却被指控抄袭中国AI模型,这下许多人都坐不住了。 被实锤抄袭的,是斯坦福大学AI团队,他们…

UE 像素流与 Web 协同开发

UE 像素流与 Web 协同开发 创建Web端应用Web向UE发送消息emitCommandemitConsoleCommandemitUIInteraction UE接收Web的消息UE向Web发送消息Web接收UE的消息UE 冻结帧 与Web交互主要涉及两个方面,一个是UE向Web发送消息,另一个就是Web端向UE程序发送消息…

功率 MOSFET、其电气特性定义

本应用笔记介绍了功率 MOSFET、其电气特性定义和使用说明。介绍了功率MOSFET的破坏机制和对策及其应用和电机驱动应用。 电气特性定义及使用说明 功率 MOSFET 额定值 导通电阻R_DS(on)与耐压V_DSS的关系 图2表示耐压VDSS20~100V额定元件与导通电阻R_DS(on)之间的…

如何理解质量

早年写过一篇未发表的论文《质量的相对性》,就是为了寻求到底什么才是质量这个问题的答案。现在,在准备了诸多超越以往的认知的概念之后,关于质量是什么的想法,也逐渐有了眉目。 质量有两种,一种叫做惯性质量&#xff…

使用OpenLLM在AMD GPU上的分步指南

Step-by-Step Guide to Use OpenLLM on AMD GPUs — ROCm Blogs 引言 OpenLLM是一个开源平台,旨在促进大型语言模型(LLMs)的部署和使用,支持多种模型,适应不同的应用,无论是在云环境还是本地环境中。在本教…

再开源一个小玩意儿,帮你找到电路板上的热点

ADLib上线 也半个多月了,这段时间做了一个全流程使用ADLib的小玩意儿,跟大家分享下过程。 这是一个利用红外测温传感器寻找电路板上的热点的工具,当然了,它也可以用来测量其他物体的温度,比如地暖水管铺设位置&#x…

【重拾数学知识】导数、极值和最值

前言 在深度学习中,梯度下降法是一种常用的优化算法,用于更新模型参数以最小化损失函数。这梯度下降法中涉及到数学中的导数、极值等相关知识,因此我们重新回顾相关内容,以便加深理解。 相关概念 导数 一个问题 如何求得一个…

帮企三级分销商城10合一小程序源码系统 附带完整安装代码包以及搭建教程

系统概述 “帮企三级分销商城10合一小程序源码系统”是一款专为中小企业设计的一站式电商解决方案。该系统基于成熟的小程序开发框架构建,集商品展示、在线交易、订单管理、会员系统、营销工具、数据分析、以及独特的三级分销功能于一体,旨在帮助商家快…

优思学院|汽车行业的六西格玛案例

汽车行业正在经历前所未有的变革。市场变化、新商业模式和新的价值链不断涌现。面对这些变化,我们需要持续改进的方法。因此,优思学院今天想分享一个最近关注到的汽车行业六西格玛案例。这是一家位于葡萄牙的轮胎制造公司,通过这个案例研究&a…

机器学习-聚类算法

1.有监督学习与无监督学习 有监督:在训练集中给的数据中有X和Y,根据这些数据训练出一组参数对预测集进行预测 无监督:在训练集中给的数据只有X没有Y,根据X数据找相似度参数来对预测集进行预测 2.数据间的相似度 2.1距离相似度…

.NET C# 读写Excel及转换DataTable

目录 .NET C# 读写Excel及转换DataTable1. 依赖库2. Nuget包与版本3. ExcelUtil3.1 Excel sheet 转 DataTable3.2 Excel sheet 转 DataSet3.3 DataTable 转 Excel sheet3.4 DataSet 转 Excel3.5 私有方法 .NET C# 读写Excel及转换DataTable 1. 依赖库 using NPOI.HSSF.UserMo…

自动驾驶#芯片-1

概述 汽车是芯片应用场景之一,汽车芯片需要具备车规级。  车规级芯片对加工工艺要求不高,但对质量要求高。需要经过的认证过程,包括质量管理标准ISO/TS 16949、可靠性标准 AEC-Q100、功能安全标准ISO26262等。  汽车内不同用途的芯片要求…

肾合养生秘诀:告别手心热出汗的困扰

如果将我们的身体比作一支精心编排的交响乐团,那么各个器官便是乐团中不可或缺的乐器和乐手,而气血则如同乐团中的乐谱和指挥棒,引领着整个乐团的演奏。当乐谱缺失,指挥棒失灵,或者乐团的协作出现问题,某些…

【启明智显方案分享】ESP32-S3与GPT AI融合的智能问答嵌入式设备应用解决方案

一、引言 随着物联网(IoT)和人工智能(AI)技术的飞速发展,嵌入式设备正逐渐变得智能化。本解决方案是启明智显通过结合ESP32-S3的低功耗、高性能特性和GPT(Generative Pre-trained Transformer)…

仅需一款免费工具,就可以打造真实人设,无限生成虚拟AI网红

嘿,大家好,向阳。 很多粉丝问我,用AI做了这么多漂亮的美女,该如何用AI进行变现呢?今天我就教大家一个方法!曝光AI网红最好的平台就是小某书,在小某书上打造一个虚拟人物可以快速获取粉丝 。达到…

Mybatis Log Free

安装后重启 在 application.yml 配置 configuration: log-impl: org.apache.ibatis.logging.stdout.StdOutImpl 选择效果

【一步一步了解Java系列】:探索抽象类与接口的秘密

看到这句话的时候证明:此刻你我都在努力 加油陌生人 个人主页:Gu Gu Study专栏:一步一步了解Java 喜欢的一句话: 常常会回顾努力的自己,所以要为自己的努力留下足迹 喜欢的话可以点个赞谢谢了。 作者:小闭…

为什么看了那么多资料还是无法理解Transformer啊???

要理解和熟悉一个新的技术/新模型,比较好的方式是通过以下框架结构来熟悉: 为什么:一个新模型的诞生,一般是解决了现有的模型不能解决的一些问题。因此需了解该技术提出的背景和创新点。 是什么:熟悉这个模型的内容和架构、训练…