开源日报 | 网易云音乐崩了；稚晖君要做开源机器人；MoonBit发布beta；LLM数学性能暴涨；“小强数据库”变更开源协议

OpenSource Daily # 2024.8.19

省流概览

今日要闻

19 日下午，大量网友反映网易云音乐 “崩了”，相关话题登上热搜第一。此时「网易云音乐」App 弹窗提示：获取数据失败，请重试。期间网友称 “一直显示加载失败、播放失败、网络错误”、“重启也不行，一度以为手机坏了”。

下午 3 点左右，@网易云音乐对此回应：“大家好，因基础设施故障，导致网易云音乐各端无法正常使用，我们正在加紧修复，非常抱歉。感谢大家的等待。”

IDEA 研究院编程语言 MoonBit 发布 beta 预览版

MoonBit beta 预览版比大部分主流语言更早推出现代化泛型、精准错误处理和高效迭代器等重要特性，在云计算、边缘计算、人工智能和教育等领域快速实现落地应用。Beta 预览版标志着 MoonBit 生态进入全新阶段，为用户提供更稳定、流畅的创新操作体验。

MoonBit 自去年发布 alpha 版后，反响热烈。经过一年的高速迭代，MoonBit 到达了 beta 预览版的里程碑：在核心语言特性上，MoonBit 媲美、甚至超越了大部分主流语言的 1.0 版本；语言特性的开发稳定，开发者可以更广泛地参与到生态建设中来。

开源下载工具 Aria 被诈骗份子使用，开发者无奈清空代码仓库

开源下载工具 Aria 开发者昨日删除了该项目在 GitHub 仓库中的全部源代码。Aria 开发者写道：“因 Aria 被诈骗分子使用，导致我被跨省，因此本项目源码永久删除。”

今日观察

社交观察

马斯克在捣鼓脑机接口，就是用电极植入人类大脑，提取脑电信号，然后用计算机处理这些信号，实现某种功能。

在官网介绍他这个研究的时候，马斯克惯例是不提此前的类似研究，所以许多人得到的印象是，他正单枪匹马开创一种崭新的技术，肩负解放人类的重担。

实际上，医学界做这种研究已经超过十年，而且已经有不错的成果。

- 微博 苦丁山

网易云音乐称基础设施故障

- 微博 网易云音乐

我们收到了知网 28 页的侵权告知函

- 微信 秘塔官方

稚晖君要做开源机器人

- 微博  林亦 LYi

LLM 数学性能暴涨 168%

合成数据 2.0 秘诀曝光了！来自微软的研究人员们提出了智能体框架 AgentInstruct，能够自动创建大量、多样化的合成数据。经过合成数据微调后的模型 Orca-3，在多项基准上刷新了 SOTA。

- 新智元

百度李彦宏：不一定非要学 AI 专业，任何行业都能与 AI 结合

在第 28 届百度 hackathon 黑客马拉松比赛上，百度创始人李彦宏在接受采访时表示，在 AI 时代年轻人也不一定非选 AI 专业。李彦宏表示：“其实很多专业都跟 AI 是有关系的，AI 之所以有这么大的潜力，它就是对任何一个行业可能都会有很大的影响。” 他进一步解释道，不过还是要学一些 AI 相关的东西，特别是 AI 相关的新的思维方式，比如说大模型提示词工程师等等。

- 快科技

CockroachDB 宣布开源协议重大变更

CockroachDB 是全球开源分布式数据库领导者，简称为 CRDB，国内又称为小强数据库或蟑螂数据库，走兼容 PostgreSQL 协议路线。

CockroachDB 最开始的开源协议是 Apache2.0，后来基于商业发展目标考虑，在 2019 年核心代码改为 BSL (Business Source License)，目的和 MongoDB 的 SSPL 类似，防止第三方提供 CockroachDB 的托管服务。CockroachDB 的 BSL 协议声明，产品发布后 3 年后会自动从 BSL 协议转换为 Apache2.0 的协议，这对于那些新特性不感兴趣的企业是非常友好的。

开源软件最大的挑战是商业转换，2024.08.15 号，CockroachDB 官方再次宣布计划将从 2024.11.18 号开始关闭 BSL 协议，所有客户都转换为 CockroachDB 的企业版产品协议。企业版分为 2 种类型，年收入 1000 万美金以下企业可以免费使用，年收入超过 1000 万美金的企业可以试用 30 天，后面需要付费。

- IT168

稚晖君的人形机器人上新了，还有开源、免费彩蛋

在这场发布会中，稚晖君一口气推出了三款远征系列机器人产品：交互服务机器人「远征 A2」、柔性智造机器人「远征 A2-W」、重载特种机器人「远征 A2-Max」。最后的 One more thing 环节，智元 X-Lab 孵化的模块化机器人系列产品「灵犀 X1」和「灵犀 X1-W」也作为「彩蛋」正式亮相。

- 机器之心

强攻 GPU，TPU 芯片一夜蹿红

当下，英伟达大约掌控着 80% 的人工智能数据中心芯片市场，而其余 20% 的大部分则由不同版本的谷歌 TPU 把控。未来，TPU 所占的市场份额会不会持续上扬？会增长几何？是否会有其他架构的 AI 芯片将现有的市场格局一分为三？这些悬念预计在接下来的数年间将逐步揭晓。

- 半导体产业纵横

9 岁小学生用大模型写书赚 2 万元

许萌萌（笔名），就读于北京市西城区一所实验小学，是一个上三年级的小男生。今年 4 月，由他创作的《AI 少年：火星生存大挑战》一书，终于正式出版，全文 7、8 万字，定价 49.90 元，首印 5000 册。

该书讲述了一个名为 “萌萌”（与自己同名）的小朋友，和他另外两个朋友球球、番茄一起去科技馆参加 “火星生存挑战营” 活动，在现场人工智能助手 “聪聪” 的提示下，萌萌戴上 VR 设备进入 “火星” 这一虚拟世界后，如何独自成功脱险，返回地球的故事。

出版后，该书 1 个月内加印，截至当月底共售出 6000 余册。负责该书的策划编辑晓晓表示：“正在向卖 1 万册努力。”

- 腾讯网

今日推荐

Unify 是一个 Flutter 混合开发框架，由滴滴出行国际化外卖团队自研，目前已经广泛应用于滴滴国际化外卖及国际化出行业务。

Unify 的亮点特性包括:

• 平台无关的模块抽象: 允许开发者使用 Dart 语言声明与平台无关的模块接口与实体。

• 灵活的实现注入: 开发者可以灵活地选择注入原生实现（Android/iOS）或 Flutter 实现。

• 自动代码生成: 借助强大的代码生成引擎，Unify 可以自动生成 Flutter、Android、iOS 多平台下统一调用的 SDK。

Unify 的整体原理如下：

https://github.com/didi/Unify

程序员梗图

https://www.oschina.net/news/307723/moonbit-beta