欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
英特尔发文宣布，在工作了 40 余年之后，首席执行官帕特・基辛格（Pat Gelsinger）已从公司退休，并辞去董事会职务，该任命将于 2024 年 12 月 1 日起生效。
目前，英特尔任命了两位高层领导 David Zinsner 和 Michelle (MJ) Johnston Holthaus 为临时联席首席执行官，同时董事会正在寻找新任首席执行官。Zinsner 担任执行副总裁兼首席财务官，Holthaus 被任命为新设立的英特尔产品首席执行官一职，该部门包括公司的客户端计算事业部 (CCG)、数据中心和人工智能事业部 (DCAI) 以及网络和边缘事业部 (NEX)。
Arc 浏览器背后的初创公司 The Browser Company 发布了一款名为 Dia 的新浏览器，重点聚焦在 AI 工具上，预计将于 2025 年初推出。
目前，该公司已经推出了一个新网站，其中播放了有关该浏览器的视频，并列出了公司内不同的空缺职位。“人工智能不会以应用程序或按钮的形式存在。我们相信它将是一个全新的环境 —— 建立在 Web 浏览器之上。”
在视频中，该公司的首席执行官 Josh Miller 展示了部分功能的早期原型。其中一个演示展示了一款在插入光标处工作的工具，它将帮助用户写下一句话或在撰写有关已知主题（例如第一代 iPhone 的发布和规格）的文章时从互联网上获取事实。该工具似乎还能理解用户的浏览器窗口，并能获取你打开过的亚马逊链接，将其插入带有基本描述的电子邮件中。
12 月 3 日，腾讯混元大模型公布最新进展：正式上线视频生成能力，这是继文生文、文生图、3D 生成之后的又一新里程碑。与此同时，腾讯开源该视频生成大模型，参数量 130 亿，是当前最大的视频开源模型。
目前该视频生成大模型已在 Hugging Face 平台及 Github 上发布，包含模型权重、推理代码、模型算法等完整模型，可供企业与个人开发者免费使用和开发生态插件。
“用户只需要输入一段描述，即可生成视频，” 腾讯混元相关负责人透露，目前的生成视频支持中英文双语输入、多种视频尺寸以及多种视频清晰度。目前该模型已上线腾讯元宝 APP，用户可在 AI 应用中的 “AI 视频” 板块申请试用。企业客户通过腾讯云提供服务接入，目前 API 同步开放内测申请。
作为 FreeBSD 14 系列的增量更新，该版本提供 OCI 容器镜像、安装镜像改进（围绕固件处理）、升级到 OpenZFS 2.2.6 以支持 ZFS 文件系统、OpenSSL 3.0.15 和大量其他软件包更新。
FreeBSD 14.2 还弃用了 fdisk，转而使用 gpart，更多驱动程序添加了对 Intel Meteor Lake 的支持，为更多无线适配器添加了新的 Realtek “RTW89” WiFi 驱动程序，为 802.11 无线网络提供了更好的 LinuxKPI 支持，修复了高核数 AMD EPYC 处理器的启动故障等等。
Qt 6.8.1 版本集成了针对商业用户 Qt 许可证的检查功能，简化了开发人员和组织的许可证管理。这一新集成通过 moc-wrapper 实现，简化了许可证检查流程，实现了自动化许可证处理并增强了 Qt 合规性验证。如果许可证检查失败，许可证管理器将提供错误消息，但不会阻止 Qt 的使用。
亚马逊 AWS 与 Rust 基金会于 11 月 20 日共同发起了一项社区挑战赛，旨在借助社区力量验证 Rust 标准库的安全性。
——简单的说，Rust程序的代码可以分为safe代码和unsafe代码，为什么会有unsafe代码？因为safe有限制，unsafe告诉编译器放宽限制。那么，Rust程序的unsafe代码是否安全就很重要了。一个做法是，不让大家自己随便写unsafe片段，而是制定一些库，大家写unsafe代码的时候尽量调用这些基础库。这样，就可以花很多人力把这些库打造的比较安全，而且可靠性保障的任务就集中到了这些代码库。
所以，AWS和Rust基金发起了这么一个验证标准库的挑战赛。
Verify the Safety of the Rust Standard Library https://aws.amazon.com/cn/blogs/opensource/verify-the-safety-of-the-rust-standard-library/
repo https://github.com/model-checking/verify-rust-std
制造一个能够完成所有任务的机器人。将所有工程工作集中到一个单一的平台上，该平台能够处理大多数用例（这在技术上最近才成为可能）。通过这样做，可以将硬件成本分摊到更多任务上，并受益于一个能够多任务处理数百万种潜在物理世界应用的单一神经网络（这让神经网络运行得更加高效）。
人形形机器人的提案比任何单一用途机器人的概念难一个数量级，但豁出去……让我们拼尽全力去实现它。
- 微博 i陆三金
综合来说，我个人的建议，计算机科学基础还是挺有竞争力的，即使未来 AI 发展，也不会真正替代那些专业人士，相反善用 AI 的专业人士可以极大提升效率更有竞争力。计算机专业知识大学时专门去学最好，毕业后就没有那么多时间和精力去补习了。即使选择某个专业，不代表就要局限在所选专业，一样可以选修其他内容。
- 微博 宝玉xp
“大规模应用的难点，主要是多关节运行的稳定性、精准性和柔性，由于多关节要形成一个整体，往往人形机器人需要通过机器学习来同时优化感知层和执行层，而这些领域都具有比较高的技术算法壁垒。”盘和林说。
- 证券日报
目前大模型首先依赖于海量数据进行训练，因此如果从最开始的这些数据就存在问题，那么训练结果就一定会有偏差，从而影响到AI判断结果的真实可靠。鉴于训练模型所需的大量原始数据，以及对数据灵活的加载方式，攻击者有较大可能通过向其中加入恶意样本，并利用文件处理过程中的漏洞进行攻击。
- 环球时报
- 硅兔赛跑
如果一家公司的表现不佳，而行业整体却在向好，那么董事会或CEO必须采取行动。CEO若无法提出明确的改进计划，董事会就会寻找新的领导者，哪怕问题并不完全是CEO的责任。这种现实虽不公平，却在当下的环境中屡见不鲜。
- 美股投资网
半导体产业高度全球化，美方滥用管制措施严重阻碍各国正常经贸往来，严重破坏市场规则和国际经贸秩序，严重威胁全球产业链供应链稳定。包括美国企业在内的全球半导体业界都受到严重影响。中方将采取必要措施，坚决维护自身正当权益。
- 科创板日报
2024年，就在大家都以为苹果躬身入局将带动整个行业驶上高速公路时，AR行业却并未能如愿跨越鸿沟，暗潮依旧汹涌的这一领域，有了一些台前幕后的变化。如果用一个词来总结2024年的AR行业的话，我愿称之为「减配」。
- 锌产业
https://github.com/ossrs/srs
SRS(Simple Realtime Server)是一个简单高效的实时视频服务器，支持RTMP、WebRTC、HLS、HTTP-FLV、SRT等多种实时流媒体协议。
2024 年，我们开始向只保留 1 到 2 个引擎的方向努力。最近，我们把一套 4000 + 核的业务，最复杂的 Clickhouse 集群迁移到了存算分离的自建 StarRocks 上，成本节约 40%，查询耗时降低一半，单节点不可用导致的集群不可用耗时从 15 分钟减少到了 30s。
观点 1：满满的赛博坦集装箱风 观点 2：一眼工地集装箱 观点 3：Firefox：浏览器与浏览器的悲欢并不相通，我只觉得他们吵闹 观点 4：处理器，无线芯片，内存可以整合到一起，降低成本。硬盘也没必要搞成两个。 观点 5：厂家不一样 再一个空间足够 观点 6：这么一个土到爆的烂壳子就要140 ？ 这配置这价格谁买谁**。 单2.5G口的意义在哪？ 观点 7：wifi也是要带宽的呀 观点 8：500多这档是4口226的j4125啊 观点 9：为啥不是两个2.5G的口 观点 10：第三方厂商可以做成核心板+扩展板的模式，自由组合需要的外设接口。 观点 11：wan有2.5G，lan只有1G？ 观点 12：应该是反过来的，毕竟2.5供电，应该是支持poe交换机的 观点 13：看来我的n1盒子还能再挺挺 观点 14：R2s更香 观点 15：两个接口不适合家用吧，还得加一台交换设备 观点 16：这网口也太少了 观点 17：这个比树莓派4B性能还好吗？
观点 1：加密币不仅没做到decentralization，反而又缔造了一小撮富豪，妙啊 观点 2：依然是算力垄断 观点 3：算力已经是过去时了 观点 4：ai 掌权至少人人某种程度上更平等了吧 观点 5：不会平等，只会通过ai构建信息茧房加速一部分人的平庸化
---END---
评论删除后，数据将无法恢复
开源日报 | 英特尔CEO退休；Arc浏览器开发商预告新的AI浏览器；Rust标准库安全性挑战赛；AI眼镜百团大战；机器人是否一定要人形？
欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.12.3
今日要闻
英特尔首席执行官 Pat Gelsinger 退休
英特尔发文宣布，在工作了 40 余年之后，首席执行官帕特・基辛格（Pat Gelsinger）已从公司退休，并辞去董事会职务，该任命将于 2024 年 12 月 1 日起生效。
目前，英特尔任命了两位高层领导 David Zinsner 和 Michelle (MJ) Johnston Holthaus 为临时联席首席执行官，同时董事会正在寻找新任首席执行官。Zinsner 担任执行副总裁兼首席财务官，Holthaus 被任命为新设立的英特尔产品首席执行官一职，该部门包括公司的客户端计算事业部 (CCG)、数据中心和人工智能事业部 (DCAI) 以及网络和边缘事业部 (NEX)。
Arc 浏览器开发商预告新的 AI 浏览器 Dia
Arc 浏览器背后的初创公司 The Browser Company 发布了一款名为 Dia 的新浏览器，重点聚焦在 AI 工具上，预计将于 2025 年初推出。
目前，该公司已经推出了一个新网站，其中播放了有关该浏览器的视频，并列出了公司内不同的空缺职位。“人工智能不会以应用程序或按钮的形式存在。我们相信它将是一个全新的环境 —— 建立在 Web 浏览器之上。”
在视频中，该公司的首席执行官 Josh Miller 展示了部分功能的早期原型。其中一个演示展示了一款在插入光标处工作的工具，它将帮助用户写下一句话或在撰写有关已知主题（例如第一代 iPhone 的发布和规格）的文章时从互联网上获取事实。该工具似乎还能理解用户的浏览器窗口，并能获取你打开过的亚马逊链接，将其插入带有基本描述的电子邮件中。
腾讯混元大模型上线“文生视频”能力，并宣布开源
12 月 3 日，腾讯混元大模型公布最新进展：正式上线视频生成能力，这是继文生文、文生图、3D 生成之后的又一新里程碑。与此同时，腾讯开源该视频生成大模型，参数量 130 亿，是当前最大的视频开源模型。
目前该视频生成大模型已在 Hugging Face 平台及 Github 上发布，包含模型权重、推理代码、模型算法等完整模型，可供企业与个人开发者免费使用和开发生态插件。
“用户只需要输入一段描述，即可生成视频，” 腾讯混元相关负责人透露，目前的生成视频支持中英文双语输入、多种视频尺寸以及多种视频清晰度。目前该模型已上线腾讯元宝 APP，用户可在 AI 应用中的 “AI 视频” 板块申请试用。企业客户通过腾讯云提供服务接入，目前 API 同步开放内测申请。
FreeBSD 14.2 发布，升级 OpenZFS 并改进安装程序
作为 FreeBSD 14 系列的增量更新，该版本提供 OCI 容器镜像、安装镜像改进（围绕固件处理）、升级到 OpenZFS 2.2.6 以支持 ZFS 文件系统、OpenSSL 3.0.15 和大量其他软件包更新。
FreeBSD 14.2 还弃用了 fdisk，转而使用 gpart，更多驱动程序添加了对 Intel Meteor Lake 的支持，为更多无线适配器添加了新的 Realtek “RTW89” WiFi 驱动程序，为 802.11 无线网络提供了更好的 LinuxKPI 支持，修复了高核数 AMD EPYC 处理器的启动故障等等。
Qt 6.8.1 发布
Qt 6.8.1 版本集成了针对商业用户 Qt 许可证的检查功能，简化了开发人员和组织的许可证管理。这一新集成通过 moc-wrapper 实现，简化了许可证检查流程，实现了自动化许可证处理并增强了 Qt 合规性验证。如果许可证检查失败，许可证管理器将提供错误消息，但不会阻止 Qt 的使用。
今日观察
社交观察
AWS和Rust基金发起验证标准库的挑战赛
亚马逊 AWS 与 Rust 基金会于 11 月 20 日共同发起了一项社区挑战赛，旨在借助社区力量验证 Rust 标准库的安全性。
——简单的说，Rust程序的代码可以分为safe代码和unsafe代码，为什么会有unsafe代码？因为safe有限制，unsafe告诉编译器放宽限制。那么，Rust程序的unsafe代码是否安全就很重要了。一个做法是，不让大家自己随便写unsafe片段，而是制定一些库，大家写unsafe代码的时候尽量调用这些基础库。这样，就可以花很多人力把这些库打造的比较安全，而且可靠性保障的任务就集中到了这些代码库。
所以，AWS和Rust基金发起了这么一个验证标准库的挑战赛。
Verify the Safety of the Rust Standard Library
https://aws.amazon.com/cn/blogs/opensource/verify-the-safety-of-the-rust-standard-library/
repo
https://github.com/model-checking/verify-rust-std
机器人是否一定要人形？
制造一个能够完成所有任务的机器人。将所有工程工作集中到一个单一的平台上，该平台能够处理大多数用例（这在技术上最近才成为可能）。通过这样做，可以将硬件成本分摊到更多任务上，并受益于一个能够多任务处理数百万种潜在物理世界应用的单一神经网络（这让神经网络运行得更加高效）。
人形形机器人的提案比任何单一用途机器人的概念难一个数量级，但豁出去……让我们拼尽全力去实现它。
- 微博 i陆三金
IT 专业（business information system方向）和CS专业哪个好？
综合来说，我个人的建议，计算机科学基础还是挺有竞争力的，即使未来 AI 发展，也不会真正替代那些专业人士，相反善用 AI 的专业人士可以极大提升效率更有竞争力。计算机专业知识大学时专门去学最好，毕业后就没有那么多时间和精力去补习了。即使选择某个专业，不代表就要局限在所选专业，一样可以选修其他内容。
- 微博 宝玉xp
媒体观察
人形机器人赛道融资火热 是泡沫还是新风口？
“大规模应用的难点，主要是多关节运行的稳定性、精准性和柔性，由于多关节要形成一个整体，往往人形机器人需要通过机器学习来同时优化感知层和执行层，而这些领域都具有比较高的技术算法壁垒。”盘和林说。
- 证券日报
专家解读大模型遭受网攻新风险
目前大模型首先依赖于海量数据进行训练，因此如果从最开始的这些数据就存在问题，那么训练结果就一定会有偏差，从而影响到AI判断结果的真实可靠。鉴于训练模型所需的大量原始数据，以及对数据灵活的加载方式，攻击者有较大可能通过向其中加入恶意样本，并利用文件处理过程中的漏洞进行攻击。
- 环球时报
李飞飞AI初创首秀，打造空间智能四大玩法，分分钟创建新世界，估值超10亿
- 硅兔赛跑
英伟达押注欧洲AI，华尔街CEO离职潮背后的真相是什么？
如果一家公司的表现不佳，而行业整体却在向好，那么董事会或CEO必须采取行动。CEO若无法提出明确的改进计划，董事会就会寻找新的领导者，哪怕问题并不完全是CEO的责任。这种现实虽不公平，却在当下的环境中屡见不鲜。
- 美股投资网
美国最新半导体禁令，影响几何？
半导体产业高度全球化，美方滥用管制措施严重阻碍各国正常经贸往来，严重破坏市场规则和国际经贸秩序，严重威胁全球产业链供应链稳定。包括美国企业在内的全球半导体业界都受到严重影响。中方将采取必要措施，坚决维护自身正当权益。
- 科创板日报
AI眼镜百团大战，AR眼镜再等十年
2024年，就在大家都以为苹果躬身入局将带动整个行业驶上高速公路时，AR行业却并未能如愿跨越鸿沟，暗潮依旧汹涌的这一领域，有了一些台前幕后的变化。如果用一个词来总结2024年的AR行业的话，我愿称之为「减配」。
- 锌产业
今日推荐
开源项目
ossrs/srs
https://github.com/ossrs/srs
SRS(Simple Realtime Server)是一个简单高效的实时视频服务器，支持RTMP、WebRTC、HLS、HTTP-FLV、SRT等多种实时流媒体协议。
每日一博
StarRocks 存算分离在得物的降本增效实践
2024 年，我们开始向只保留 1 到 2 个引擎的方向努力。最近，我们把一套 4000 + 核的业务，最复杂的 Clickhouse 集群迁移到了存算分离的自建 StarRocks 上，成本节约 40%，查询耗时降低一半，单节点不可用导致的集群不可用耗时从 15 分钟减少到了 30s。
开源之声
用户观点
OpenWrt项目组发布OpenWrt One路由器，售价400元起
对话V神：世界不该落入AI只手遮天的权力王国
---END---