MO星球之音Weekly #46：Linux基金会成立TLA+语言基金会；阿里云降价最高降幅达 50%；微软改进VS语法高亮显示

MO星球之音

MO Weekly #46: Apr.28, 2023

▶ 矩阵起源受邀参加信通院《数据库发展研究报告(2023年)》首次讨论会。 

2023 年 4 月 17 日下午，中国通信标准化协会大数据技术标准推进委员会数据库与存储工作组联合中国信通院数据库应用创新实验室在线上召开《数据库发展研究报告(2023 年)》首次讨论会。

会议由中国信通院组织，邀请了来自行业内相关专家，群策群力，围绕报告的整体框架和观点进行了热烈深入的讨论。矩阵起源受邀参加本次会议。

此次受邀参加讨论会，充分体现中国信通院对矩阵起源在推动数据库领域创新发展工作的认可与肯定。矩阵起源将始终坚持“成为数字世界的核心技术提供者”愿景，持续发 挥技术优势创新数据库产品，夯实新型数字基础设施体系，助推数据库产业生态健康发展。

[来源：MONews]

▶ Databend Cloud 正式发布。

2023 年 4 月 20 日，Databend Cloud 正式发布。Databend Cloud 是基于 Databend 打造的弹性云数仓，由 3 层组成，底层基于对象存储，如阿里云 OSS，上层计算节点采用不同的规格，计算节点有小号 1x、中号 2x，大号 8x，用户根据自己计算的需求，选择不同的型号。最上层是元数据和管理集群，实现多租户的隔离，保证用户的数据安全。

[来源：https://mp.weixin.qq.com/s/LzjRQ8_XA-896AZQj2n3hA]

▶ Apache Flink ML 2.2.0 发布。

[来源：https://www.oschina.net/news/238638/apache-flink-ml-2-2-0-released]

▶ Linux 基金会成立 TLA+ 语言基金会。

Linux 基金会宣布成立 TLA+ 基金会 (TLAF)，以促进 TLA+ 编程语言及其 TLA+ 从业者社区的采用和发展。TLA+ 基金会的创始成员包括 AWS、甲骨文和微软。

TLA+ 是一种用于对程序和系统 (尤其是并发和分布式程序和系统) 进行建模的高级语言。Linux 基金会表示，TLA+ 语言已被成功用于验证复杂的软件系统、减少错误并提高可靠性；其有助于在开发过程的早期发现设计缺陷，节省时间和资源。“TLA+ Foundation 的成立旨在推动采用经过验证的形式化方法来构建稳健的软件。”

TLA+ 基金会是一个独立的非营利组织，致力于促进 TLA+ 规范语言在工业界、学术界和教育界的采用，其总体目标是推进软件工程中的数学思维。TLAF 资助与 TLA+ 相关的开发，以扩大其用途并促进繁荣的 TLA+ 社区，鼓励该社区成员之间的合作。

[来源：https://www.oschina.net/news/238182/linux-foundation-launches-tlafoundation]

▶ 阿里云大规模降价，核心产品最高降幅达 50%。

4 月 26 日上午，2023 阿里云合作伙伴大会上，阿里云宣布史上最大规模降价，核心产品价格全线下调 15％ 至 50％，存储产品最高降幅达 50%。

据悉，此次价格调整包括云服务器 ECS、云数据库 RDS、云存储 OSS 及云安全产品等，购买时间越长折扣越高，两年七折，三年五折。

[来源：https://www.niutoushe.com/lives/aliyundaguimojiangjiahexinchanpinzuigaojiangfuda50]

▶ Oracle 调研：98% 使用公有云的企业皆采用多云战略。

根据 Oracle 云基础设施远程软件服务委托 S&P Global Market Intelligence 旗下的 451 Research 进行的一项研究显示，多云战略已成为新常态。该研究面向 1,500 名企业受访者。该研究主要目的为了解受访者如何在其企业内部使用云技术。研究数据如下：

• 98% 的受访企业正在使用或计划使用至少两家云基础设施供应商，31% 的企业正在使用四家或更多云基础设施供应商。

• 96% 的受访者正在使用或计划使用至少两家云应用供应商（软件即服务），其中 45% 的受访者正在使用来自五家或更多供应商的云技术应用。

• 企业采用多云战略的两大驱动因素是数据主权 (41%) 和成本优化 (40%)。

• 采用多云战略的其他驱动因素包括业务敏捷性和创新 (30%)，优秀的云服务和应用 (25%) 以及对云技术供应商锁定的担忧 (25%)。

[来源：https://mp.weixin.qq.com/s/tVpqpL1fcJkD6c7Sqnxs1A]

▶ 微软大幅改进 Visual Studio 语法高亮显示。

微软决定开始改善Visual Studio语法高亮显示，首先会将重点放在 JavaScript 和 TypeScript 的用户开发体验上。微软目前正在开发 Visual Studio 2022 17.6，也计划在 17.6 实装这个改进，除了优化现有的语法高亮，微软还会将这些高亮显示扩展到更大的范围，包括控制关键字、标签中的字符串、转义字符、JSDocs 等。

[来源：https://www.oschina.net/news/238192/visual-studio-syntax-highlight]

▶ Bard 现可以帮助用户完成编程和软件开发任务。

谷歌介绍了其对话式 AI 产品 Bard 的最近更新，称现在可以帮助用户完成编程和软件开发任务，包括代码生成、代码调试和解释。

根据谷歌产品经理的介绍，Bard 的编程能力支持 20 多种语言，包括 C++, Go, Java, Javascript, Python 和 TypeScript 等流行语言。它还可以帮助用户为 Google Sheets 编写函数。此外，Python 代码可以直接导出到 Google Colab，无需复制和粘贴，简化了在浏览器中的代码执行。除了生成代码，Bard 还可以帮助解释代码片段的作用。对于初学者，或者需要一些额外的支持来理解代码块可能输出的内容，这项功能十分有用。

[来源：https://www.oschina.net/news/237921/code-with-bard]

▶ 开源向量数据库厂商 Weaviate 获得 5000 万美元B轮融资。

2023年4月21日，开源数据库初创公司 Weaviate BV 宣布，它获得由 Index Ventures 领投的 5000 万美元投资。Weaviate 提供了一个开源数据库，专门用于存储 AI 模型的向量。该数据库可以存储多达数十亿个向量。B 轮融资使 Weaviate 的外部融资总额达到 6770 万美元。该初创公司将使用新资金雇用更多员工，并加快产品开发计划。

[来源：https://www.modb.pro/db/625032]

▶ 云迁移与云灾备提供商「数腾软件」获得新一轮战略融资。

 4 月 26 日消息：近日， 云迁移与云灾备提供商「数腾软件」宣布完成新一轮战略融资，本轮融资将用于加大数腾软件灾备领域关键技术和产品的研发投入，扩大政务云、金融、能源等重点领域与区域市场的覆盖，加强与战略合作伙伴的生态建设与市场拓展。

上海数腾软件科技股份有限公司成立于 2007 年，是一家云迁移与云灾备提供商，拥有一套核心专利技术 （云影技术），帮助用户解决混合多云架构的IT迁移和灾备问题。

[来源：https://www.niutoushe.com/lives/yunqianyiyuyunzaibeitigongshangshutengruanjianhuoxinyilunzhanluerongzizhongdianjijindujiatouzi]