马斯克宣布成立 x.AI 公司｜Linux 桌面市场份额首次达到 3%｜思否周刊

40s 新闻快讯

• 马斯克宣布成立 x.AI
• 公司耗时 30 年，Linux 桌面市场份额首次达到 3%
• Meta 新产品 Threads 上线 5 天内用户数已突破 1 亿
• 欧盟批准美国芯片制造商博通收购云计算服务商 VMware
• Stack Overflow CEO ：旗下 AI 工具开发中，人工智能将导致开发人员爆炸式增长
• Meta 将发布商用版 LLaMA
• GPT-4 模型架构等关键信息泄漏
• TIOBE 7 月编程语言排行榜公布，C++步步紧逼 C 语言
• 华为公布专利许可计划和费率 去年专利许可收入 5.6 亿美元
• IntelliJ IDEA 推出 Kotlin Notebook 插件
• Spring Framework 6.1 M2 发布
• React Native 0.72.2 发布
• Tomcat 10.1.11 发布

行业资讯

马斯克宣布成立 x.AI 公司

马斯克于 7 月 13 日凌晨在 Twitter 宣布由他参与组织及领导的 x.AI 公司正式成立， 称他们成立的目标是 “理解宇宙的真实本质”。据官网的介绍，x.AI 是一家独立于 X Corp 的公司，但和马斯克拥有的其他公司，如 Twitter、特斯拉将会有紧密合作。事实上，x.AI 已经开始与 Twitter 进行 “紧密合作”。英伟达高级 AI 科学家 Jim Fan 在 Twitter 透露，x.AI 是目前唯一一家可以在 Twitter 上抓取信息来训练的人工智能公司。（开源中国）

耗时 30 年，Linux 桌面市场份额首次达到 3%

根据 7 月 11 日流量监测机构 StatCounter 发布的最新数据，截至 2023 年 6 月，Linux 操作系统的桌面市场份额 30 年以来首次突破了 3％。其他操作系统的市场份额分别为 Windows（68.15％）、macOS（21.38％）和 Chrome OS（4.15％）。虽然 Linux 在普通用户中的受欢迎程度远不如微软的 Windows 和苹果的 macOS，但这一数据表明，Linux 操作系统未来的发展前景相当可观。（IT 之家）

Meta 新产品 Threads 上线 5 天内用户数已突破 1 亿

7 月 10 日晚，Meta 创始人 Mark Zuckerberg 宣布，Threads 的注册用户数已达到 1 亿。此前，Threads 上线不到 24 小时用户数便突破了 3000 万，先后打破了 ChatGPT 几个月前创造的记录：成为最快突破一百万和一亿用户数的消费级应用。根据 Cloudflare 的监测，Threads 上线之后，Twitter 的流量显著下降，成为 Twitter 有力竞争对手（开源中国）

欧盟批准美国芯片制造商博通收购云计算服务商 VMware

据美国当地时间 7 月 12 日报道，博通公司已经获得欧盟委员会的附加条件批准，以完成对 VMware 的收购交易。据悉，该交易将在博通 2023 财年完成。为了充分解决欧盟委员会对该交易所表达的担忧，博通向欧盟委员会提供了技术准入救济方案以确保互操作性。博通方面表示，他们很高兴欧盟委员会接受了这一救济方案的决定，并期待继续与全球各地的监管机构进行建设性的合作。（中国电子报）

Stack Overflow 首席执行官 ：旗下 AI 工具开发中，人工智能将导致开发人员爆炸式增长

Stack Overflow 的 CEO Prashanth Chandrasekar 最近接受外媒采访时表示，该公司正在投入 10%的员工资源开发旗下 AI 工具，并计划在今年夏季晚些时候发布。他认为，生成式 AI 不会导致人类程序员被替代，相反，软件开发人员的数量将会出现爆炸式增长。他指出，Stack Overflow 数据集的官方开发人员目前大约有 3000 万，而这个数字在未来至少会增加两倍。他还强调，不采用新一代的 AI 工具的开发人员最终将会被时代所淘汰。（IT 之家）

Meta 将发布商用版 LLaMA

根据英国《金融时报》的报道，Meta 计划推出商业版人工智能模型，让初创公司和企业可以基于该技术构建定制软件，这将帮助 Meta 与微软支持的 OpenAI 和谷歌展开竞争。早些时候，Meta 已经向研究人员和学者发布了其大型语言模型 LLaMA，但这次新版本将更广泛地提供给企业，并可由企业进行定制。（36 氪）

GPT-4 模型架构等关键信息泄漏

7 月 12 日，SemiAnalysis 发布了一篇付费订阅的内容，「揭秘」了有关 GPT-4 的更多信息。文章称，他们从许多来源收集了大量有关 GPT-4 的信息，包括模型架构、训练基础设施、推理基础设施、参数量、训练数据集组成、token 量、层数、并行策略、多模态视觉适应、不同工程权衡背后的思维过程、独特的实现技术以及如何减轻与巨型模型推理有关的瓶颈等。虽然无法保证真实性，但这是迄今为止关于 GPT-4 最为详细的数据揭秘。（澎湃新闻）

TIOBE 7 月编程语言排行榜公布，C++步步紧逼 C 语言

近日，TIOBE 公布了本月编程语言流行程度排行榜。继几个月前， C++ 占据了 TIOBE 指数的第 3 位后，其当前步步紧逼位居第二 C 语言，两者的差距仅为 0.76%。 除此之外，本月 JavaScript 达到了第六位，创历史新高。 Matlab、Scratch 和 Rust 也追平了各自的历史最高纪录，分别位居第 10、第 12 和第 17 位。(TIOBE)

华为公布专利许可计划和费率 去年专利许可收入 5.6 亿美元

7 月 13 日，华为作为主办方在于深圳举行的“跨越创新边界——2023 创新和知识产权论坛”上公布了其手机、Wi-Fi 和物联网专利许可费率。其中，华为 2022 年专利许可收入为 5.6 亿美元。华为还在此次论坛上公布了其 4G 和 5G 手机、Wi-Fi 6 设备和物联网产品的专利许可费率。此外，华为还公布了其 4G 和 5G 手机、Wi-Fi 6 设备和物联网产品的专利许可费率。华为是这些领域标准必要专利最大的持有企业之一。（中国经济网）

技术动态

IntelliJ IDEA 推出 Kotlin Notebook 插件

IntelliJ IDEA 的 Kotlin Notebook 插件的第一个实验版本现已推出。Notebook 是一种交互式工具，能够将代码、可视化和文本组合到单个文档中。 在 Notebook 中，您可以在一个地方编写并运行代码段（单元）、查看结果，以及记录思维过程。Notebook 已在快速原型设计、分析和数据科学领域得到广泛采用和信赖。 Kotlin Notebook 插件为 IntelliJ IDEA 带来了交互式开发的强大功能，补充了 IDE 对 Kotlin 语言支持的全部功能，并结合了浏览器的灵活可视化。

详情：https://plugins.jetbrains.com/plugin/16340-kotlin-notebook

Spring Framework 6.1 M2 发布

第二个 Spring Framework 6.1 里程碑版本现已发布。新版本主要更新了如下内容：

• 添加了新主题：@Scheduled 改进和 RestClient 的引入。
• 数据绑定和验证工作取得了进展，完成了为 Method Bean Validation 提供 Web 支持 和 umbrella issue
• 现可在 VirtualThreadTaskExecutor（如果可用）上安排 WebFlux 控制器的阻塞执行。
• 检查点/恢复功能仍在继续，开发人员体验更新以及 ThreadPoolTaskExecutor 和 ThreadPoolTaskScheduler 的生命周期改进

详情：https://spring.io/blog/2023/07/13/spring-framework-6-1-m2-rel...

React Native 0.72.2 发布

React Native 0.72.2 已发布，主要更新内容如下：

• 从模板中删除已弃用的存根类型 @types/metro-config（63f78ea8de）
• 将 CLI 升级到 11.3.5，Metro 升级到 0.76.7（ba5fa9c394）
• 将 @react-native/metro-config 升级至 0.72.9（21daa6e790，f37386176）

详情：https://github.com/facebook/react-native/releases/tag/v0.72.2

Tomcat 10.1.11 发布

Apache Tomcat 项目宣布发布 Apache Tomcat 10.1.11 版本。 此版本实现了属于 Jakarta EE 10 平台一部分的规范。
此新版本具有以下显著变化：

• 添加 ContextNamingInfoListener，一个创建上下文命名信息环境条目的侦听器。
• 添加 PropertiesRoleMappingListener，这是一个从属性文件填充上下文角色映射的侦听器。

详情：https://tomcat.apache.org/