欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.12.11
今日要闻
离开 1620 天，Redis 创始人 antirez 宣布回归
Redis 创始人 antirez 在离开 Redis 项目约 1620 天后，决定重返 Redis 社区。他在博客中提到自己并没有对 Redis 项目产生强烈的依恋，但在离开后的时间里，他偶尔会进行一些编程项目，如嵌入式项目、神经网络和 Telegram 机器人等。
重返原因：antirez 想要尝试新事物，特别是写作，并花更多时间与家人在一起。他注意到 Redis 社区出现了分裂，这让他感到担忧。因此，他考虑重返 Redis 生态，可能作为 “传教士” 角色，成为公司与社区之间的桥梁，同时参与编程演示、新旧模式的创造和文档编写。
antirez 在纽约与女儿共度时光时，与 Redis 的新任 CEO Rowan Trollope 进行了视频通话，并提出了重返 Redis 的可能性。Rowan 对他的提议表示了兴趣，双方迅速达成了一些共识。
ChatGPT Canvas 面向所有用户开放、支持直接运行 Python 代码
在今天凌晨的第四场 OpenAI 发布会上，OpenAI 宣布为 ChatGPT Canvas 带来三项更新：
- Canvas 功能整合进 ChatGPT 核心模型：在让 Canvas 创作故事时，可以让其编辑标题，润色文档，检查语法，甚至添加恰当的表情符号都能胜任。
- 支持用户直接在 Canvas 中运行 Python 代码：据官方介绍，OpenAI 在 Canvas 中集成了基于 WebAssembly 的 Python 模拟器，使其能够加载绝大多数 Python 库，实现代码的即时运行。
- 将 Canvas 功能引入 GPTs 生态系统。
最强 AI 编程助手 Devin 正式开放使用，月费达 500 美元
cognition 官方宣布，旗下 AI 程序员服务 Devin 现已正式 GA，用户可以付费使用。无论是修复 bug、优化代码，还是编写测试用例，Devin 都能胜任。
Devin 能无缝集成到开发者的现有工作流中，可以通过三种方式使用 Devin：
- 在 Slack 中通过聊天指令分配任务。
- 在 VSCode 等 IDE 中直接管理 Devin 生成的代码。
- 通过 API 将 Devin 集成到定制的工作流中。
Devin 的订阅价格为每月 500 美元起，用户可以访问 Devin 的 Slack 集成、IDE 扩展和 API，并获得来自 Cognition 工程团队的入职培训和支持，此外所有工程团队现在都可以从 app.devin.ai 开始使用 Devin。
深度求索宣布 DeepSeek V2 系列收官，联网搜索上线官网
深度求索发布了 DeepSeek V2.5 的最终版微调模型 DeepSeek-V2.5-1210。据称该版本模型是对 V2 系列的最后一次更新。
与之前版本相比，本次更新通过 Post-Training 全面提升了模型各方面能力表现，包括数学、代码、写作、角色扮演等；同时，新版模型优化了文件上传功能，并且全新支持了联网搜索，展现出更加强大的全方位服务于各类工作生活场景的能力。
此外，DeepSeek-V2.5-1210 版本支持了联网搜索功能，并已上线网页端。登陆 https://chat.deepseek.com/，在输入框中打开 “联网搜索” 即可体验。目前，API 不支持搜索功能。
谷歌发布 Willow 量子计算芯片
12 月 9 日，谷歌发布了最新的量子芯片 Willow。Willow 芯片解决了量子计算领域三十年来未攻克的难题，并且在 5 分钟内完成了当今最快的超级计算机需要 10²⁵ 年（这个数字远远超过了宇宙的年龄）才能完成的计算。
谷歌首席执行官 Sundar Pichai 就其新发布的量子计算芯片 Willow 表示，Willow 是构建有用的量子计算机的重要一步，它在药物发现、聚变能、电池设计等领域都有实际应用。它的突破可以在我们使用更多量子比特的情况下以指数方式减少错误，破解了该领域 30 年的挑战。在基准测试中，Willow 在不到五分钟的时间内就完成了一个 “标准基准计算”。
英特尔前 CEO 为 10 万英特尔员工祈祷和斋戒
英特尔前 CEO 帕特・基辛格在 X 上邀请大家共同为 10 万英特尔员工祈祷和斋戒，以帮助英特尔渡过难关。
面壁智能获新一轮数亿元融资
面壁智能今天宣布，已完成新一轮数亿元融资，这轮融资由龙芯创投、鼎晖百孚、中关村科学城基金和赛富基金联合领投，北京市人工智能产业投资基金与清科创投跟投。
面壁智能联合创始人、CEO李大海今天发布内部信宣布此事，李大海在内部信中表示：“过去一年，以成绩说话，我们的小钢炮端侧模型，在全球一炮而红，站稳脚跟。我们基于高效大模型和端侧AI的商业化布局和业务推进，多点开花，进展迅速。”
今日观察
社交观察
中国芯片出口额突破万亿
今日，海关总署发布2024年前11个月中国货物贸易进出口数据。前11个月，中国货物贸易进出口总值39.79万亿元，同比增长4.9%。其中自动数据处理设备及其零部件、集成电路和汽车出口呈两位数增长。
数据显示，今年前11个月，我国货物贸易出口23.04万亿元，增长6.7%；进口16.75万亿元，增长2.4%。
出口方面，出口机电产品13.7万亿元，增长8.4%，占我国出口总值的59.5%。其中，自动数据处理设备及其零部件1.33万亿元，增长11.4%；集成电路1.03万亿元，增长20.3%；手机8744.5亿元，下降0.9%；汽车7629.7亿元，增长16.9%。
进口方面，进口机电产品6.35万亿元，增长7.5%。其中，集成电路5014.7亿个，增加14.8%，价值2.48万亿元，增长11.9%；汽车63.7万辆，减少11.3%，价值2564.3亿元，下降14.9%。
随着11月数据的尘埃落定，这是中国集成电路出口额首次突破万亿元大关，彰显了中国在全球半导体产业链中的重要地位与持续增强的国际竞争力。
Cloudflare 2024 年回顾
《Cloudflare 2024 年回顾》一文分析了年度 Web 流量，其中一些数据非常有趣，值得从事网络攻防、爬虫防护和基础设施建设的专业人士关注。
IP类型占比：IPv4占71.5%，IPv6占28.5%。
Web请求的协议分布：HTTP/2占49.6%，HTTP/1.x占29.9%，HTTP/3(QUIC)占20.5%
自动化API客户端语言分布：Go占11.8%，Node.JS占10%，Python占9.6%，Java占7.4%
浏览器市场分布：Chrome 65.8%， Safari 15.5%， Edge 6.9%，Firefox 4%。
机器人流量所属国家分布：美国 34.6% ，德国 6.8%， 伊朗 5.2%，中国4.1%。
国内流量部分：
近7天的流量来看，爬虫跟正常用户占比1:1了，AI流量+爬虫的老大是ByteSpider，遥遥领先。
HTTP3的使用上，机器人流量支持的占比8%，人类流量支持的占比30%，意味着大部分机器人流量都还没支持HTTP3，那么这块特征还是很明显的，防控上还有很大的提升空间。
所以，HTTP3 Quic都占20%了，IPv6占30%了，它们在你的视野里吗？排上日程了吗？
- 微博 CFC4N
大概弄明白了 Nvidia 是怎么回事儿
2020年，nvidia收购迈络思的时候为了不触发反垄断，向各经济体（中美欧）监管部门做了申请。中国的回复是 “有条件批准” ，其中条件包括“依据公平、合理、无歧视原则向中国市场继续供应英伟达GPU加速器、迈络思高速网络互联设备和相关软件、配件。”英伟达答应了。
现在因为美国禁令，Nvidia显然没办法做到这一点，因此被视为违背承诺，触发反垄断调查。
确实不怪英伟达，它肯定也不敢不听美国政府的——感觉像是被两个互相看不顺眼的领导夹在中间的科员，还被下达了两个相反的命令……我当然希望一个公开公平公正的充分竞争的全球市场。但现在情况就是这样——美国可以日tiktok，澳洲不让16岁以下的人用社交网络（这个例子是说明民主国家也有扯淡的时候），川帝更是大杀四方——我也弄不懂在这种时候到底怎么做才是好的，要说的话，可能底线就是至少有法可依吧。那现在这个情况，显然也是有法可依的。谈感想就是世界真残酷。
- 微博 祝佳音
Limbo：用 Rust 重写 SQLite 的项目
turso在官网上宣传自己使用Rust重写sqlite的项目Limbo (网页链接)：《Introducing Limbo: A complete rewrite of SQLite in Rust (网页链接)》
我个人的看法：
* Rust的类型安全、内存安全等特性，似乎并不是sqlite这个项目目前最大的痛点；
* sqlite自身的庞大测试集合，并不开源（原文中有一句话“SQLite’s test suite is proprietary”），没有这些测试用例的支持，很难说这个项目的质量如何；
* sqlite社区也有自身的一些问题，这个世界实例最大的数据库项目，在我看来“开源但并不开放”，只接受几位核心开发团队的代码贡献，不像一般的开源项目那样可以接受来自社区的pr，所以turso自己才fork了一个libsql (网页链接)出来，也许正是因为非社区维护，才让人对这个项目有担心。
- 微博 玩家老C
一口气看完 OpenAI 前四天内容
活动第一天，OpenAI推出o1完整版及o1 pro模式。
第二天open AI推出了什么呢？一句话总结即：推出强化微调能力（Reinforcement Fine-Tuning）。什么是强化微调？简单的说：给AI模型一个“专业培训课程”。
OpenAI第三天推出了Sora。OpenAI团队在会上展示了这个工具的厉害之处，还教大家怎么用；他们教我们怎么生成视频，包括设置分镜、输入视频指令、选风格、画面比例、时长等等。通过演示，让所有人对Sora有了更深的认识。
今天，OpenAI直播到了第四天，由他们的首席产品官Kevin Weil来主持。重点是什么呢？即：Canvas正式上线了。
- 微信 王智远
今日推荐
开源项目
osa1 / tiny
tiny 是一个用 Rust 编写的 IRC 客户端。它具有简洁的界面，支持多种功能，包括提及收集、昵称自动完成、断开重连等。
每日一博
跨域问题排查实战：一个困扰两天的线上问题
"老师，我们的新功能上线后接口突然调不通了！" 周一早上，实习生小李急匆匆地跑来找我。我打开监控面板，发现生产环境的错误日志突然暴增，全是 CORS 相关的报错。作为技术导师，我立即和小李一起开始排查这个问题。
说实话，跨域问题在本地开发时很常见，但在生产环境突然出现还是第一次。更让人困惑的是，这些接口在上周五还是好好的，周末发版后就出问题了。带着这些疑问，我们开始了一场 "破案" 之旅。
---END---
