欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
小米在 GitHub 开源了「Home Assistant 米家集成」项目，这是一个由小米官方提供支持的 Home Assistant 的集成组件，它可以让用户在 Home Assistant 中使用小米 IoT 智能设备。Home Assistant 是一个基于 Python 3 开发的开源家庭自动化平台，可以跟踪和控制家庭中的所有设备，并实现自动化控制。
开源地址：https://github.com/XiaoMi/ha_xiaomi_home
Xfce 轻量级桌面环境项目在大约两年的开发之后发布了 v4.20 版本。主要新特性包括：实验性支持 Wayland，同时继续支持 X11，Xfce 还没有原生的 Wayland 合成器，Xfwm4 未来会支持；改进了图标和缩略图缩放，Exo-Icon-View 能处理 10 万文件而不会卡死；新的 libxfce4windowing 库；改进 Thunar 文件管理器，性能优化，等等。
https://alexxcons.github.io/blogpost_14.html
据彭博社记者 Mark Gurman 最新一期报道，苹果将在 2028 年推出可折叠 iPad，同时还将带来多款产品。
Gurman 提到，苹果目前正在研发一款介于手机和平板电脑、笔记本电脑的新形态产品，此款产品将会是可折叠的巨型 iPad，展开形态的尺寸可达两台 iPad Pro 并排的大小。
这款可折叠 iPad 目前已在内部打磨多年，并计划于 2028 年推向市场。Gurman 还猜测其将运行 iPadOS 的变体版版系统，甚至还将支持 MacOS 的软件。
大模型独角兽智谱宣布近期完成新一轮 30 亿元融资。新的投资方包括多家战投及国资，君联资本等老股东继续跟投。
本轮融资将用于智谱 GLM 大模型系列的进一步研发，从回答问题到解决复杂推理、多模态任务，更好地支撑行业生态发展。这是智谱近三个月来的第二轮融资。就在 9 月，中关村科学城公司宣布以投前 200 亿估值领投智谱，智谱也是国内估值率先超过 200 亿的大模型创业企业。
今天凌晨，OpenAI 在第八场发布会上宣布向全球用户免费开放 ChatGPT Search。本次更新的主要亮点包括：
Turso 团队正式发布了一个全新的开源项目 ——Limbo，一个采用 Rust 语言重写的 SQLite 数据库。这个项目不仅保留了 SQLite 的核心功能，还通过引入异步 I/O 和现代化架构，旨在解决嵌入式数据库在边缘计算和无服务器环境中的性能瓶颈。
Limbo 的最大技术突破是全面引入了 异步 I/O 技术，特别是在多租户和高并发场景下，显著降低了查询的 尾部延迟（p999）。SQLite 使用传统的同步 I/O 方式，查询时线程会被阻塞，导致资源浪费。而 Limbo 基于 Rust 的异步特性和 Linux io_uring 接口，允许查询任务非阻塞地进行，提升了系统的整体吞吐能力和资源利用率。
项目地址：https://github.com/tursodatabase/limbo
近日，有市场消息称，字节跳动豆包大模型要内嵌手机，最后可能找了中兴通讯，之后不排除成立一个新的品牌，不过此事尚无权威定论，需要持续关注后续进展。此外，字节跳动现在对于推理用的ASIC芯片需求巨大，英伟达昇腾可能比较贵，中兴通讯则可能存在业务的契合点。
对于上述信息，豆包相关负责人表示：消息不实。豆包大模型已经和许多手机有了深度合作，但并没有和中兴通讯探讨过成立新品牌可能性。芯片也没有相关的合作。
无问芯穹宣布全球第一款端侧全模态理解模型 Megrez-3B-Omni 开源。
无问芯穹官方介绍，Megrez-3B-Omni 是一个为端而生的全模态理解模型，同时具备图片、音频、文本三种模态数据的处理能力，并在三个模态的多种测评基准中取得了最优性能。
同时，Megrez-3B-Omni 选择了最适合手机、平板等端侧设备的 30 亿参数黄金尺寸，结构规整，推理速度最大领先同精度模型 300%。
马斯克秀了波Grok的新功能——Grok搜索按钮已被嵌入到每篇X帖子中。现在，X上的每篇帖子旁边都有一个Grok按钮，你可以一键让人工智能总结这篇帖子，AI会给出要点并进行适当联想。
在马斯克给出的例子中【视频】，他夸了一下特斯拉，AI不仅get到了这一点，还解释了马斯克的引用文章，并拓展了特斯拉AI发展的背景信息。
类似于GPT Search，Grok搜索功能同样支持网页来源、关联词汇扩展以及继续提问等功能。
OpenAI CFO Sarah Friar 说后续会推出2000美金订阅的GPT，有博士生的解决问题的能力。从CFO的角度上来讲她面临的压力确实大，年年巨额亏损，可以理解，要让投资者和股东看到希望。
但是从产品实际landing的进度层面，我觉得目前的基础模型，任何一个都达不到innovator的级别，也就是4级AG I（而且短期没戏，至少2到3年，看这波后训练的天花板在哪里了）市面上最好的模型勉强摸到了3级AGI，也就是Agent的级别，而且也不是完整形态，现在只有感知，决策层面还没落地。只有到达4级才勉强配得上2000美金，当然到了我也没钱买，200我说啥也不会冲，20我都快充不起了。
- 微博 Transformer-周
强控制与弱控制其实是我从力度上加以区分的，但是这个力度控制体现到了结果上，就会形成两种不同的表征。传统影视软件的所有参数、功能以及你的操作，都属于强控制，哪怕你只是把参数从0加到0.01，但实打实的，画面就是发生了变化对吧。而且这种变化在大多数情况下给你输出了一个恒定的效果。那么简单地说，一个操作就对应了一种固定的结果，所有这类控制就都属于强控制。
传统工具里面弱控制很少见，比如分形插件可以算是一种弱控制，每一点点参数的变动，结果都不是唯一的。很多软件或者插件还会有“随机”这样的复选框，你勾选了，每一次出现的结果往往也不是唯一的。所以，一次控制产生了不唯一的多种结果的可能性，那么这种控制就叫做弱控制。
- 微博 摇摆时间线ZHLMI
由于人工智能产品销售强劲，摩根士丹利15日上调芯片商博通公司目标价至233美元。此前，在12月13日，博通股价飙升超24%，创其最大单日涨幅，博通成为美国第9家、全球第12家市值达到1万亿美元的上市公司，也是继英伟达和台积电之后，第三家市值达到1万亿美元的半导体公司。
- 经济参考报
中国国际科技促进会企业人才工作委员会委员汪张明在接受《证券日报》记者采访时表示：“当前我国银发经济尚处在初级阶段，目前还以传统养老方式为主，处于‘未老’阶段，‘备老’才刚刚起步。随着老龄化程度的不断加深，老年人对产品和服务的需求将不断增强，市场体量逐步释放，个性化需求逐步提升。”
- 证券日报
天才创始人、明星创业企业、资本宠儿、产品及模式极具颠覆性……这都曾是打在柔宇科技身上鲜明的标签。从昔日500亿独角兽到深陷员工讨薪、订单匮乏漩涡，12年柔宇科技走向末路。
- 风暴眼
曾于2018年成为国内资本热点的低代码（Low Code）赛道，当下正随着AIGC加速落地热度再起，被部分业内人士视作继AI搜索之后的又一大热门赛道。
- 财联社
花房集团未能在规定的10月2日之前满足交易所规定的所有复牌条件，以恢复其股票交易，因此，香港交易所的上市委员会依据相关上市规则，决定撤销花房集团的上市资格。花房集团已表明不会就上市委员会的这一决议提出复议。据此，该公司的股票将在2024年12月13日完成最后的交易，而其上市资格将于2024年12月16日起正式终止。
- 融中财经
未来一年我们应该能看到更多类似的AI原生操作界面的尝试。这是一种从AI生成能力向AI创作能力延伸的必然。从更大的视角来看，大模型也到了让更多场景、更多行业、更多人感知到和使用起来的阶段了。只有这样，才能维持住大家对大模型的信心，让大模型发挥应有的价值，抵消一部分质疑的声音。
- 窄播
https://github.com/EnixCoda/Gitako
Gitako 是一款支持 Gitee/GitHub 等网站的文件树浏览器插件，可用于 Chrome & Firefox & Edge 浏览器。
在开发过程中，我们常常会遇到一些看似简单却令人困惑的问题。本文记录了一次将 boolean 改为 Boolean 后，MyBatis 插入数据时出现的意外情况。本文不仅逐步揭示了问题的根本原因，还提供了解决方案，并强调了在开发中遵循规范和仔细排查问题的重要性。
观点 1：总结：原来的项目继续开发，喜欢用Rust的人再开发一个兼容的版本。我觉得重点在这：专为 WASM 设计，Limbo 数据库从设计之初就考虑到了 WASM 构建的支持，并且已经实现了与流行工具（如 Drizzle）兼容的 VFS（虚拟文件系统）接口，无需任何额外的修改即可使用。 观点 2：Rust属实是没活硬整 观点 3：如果是光说不练，确实恶心，但是人家又说又练，那就是实力，比某些老保强太多了 观点 4：sqlite虽然是用C写的，但是出了名的可靠和稳定，语言并不是约束能力的瓶颈，不能把自己的无能归咎于语言。用rust重写sqlite到底是要解决目前哪些无法解决的问题呢？这不是虚空索敌吗？ 观点 5：还记得那句只要能被js实现的最终都会用js来实现，现在这句话不行了改成rust了，过几年会是什么呢 观点 6：如果重写的是Matlab和CAD这些软件，解决社会真实需求，我敬你是条汉子。不要整天搞些玩具出来宣传。 观点 7：最该重写的是前端生态工具，效率真是太尼玛的低了，特别是编译sass。 观点 8：前端编译…那是生态的问题…rust编译几百上千的包…应该比webpack更慢 观点 9：把前端的类ECMA Script也“重写”了吧 观点 10：要不你重写ffmpeg？sqlite一般都是直接用，又不需要二次开发，ffmpeg很多时候都要拿来二开 观点 11：哪天ffpmeg被rust重写了，我就转rust 观点 12：这不得用go dotnet 全部AOT一遍？ 观点 13：用js来一遍吧 观点 14：性能跟不上 观点 15：一个优秀的软件项目，会在启动前就将测试方案考虑全面，测试永远优先于实现，无法测试、没有测试的代码其本身就是项目的BUG。 观点 16：复杂化，不适合人类，人工智能机器人喜欢rust语言 观点 17：sqlite的安全问题不大，重写毫无必要，所以这是练手项目，是想用语言来抢未来数据库的市场罢了。
观点 1：过了把高管的瘾，就坐着，手下送来了详尽的事故报告。好的，朕已阅。 观点 2：不得不说复盘水平还是挺高的，比阿里云和微软的复盘报告看起来可靠不少。 观点 3：让AI自己去修复。地球上的智慧生命体，都有自我修复能力 观点 4：太猛了，装逼失败 观点 5：其实感觉做的还可以了，毕竟这种实践上没有书籍和记录在案的最佳实践，只能依靠资深工程师还有不断摸索去构建 观点 6：那天就是等了好久ChatGPT没恢复，严重影响了我的工作进度 观点 7：DNS经历了雪崩。 观点 8：什么都用k8s害了你
---END---
评论删除后，数据将无法恢复
开源日报 | 苹果将推出可折叠iPad；智谱融资30亿；ChatGPT Search免费开放；字节否认与中兴探讨成立新品牌；生成式AI的强控制和弱控制；周鸿祎的直播平台退市了
欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.12.17
今日要闻
小米开源「Home Assistant 米家集成」
小米在 GitHub 开源了「Home Assistant 米家集成」项目，这是一个由小米官方提供支持的 Home Assistant 的集成组件，它可以让用户在 Home Assistant 中使用小米 IoT 智能设备。Home Assistant 是一个基于 Python 3 开发的开源家庭自动化平台，可以跟踪和控制家庭中的所有设备，并实现自动化控制。
开源地址：https://github.com/XiaoMi/ha_xiaomi_home
Xfce 4.20 发布，Wayland 支持
Xfce 轻量级桌面环境项目在大约两年的开发之后发布了 v4.20 版本。主要新特性包括：实验性支持 Wayland，同时继续支持 X11，Xfce 还没有原生的 Wayland 合成器，Xfwm4 未来会支持；改进了图标和缩略图缩放，Exo-Icon-View 能处理 10 万文件而不会卡死；新的 libxfce4windowing 库；改进 Thunar 文件管理器，性能优化，等等。
https://alexxcons.github.io/blogpost_14.html
苹果将推出可折叠 iPad
据彭博社记者 Mark Gurman 最新一期报道，苹果将在 2028 年推出可折叠 iPad，同时还将带来多款产品。
Gurman 提到，苹果目前正在研发一款介于手机和平板电脑、笔记本电脑的新形态产品，此款产品将会是可折叠的巨型 iPad，展开形态的尺寸可达两台 iPad Pro 并排的大小。
这款可折叠 iPad 目前已在内部打磨多年，并计划于 2028 年推向市场。Gurman 还猜测其将运行 iPadOS 的变体版版系统，甚至还将支持 MacOS 的软件。
智谱完成 30 亿元融资，总估值超 200 亿元
大模型独角兽智谱宣布近期完成新一轮 30 亿元融资。新的投资方包括多家战投及国资，君联资本等老股东继续跟投。
本轮融资将用于智谱 GLM 大模型系列的进一步研发，从回答问题到解决复杂推理、多模态任务，更好地支撑行业生态发展。这是智谱近三个月来的第二轮融资。就在 9 月，中关村科学城公司宣布以投前 200 亿估值领投智谱，智谱也是国内估值率先超过 200 亿的大模型创业企业。
ChatGPT AI 搜索「ChatGPT Search」免费开放
今天凌晨，OpenAI 在第八场发布会上宣布向全球用户免费开放 ChatGPT Search。本次更新的主要亮点包括：
Turso 发布 Limbo：用 Rust 重写 SQLite，重新定义嵌入式数据库未来
Turso 团队正式发布了一个全新的开源项目 ——Limbo，一个采用 Rust 语言重写的 SQLite 数据库。这个项目不仅保留了 SQLite 的核心功能，还通过引入异步 I/O 和现代化架构，旨在解决嵌入式数据库在边缘计算和无服务器环境中的性能瓶颈。
Limbo 的最大技术突破是全面引入了 异步 I/O 技术，特别是在多租户和高并发场景下，显著降低了查询的 尾部延迟（p999）。SQLite 使用传统的同步 I/O 方式，查询时线程会被阻塞，导致资源浪费。而 Limbo 基于 Rust 的异步特性和 Linux io_uring 接口，允许查询任务非阻塞地进行，提升了系统的整体吞吐能力和资源利用率。
项目地址：https://github.com/tursodatabase/limbo
字节否认与中兴探讨成立新品牌
近日，有市场消息称，字节跳动豆包大模型要内嵌手机，最后可能找了中兴通讯，之后不排除成立一个新的品牌，不过此事尚无权威定论，需要持续关注后续进展。此外，字节跳动现在对于推理用的ASIC芯片需求巨大，英伟达昇腾可能比较贵，中兴通讯则可能存在业务的契合点。
对于上述信息，豆包相关负责人表示：消息不实。豆包大模型已经和许多手机有了深度合作，但并没有和中兴通讯探讨过成立新品牌可能性。芯片也没有相关的合作。
智元开启通用机器人商用量产
无问芯穹开源全球首款端侧全模态理解模型：Megrez-3B-Omni
无问芯穹宣布全球第一款端侧全模态理解模型 Megrez-3B-Omni 开源。
无问芯穹官方介绍，Megrez-3B-Omni 是一个为端而生的全模态理解模型，同时具备图片、音频、文本三种模态数据的处理能力，并在三个模态的多种测评基准中取得了最优性能。
同时，Megrez-3B-Omni 选择了最适合手机、平板等端侧设备的 30 亿参数黄金尺寸，结构规整，推理速度最大领先同精度模型 300%。
今日观察
社交观察
马斯克展示 Grok2 新功能
马斯克秀了波Grok的新功能——Grok搜索按钮已被嵌入到每篇X帖子中。现在，X上的每篇帖子旁边都有一个Grok按钮，你可以一键让人工智能总结这篇帖子，AI会给出要点并进行适当联想。
在马斯克给出的例子中【视频】，他夸了一下特斯拉，AI不仅get到了这一点，还解释了马斯克的引用文章，并拓展了特斯拉AI发展的背景信息。
类似于GPT Search，Grok搜索功能同样支持网页来源、关联词汇扩展以及继续提问等功能。
OpenAI CFO Sarah Friar 说后续会推出 2000 美金订阅的 GPT
OpenAI CFO Sarah Friar 说后续会推出2000美金订阅的GPT，有博士生的解决问题的能力。从CFO的角度上来讲她面临的压力确实大，年年巨额亏损，可以理解，要让投资者和股东看到希望。
但是从产品实际landing的进度层面，我觉得目前的基础模型，任何一个都达不到innovator的级别，也就是4级AG I（而且短期没戏，至少2到3年，看这波后训练的天花板在哪里了）市面上最好的模型勉强摸到了3级AGI，也就是Agent的级别，而且也不是完整形态，现在只有感知，决策层面还没落地。只有到达4级才勉强配得上2000美金，当然到了我也没钱买，200我说啥也不会冲，20我都快充不起了。
- 微博 Transformer-周
生成式 AI 的强控制和弱控制
强控制与弱控制其实是我从力度上加以区分的，但是这个力度控制体现到了结果上，就会形成两种不同的表征。传统影视软件的所有参数、功能以及你的操作，都属于强控制，哪怕你只是把参数从0加到0.01，但实打实的，画面就是发生了变化对吧。而且这种变化在大多数情况下给你输出了一个恒定的效果。那么简单地说，一个操作就对应了一种固定的结果，所有这类控制就都属于强控制。
传统工具里面弱控制很少见，比如分形插件可以算是一种弱控制，每一点点参数的变动，结果都不是唯一的。很多软件或者插件还会有“随机”这样的复选框，你勾选了，每一次出现的结果往往也不是唯一的。所以，一次控制产生了不唯一的多种结果的可能性，那么这种控制就叫做弱控制。
- 微博 摇摆时间线ZHLMI
媒体观察
人工智能产品销售强劲 摩根士丹利上调博通目标价
由于人工智能产品销售强劲，摩根士丹利15日上调芯片商博通公司目标价至233美元。此前，在12月13日，博通股价飙升超24%，创其最大单日涨幅，博通成为美国第9家、全球第12家市值达到1万亿美元的上市公司，也是继英伟达和台积电之后，第三家市值达到1万亿美元的半导体公司。
- 经济参考报
上市公司掘金银发经济 AI赋能智慧养老产品落地开花
中国国际科技促进会企业人才工作委员会委员汪张明在接受《证券日报》记者采访时表示：“当前我国银发经济尚处在初级阶段，目前还以传统养老方式为主，处于‘未老’阶段，‘备老’才刚刚起步。随着老龄化程度的不断加深，老年人对产品和服务的需求将不断增强，市场体量逐步释放，个性化需求逐步提升。”
- 证券日报
清华天才梦碎！曾估值430亿独角兽12.3亿元资产流拍
天才创始人、明星创业企业、资本宠儿、产品及模式极具颠覆性……这都曾是打在柔宇科技身上鲜明的标签。从昔日500亿独角兽到深陷员工讨薪、订单匮乏漩涡，12年柔宇科技走向末路。
- 风暴眼
硅谷爆火A股也热闹，低代码赛道再升温，AI要革编程的“命”？
曾于2018年成为国内资本热点的低代码（Low Code）赛道，当下正随着AIGC加速落地热度再起，被部分业内人士视作继AI搜索之后的又一大热门赛道。
- 财联社
30亿，周鸿祎的直播平台退市了
花房集团未能在规定的10月2日之前满足交易所规定的所有复牌条件，以恢复其股票交易，因此，香港交易所的上市委员会依据相关上市规则，决定撤销花房集团的上市资格。花房集团已表明不会就上市委员会的这一决议提出复议。据此，该公司的股票将在2024年12月13日完成最后的交易，而其上市资格将于2024年12月16日起正式终止。
- 融中财经
当做应用成为共识，大模型公司拿出了更多弹药
未来一年我们应该能看到更多类似的AI原生操作界面的尝试。这是一种从AI生成能力向AI创作能力延伸的必然。从更大的视角来看，大模型也到了让更多场景、更多行业、更多人感知到和使用起来的阶段了。只有这样，才能维持住大家对大模型的信心，让大模型发挥应有的价值，抵消一部分质疑的声音。
- 窄播
今日推荐
开源项目
EnixCoda/Gitako
https://github.com/EnixCoda/Gitako
Gitako 是一款支持 Gitee/GitHub 等网站的文件树浏览器插件，可用于 Chrome & Firefox & Edge 浏览器。
每日一博
MyBatis 布尔字段映射陷阱全过程解析
在开发过程中，我们常常会遇到一些看似简单却令人困惑的问题。本文记录了一次将 boolean 改为 Boolean 后，MyBatis 插入数据时出现的意外情况。本文不仅逐步揭示了问题的根本原因，还提供了解决方案，并强调了在开发中遵循规范和仔细排查问题的重要性。
开源之声
用户观点
Rust重写万物之——彻底重写SQLite
OpenAI全球宕机复盘：K8S循环依赖
---END---