欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.12.6
今日要闻
React v19 正式发布
React v19 更新总结
- Actions：
-
useActionStateHook：接受一个函数（Action），返回包装后的 Action 供调用，调用时返回结果和等待状态，用于简化常见的 Actions 场景处理。 -
useOptimisticHook：在执行数据变更的异步请求时，以乐观方式展示最终状态，更新完成或出错后自动切换回原值，优化用户界面反馈。 -
<form>Actions 集成：在react-dom中，支持将函数作为<form>、<input>和<button>元素的相关属性传递，实现自动提交表单，成功时自动重置不受控组件表单，也可手动调用requestFormResetAPI 重置。 -
useFormStatusHook：方便编写设计组件获取所处<form>表单信息，无需层层传递props，可像读取 Context 提供者状态一样读取表单状态。 -
useAPI：用于在渲染时读取资源，可读取Promise并让 React 挂起直至其解析，也能读取Context，且可条件性调用。
-
-
新的 React DOM 静态 API：
prerender和prerenderToNodeStream用于静态网站生成，改进renderToString功能，会等待数据加载后生成静态 HTML，适配 Node.js Streams 和 Web Streams 等流环境。 -
React Server Components：提供在独立于客户端应用或 SSR 服务器环境中提前渲染组件的新选择，相关库可将 React 19 作为对等依赖，应用于支持全栈 React 架构的框架。
-
ref作为 prop：现在可以在函数组件中直接使用ref作为prop。 -
水合错误改进：改进了客户端渲染和服务端渲染之间的水合错误报告。
-
<Context>作为提供者：可以直接使用<Context>作为提供者，而不是<Context.Provider>。
博通痛失大客户，英国云厂商将 2 万多台虚拟机从 VMware 迁移到开源平台
英国云厂商 Beeks Group 近日宣称，VMware 高达 1000% 的惊人涨价迫使其转向开源竞争对手 OpenNebula。
据悉，Beeks Group 已将其 20000 多台虚拟机中的 “大多数” 迁移至 OpenNebula 平台，目前仅保留少量 VMware 虚拟机。迁移原因之一是 VMware 账单是以前购买软件许可证的支出的 10 倍。
Beeks Group 主要为金融服务提供商提供虚拟专用服务器和裸机服务器。该公司表示，转向 OpenNebula 不仅大幅降低了成本，还使其虚拟机效率提升了 200%，并将更多裸机服务器资源用于客户端负载，而非像以往使用 VMware 时那样用于虚拟机管理。
OpenAI 正式发布 o1 完整版，并上线每月 200 美元的「ChatGPT Pro」
o1 模型完整版主要特性：
- 比 o1 Preview 更快、更智能。
- 支持多模态推理，可同时处理图像和文本输入。
- 在数学、编程等领域性能显著提升，错误率减少 34%，推理速度提升 50%。
- 在 MMU、Math Vista 等标准基准测试上表现达到行业领先水平。
OpenAI 的测试显示，o1 完整版比预览版的错误率降低了约 34%，思考速度提高了约 60%。
「ChatGPT Pro」，是一个每月 200 美元的高级订阅服务，允许用户无限制使用高阶模型，包括 o1 模型的 Pro 版本。
月之暗面与投资人纷争再起波澜：朱啸虎炮轰张予彤隐瞒免费股份
金沙江创投的主管合伙人朱啸虎公开指责张予彤在涉及月之暗面公司的问题上存在严重的不当行为。
张予彤被指控在金沙江创投时期主导了循环智能的投资，并在月之暗面的成立和高估值融资中扮演了关键角色，最终因隐瞒自己在新公司中拥有的 14% 免费股份而被解雇，这一行为违反了基金合伙人和公司董事的责任。
谷歌 DeepMind 宣布世界模型 Genie 2
谷歌 DeepMind 最近宣布了名为「Genie 2」的大规模基础世界模型 (world models)，这是一款能够根据单张图片和文字描述生成可玩 3D 世界的新模型，标志着人工智能在虚拟世界创建领域的一大进步。
Genie 2 的应用范围相当广泛，包括快速原型设计、AI 智能体评估等，为研究人员快速生成多样化的环境提供了一个强大工具，能够为未见过的任务场景提供评估支持。
今日观察
社交观察
来拿硬件打个比方说明什么是计算机科学
比如一个运算放大器，opamp，它有一个model，它的input会转换成output，它可以搭配一个无源器件网络实现信号的变换，包括不同频率的不同放大倍数。这里的每个器件都被物理学定律govern，这相当于他们的operational semantics，就像我们在计算机语言里定义的那样。
计算机语言当然也是有model的，但是一段程序的operational semantics很变态，尤其是传入参数可能带着一根指向宇宙的指针，这就吐血了。
一颗运算放大器的内部并不简单，但是它有一个ideal model的描述，当一个放大器经过简单组合成为4-stage 8th order low pass filter时，我们发现它的semantics的composition产生的结果，仍然是足够简单的，这一点是计算机语言表达的程序非常难以做到的。
在很大意义上说计算机语言被称为语言是一个谎言，因为如果一大坨语言描述都是语法上的，它没有解决用户需要用语言表达「meaning」的需求，或者「meaning」没办法简单被理解，这个就失去了语言的意义。
所以今天的计算机语言，说它是formal language，这是对的，但如果说程序是formal system，definitely no，因为compiler最终只是把它拿去翻译成机器指令让计算机可以运行这段程序，这就是「中国盒子」的例子；虽然今天的计算机语言实现，类型系统的设计，编译优化等等，无论在工程上还是在科学上都比龙书出来的时候大有进步，但是，龙书封面上写的那句：syntax directed translation
依旧是现代计算机语言的本质。
马斯克又在推特上给大家做题了
- 微博 Ridiculeisnormalcy
AI-FFmpeg 就是一个在线视频处理工具
- 微博 摇摆时间线ZHLMI
媒体观察
人形机器人板块投资机会凸显
分析人士认为，在政策和技术双重助推下，人形机器人突破关键核心技术和产业化的步伐将加快，商业化落地可期。随着AGI技术持续突破、供应链格局趋于完善、下游应用需求持续打开，人形机器人行业作为高端制造成长板块的明珠，2025年将迎来板块性投资机会，建议关注受益于人形机器人量产的国内一体化关节、减速器、电机龙头企业。
- 中国证券报
裸眼3D技术加速落地 谁能分得一杯羹？
裸眼3D技术目前正处于风口，并且有巨大的发展潜力。从产业角度看，雷曼光电、兆讯传媒、奥拓电子、洲明科技、国星光电、康达新材、苏大维格、丝路视觉、电声股份等多家上市公司均在裸眼3D技术上有所布局。
- 证券日报
抱着黄仁勋哭完，孙正义又砸了100亿
可以说，如果在黄仁勋怀里的表演，是孙正义发自肺腑的“后悔”，那么OpenAI和它所引领的人工智能，就是孙正义目前最认可的“后悔药”。
- 东四十条资本
李飞飞，带出一个学生军团
李飞飞是谁？现年48岁，被誉为“AI教母”，她是全球研究AI领域的标志性人物，长期主导着斯坦福大学的人工智能学科研究。而她带出的学生军团，正成为全球AI界的中流砥柱。
- 投资界
对话朱啸虎：可以跟月之暗面和解，张予彤必须公开承认错误
朱啸虎在第二条朋友圈表示，愿意豁免月之暗面及其两位创始人，支持其追求AGI梦想。但这不代表他能够容忍“违背受托责任”、“违背商业伦理道德甚至法律”的张予彤。
朱啸虎的此番炮轰异常激烈。至此，张予彤已无法继续处在月之暗面的“暗面”，而不得不走到聚光灯下。
- 界面新闻
大厂疯抢GPU，马斯克要买100万个？
在GPU广受欢迎的当下，英伟达无疑是最大的赢家。但AMD也不甘人后，正在努力成为这个市场的另一个重要角色。除此以外，微软、Meta、谷歌、AWS等巨头，也都在打造自主的AI芯片，希望在这个市场凭借自研的加速器，去英伟达GPU之间找到另一个平衡点。
- 半导体行业观察
今日推荐
开源项目
k0sproject/k0s
https://github.com/k0sproject/k0s
k0s 是一个开源的、包罗万象的 Kubernetes 发行版，它配置了构建 Kubernetes 集群所需的所有功能，并打包为单个二进制文件以方便使用。
每日一博
ABCoder 在大模型编程领域的探索
ABCoder 出现的背景来自于我们对大模型在语义化场景下的一些能力涌现的观察，大模型在一定程度上具备理解问题、解答问题的能力。这为我们开启了一条充满希望的道路，我们期望借助大模型的能力，在这条道路上实现一些与编程领域相关的应用。
开源之声
用户观点
KDE用“弹窗”请求捐款赢麻了：一天的收入超越前两月总和、而且没有被喷
- 观点 1：哈哈，我昨天开机也看到了，我还专门捐了一次
- 观点 2：后悔了，昨天开机忙着处理业务，就把弹窗关了，现在居然不弹了
- 观点 3：KDE要求捐款还是正常的，维护那么多软件和庞大的DE，kde对比gnome那边要维护的东西多很多，而且KDE也不像GNOME那边没有历史包袱。KDE的兼容性比GNOME好，GNOME的插件和API基本一个版本变一次，甚至某些GNOME在当前版本添加的API在下个版本就会被删除，这也导致GNOME一更新就会有不少插件崩掉
- 观点 4：一年一次这态度也太小心谨慎了
- 观点 5：学生党没有visa卡和paypal账号难受呀，xfce四年用户转kde一年多了真的很有帮助，不仅视觉效果更好配合kwin极其丰富的快捷键生态能和wm一样几乎脱离鼠标工作，要是有支付宝或微信捐赠途径就好了
- 观点 6：这才是广告的合理添加方式，在不引人反感的情况下请求帮助 希望国内某些臭狗皮膏药好好学学...开屏一个糊脸的大广告除了想让人骂一句sb还是一句sb
- 观点 7：开源免费的项目，求捐献不丢人，毕竟谁也不能用爱发电
- 观点 8：Windows刚装系统还会提示每日奖励自己呢
- 观点 9：前段时间第一次用 kde，确实做的非常好，捐了 10 欧
- 观点 10：个人感觉kde虽然能美化但效果还是不太好，Cinnamon桌面外观好一些，并且使用Cinnamon桌面的Linux Mint比较好用。后续用上国际信用卡的话也可以考虑捐款。
- 观点 11：localsend 也不错 这些都是优秀的免费软件还有rufus
- 观点 12：不要搞分流 全都维护gnome不好吗
人人影视：将二十年字幕文件、字幕软件、网站源代码等全部开源
- 观点 1：在互联网越来越失去交流功能，失去互联网原初的共享精神，彻底沦为彼此割裂的信息茧房的今天，这事真的令人唏嘘不已
- 观点 2：这都是推荐算法搞的。让大家纸相信自己看到的，结果算法只推你愿意看的。变信息茧房了。
- 观点 3：人人影视开源人人都有自己的私人影视！
- 观点 4：难的不是库，而是源。
- 观点 5：开源到百度网盘？我已经PTSD了
- 观点 6：就说哪个网盘不限速
- 观点 7：对得起人人二字
- 观点 8：变成分布式了
---END---
