硬核老王 发布的文章

AlmaLinux 确认受到 RHEL 源代码发布变化影响

针对 昨天 红帽发布的改变 RHEL 源代码发布方式的公告，AlmaLinux 发布声明称，这将限制他们 1:1 复制 RHEL 构建的能力。因为 CentOS Stream 虽然是 RHEL 的上游，但并不总是包括 RHEL 软件包中的所有补丁和更新。想要做到完全复制，需要有 RHEL 构建版本时的源代码。而要获得该源代码，AlmaLinux 称，“不幸的是，按照我们今天的理解，红帽公司的用户界面协议表明，重新发布通过客户门户获得的资源将违反这些协议。”在短期内，他们将专注于通过跟踪 CentOS Stream 的变化和 Oracle Linux 等来为 AlmaLinux 提供安全更新。但从长远来看，他们将与其他 RHEL 下游产品和合作伙伴合作，寻找一条合适的发展道路。

消息来源：AlmaLinux
老王点评：对于这件事红帽背后的动机我们就不妄自揣测了，毕竟红帽和 AlmaLinux 曾经“建立了令人难以置信的工作关系”。但事实就是，社区构建的 AlmaLinux 想要跟上 RHEL 的构建会越来越麻烦和越来越慢。所以，你怎么看呢？

哈佛给计算机学生们配备了一位聊天机器人老师

哈佛大学将为今年秋季的计算机科学导论 CS50 课程的学生配置一位聊天机器人老师。这个聊天机器人将不使用 ChatGPT 或 GitHub Copilot，因为它们“太有帮助了”。相反，哈佛大学已经开发了自己的大型语言模型 “CS50 机器人”，它将 “具有类似的精神”，但将专注于 “引导学生找到答案，而不是将答案交给他们”。

消息来源：PCMag
老王点评：我认为哈佛大学走在了正确的道路，拥抱 AI，而不是让 AI 替代人类，让 AI 帮助学习，而不是让学生抄袭 AI 的作业。

E3 或许再也不会举办

之前，我们 报道 过，今年的 E3 2023 已经取消，这本应是 2019 年后的第一次 E3 线下盛会。现在，E3 已经取消了 2024 年和 2025 年在洛杉矶的活动。这表明有些事情阻碍了 E3 的回归，或者其组织者正在考虑将其迁出洛杉矶。

消息来源：The Verge
老王点评：一场大流行，改变了很多。很多事情再也回不到过去了。

RHEL 源代码将只放在 CentOS Stream 上

在没有宣布废弃 CentOS 之前，RHEL 的源代码会发布在 git.centos.org 上，那时候 CentOS 还是 RHEL 的下游。之后，在 CentOS Stream 成为 RHEL 的上游后，该仓库得以保留。红帽宣布，“CentOS Stream 将成为公开发布 RHEL 相关源代码的唯一仓库。对于红帽的客户和合作伙伴，源代码将继续通过红帽客户门户网站提供。”并进一步澄清，“这一变化并不意味着CentOS 项目、CentOS Stream 或 CentOS SIG 的源代码可用性有任何变化。”但这一举动引来了社区的一些人的担心，“Alma Linux，Rocky Linux，Oracle Linux 等将更难提供与 RHEL 版本 1:1 的二进制兼容的构建。”

消息来源：Phoronix
老王点评：我认为，从目前的声明上看，这种担心或许是多余的，我们只需要观察之后的 RHEL 和 CentOS Stream 之间差异有多大就好了。但从对这个事情的反应可以看出，社区对红帽的信任在降低。

Reddit 用户涌入 Lemmy

类似马斯克收购 Twitter 后 Twitter 难民涌入 Mastodon，大量 Reddit 难民涌入了 Lemmy 实例。其中，lemmy.world 实例的总用户数达到了 3.8 万。突然间，Lemmy 已经成为最大的联邦宇宙项目之一。在 Reddit 社区重新开放之后，部分用户可能会离开，但也许有更多用户会留下。

消息来源：Lemmy
老王点评：这些联邦宇宙社区会得到更多用户，但 Twitter、Reddit 失血更多。

C++ 26 标准正在制定中

C++ 版本以其发布的年份命名，并遵循三年的周期。国际标准化组织 C++ 标准委员会发布了 C++ 26 的进展情况。根据其时间表，新语言功能的截止日期是 2024 年第三季度，功能冻结将在 2025 年第一季度。委员会已经通过了 40 份 “修改文件”，增加了 _ 字符通配符，基本字符集添加了 @、$ 和 `。此外，在 C++ 26 中还支持了危险指针。危险指针是指 “只有其所有者可以设置其值，而任何数量的线程都可以读取其值” 的指针，它很难导致非常常见的内存安全问题。

消息来源：Dev Class
老王点评：在我看来，C++ 标准的演进有一定的意义，但是这并不能阻止其传统的领域被 Rust、Carbon 等新底层语言的侵蚀。

DeepMind 联合创始人提出新图灵测试

阿兰·图灵在 1950 年代提出了最早的对 AI 的测试，人类评估者判断他们是在和人类还是与 AI 说话。如果 AI 能冒充人类，那么它就通过了图灵测试。DeepMind 联合创始人 Mustafa Suleyman 在其新书中否定了传统的图灵测试，因为“它没有告诉我们系统能做什么或理解什么，是否建立了复杂的内心独白，或能在抽象的时间范围内进行规划”。他提出了新的图灵测试，“让 AI 将 10 万美元的种子基金变成 100 万美元，以此衡量 AI 是否具有类人的智能”。AI 需要研究一个电商方案，制定产品计划，找到制造商和销售商品。他预测 AI 将在两年内实现这一目标：“我们不只关心机器能说什么，我们还关心它能做什么。”

消息来源：Business Insider
老王点评：之前我们在 #1036 报道过，AI 撰写的商业计划书获得了更多投资人的青睐，我就谈到或许以后可以直接投资 AI 管理运营的企业。现在看起来，这个日子不会太远。不过，要是 AI 都会自己赚钱了，可以自己养自己了，还要人类干啥？

OpenAI 准备建立 AI 应用商店

据透露，OpenAI 正在考虑推出一个应用市场，客户可以将他们根据自己的需要定制的人工智能模型出售给其他企业。例如，可以发现在线零售交易中的金融欺诈，或回答有关特定市场的最新信息的模型。目前还不清楚 OpenAI 是否会对这些销售收取佣金，或者以其他方式从市场上获得收入。

消息来源：The Information
老王点评：有苹果应用商店的成功在前，这真是一个聪明的主意。不过我更倾向于将来会有 AI 自己使用的一种交易机制，AI 们可以在其中交易训练数据、模型权重和特定的模型等，并通过买来或学到的“技能”换取更多的交易机会。

微软计划淘汰原生的邮件和日历应用引来批评

微软打算关闭其时常被人诟病的邮件和日历应用程序，将其功能放到新的 Windows 版 Outlook 中。然而，尽管多年来用户对这些应用程序提出了一些批评，但对上述决定有一些强烈的负面反应。有用户评论，“看到微软为 Windows 开发网络应用，却为安卓、iOS 和 MacOS 打造高质量的原生应用，这有点搞笑，但也很悲哀。”用户认为淘汰邮件和日历的决定是对 WinUI 原生工具包的信心丧失，“如果你不能将 UWP 应用程序移植到本地工具包，这基本上就是承认没有人应该建立原生 Windows 应用程序。甚至微软也不使用他们自己的工具包。”

消息来源：The Register
老王点评：虽然邮件和日历应用有点鸡肋，但是连微软都不在自己的 Windows 上开发原生的应用，而用网络应用敷衍——这恐怕不完全是因为网络应用更流行，也是原生应用走衰的趋势吧。

谷歌警告员工不要使用 Bard 生成的代码

谷歌对外宣传 Bard 有助于开发者提高工作效率，但它对内警告员工不要使用 Bard 生成的代码。谷歌解释称，它的内部使用禁令是因为 Bard 会产生不需要的代码建议，潜在会导致程序出现错误或过于复杂，软件过于臃肿，相比不使用 AI 辅助编程需要更多时间修复。该公司表示，它的目标是对其技术的局限性保持透明 —— Bard 会提出不想要的代码建议，但它还是有助于程序员。

消息来源：路透社
老王点评：合着还是拿用户做小白鼠啊，所以你放心使用 AI 生成的代码用在生产环境吗？

Reddit 抗议活动仍在继续中

上周一二，Reddit 版主们为了抗议 Reddit 的 API 定价政策而宣布关闭他们管理的子区，最高时期超过 90% 的子区变成了私有或限制发帖状态。直到一周后，仍有三千多个子区继续抗议，但最大的一些已经重新开放，不过这些子区将他们的抗议改为到张贴喜剧演员约翰·奥利弗的照片，“所有帖子都必须是约翰·奥利弗看起来很性感的图片”。Reddit 声称，它做出 API 价格改变是为了从 AI 需求中获利，AI 可以利用其托管的内容进行大型语言模型训练。

消息来源：The Register
老王点评：即便是迫于 IPO 压力，但我说，Reddit 这件事办的很糟糕，最后很可能是两败俱伤的结果。

Meta 宣布危险到不能公布代码的语音生成 AI 模型

Meta 公司昨天宣布了一个名为 Voicebox 的新人工智能模型，它说这是迄今为止功能最全面的语音生成器，“但由于滥用的潜在风险”，目前没有公开提供 Voicebox 模型或代码。该模型仍然只是一个研究项目，Meta 公司说它可以从短至两秒的样本中生成六种语言的语音，未来可用于 “自然、真实” 的翻译等方面。

消息来源：The Verge
老王点评：当一个 AI 已经不能被人类或 AI 识别时，很可能带来的风险超过收益。

PostgreSQL 超过 MySQL 成为开发者首选数据库

Stack Overflow 2023 年 5 月的调查显示，45.55% 的受访者使用 PostgreSQL，而 MySQL 为 41.09%，SQLite 为 30.9%。三年前，同样的调查中，MySQL 占 55.6%，PostgreSQL 占 36.1%。需要注意的是，这是一个开发者调查，它并不反映生产中的使用情况。此外，微软的 SQL Server 是排名最高的全商业数据库引擎，使用比例为 25.45%，比 2020 年的 33% 有所下降。

消息来源：Dev Class
老王点评：其实 PostgreSQL 在特性方面一直比 MySQL 好，但是这十多年来就一直被 MySQL 压着打。我接触的第一个开源数据库是 PostgreSQL 而不是 MySQL。现在似乎 MySQL 有点颓势了，而 PostgreSQL 多年的坚持得到了开发者们的认可。如果你是开发者，你会考虑选择哪个呢？

红帽准备开发 CentOS Stream 10

根据红帽工程师分享的 Fedora Enterprise Linux Next（ELN） 计划，推出 CentOS Stream 10 的进程正在进行中，这将最终形成 Red Hat Enterprise Linux（RHEL）10 的基础。预计将在 7 月把所有 Fedora ELN 内容大量导入 CentOS Stream 10。CentOS Stream 的目标是在明年 2 月的 Fedora 40 之前，不与 Fedora 分叉。预计 RHEL 10 将在 2025 年发布。

消息来源：Phoronix
老王点评：无论如何，我都觉得红帽放弃 CentOS 的战略是一大败笔，至少这件事可以做的更好。当然，任何决定背后都有其根本利益的驱动，红帽这样做无可厚非，只是如今这个局面可能是他们最初也没预料的吧。

英特尔简化其 CPU 品牌组合

英特尔已经宣布从下一代 Meteor Lake CPU 开始对其处理器品牌进行一些改变。最小的变化是，英特尔的主流 CPU 将失去其 “i”，从 Core i3/i5/i7/i9 转变为简单的 Core 3/5/7/9。英特尔还将停止在其处理器品牌中使用 “代” 的信息 —— 不会有被宣传为 “第 14 代” 的新 CPU，但会在 CPU 编号中包含世代编号。这是英特尔处理器品牌战略更广泛调整的一部分。去年，该公司放弃了低端笔记本电脑 CPU 的奔腾和赛扬品牌名称，它现在将这些英特尔处理器称为英特尔处理器。

消息来源：Ars Technica
老王点评：这些 CPU 厂商的命名真是有点随意，编号和实际的技术有时候有点脱节。

众包工人用 AI 为 AI 做数据标注工作

AI 模型是建立在人类劳动的基础之上的，高质量的数据标注对 AI 模型至关重要，AI 公司通常会雇佣廉价的众包工人做一些数据标注工作。但研究显示，随着 AI 聊天机器人，如 ChatGPT 的流行，众包工人开始利用 AI 做这些数据标注的工作。瑞士洛桑联邦理工学院的研究人员招募了 44 名众包工人来对 16 篇医学研究论文总结摘要，根据记录的击键情况，比如按下复制快捷键等，他们估计有 33-46% 的摘要文本是用 AI 生成的。

消息来源：The Register
老王点评：还记得前两天我们的#1032 期报道吗，显然这种 AI 吃 AI 的狗粮的事情已经在发生，并且会越来越多。而且，AI 真的能分清楚哪些是 AI 生成的么？可能会越来越难。

FreeBSD 本月庆祝其三十岁生日

1993 年 6 月 19 日，从 386BSD 项目中分裂出来的 FreeBSD 正式有了这个名字。但第一个正式版本直到 1993 年 11 月才发布。FreeBSD 14 将于未来几个月后发布，晚于预期计划。

消息来源：FreeBSD
老王点评：虽然不如 Linux 那么流行，但是 FreeBSD 仍然是一个独特而重要的操作系统。当然，这里面故事很多，感兴趣的朋友可以了解一下。

GPT-4 生成的商业计划书更受投资者青睐

虽然用 AI 撰写商业计划书能节约很多时间，但更重要的是，AI 撰写的比人类撰写的更好，更吸引投资。有公司邀请了数百名投资者和企业主对一组由人类创造和 GPT-4 生成的商业计划书进行评分，他们并不知道有 AI 参与撰写。而且，其中人类撰写的计划书来自于已经获得融资的成功案例。结果显示 GPT-4 生成的商业计划书比人类更有效，被认为在质量、关键要素描述和问题描述上胜过人类。调查显示，在投资者和企业主阅读了 GPT-4 的计划书之后，投资可能性为人类的三倍，他们认为 AI 生成计划书的说服力是人类的两倍。

消息来源：ZDNet
老王点评：投资人可能会想，那我为什么不直接投资 AI 创建的企业呢？这一天或许不远了。
  1. 1
  2. ...
  3. 36
  4. 37
  5. 38
  6. 39
  7. 40
  8. 41
  9. 42
  10. ...
  11. 213