欢迎阅读 OSCHINA 编辑部出品的开源日报——您探索和理解开源世界的日常指南。在这里，我们每天从宏观到微观，全面展现开源技术和文化的动态图景。

　　为了加快向内存安全编程语言的过渡，美国国防部高级研究计划局（DARPA）正在推动程序代码转换工具 TRACTOR 的开发。TRACTOR 是 TRanslating All C TO Rust 的缩写，该项目旨在开发机器学习工具，自动将旧 C 代码转换为 Rust 代码。

　　“你可以访问任何一个 LLM 网站，开始与其中一个 AI 聊天机器人聊天，你只需要说 这里有一些 C 代码，请把它翻译成安全的惯用 Rust 代码 ，然后剪切、粘贴，就会有结果，而且通常效果很好...... 研究的挑战在于大幅提高从 C 到 Rust 的自动转换能力，特别是对于最相关的程序构造。”

　　与 tcpdump 工具只能作用于内核网络协议栈准备发包和收包的固定点相比，netcap 可以几乎跟踪整个内核网络协议栈（有 skb 作为参数的函数）。字节跳动 STE 团队使用 tcpdump 语法作为过滤条件，以 skb（socket buffer）为上下文，可以轻松掌握整个报文在内核网络协议栈的完整踪迹，从而帮助开发者大大提高内核网络丢包问题的定位效率。

　　凹语言项目于 2019 年初立项，2020 年第一次开发组会议确立了 不做玩具车 的目标，2022 年 7 月底正式开源，至今开源 2 周年。

　　总体而言，在 2023 年的下半年的时候，通过实现 FC 红白机模拟器验证了凹语言用于工业开发的能力，完成了最初立项时 不做玩具车 的目标。

　　国民级办公应用 WPS 宣布，即将发布基于国际知名开源操作系统 deepin V23 的 WPS Office For Linux 个人版。该版本基于玲珑包格式，与 deepin V23 的智能化特色深度融合，面向国内及全球用户提供更流畅、智能的先进生产力工具。

　　WPS Office For Linux 个人版使用全新的视觉设计，新版本界面延续了 WPS 设计风格的同时，通过调整布局、模块化设计等方式，在视觉效果、使用逻辑方面进行了深度优化，帮助用户以更低的学习成本快速掌握使用技巧。

　　与旧版本相比，本次更新增如 PDF 转换、稻壳等增值服务功能，直击用户办公痛点，提高用户办公效率。

　　big tech 短期内还是会以模型为主，应用为辅，他们会在本身的业务中持续加入 AIGC 相关的内容，但可能不太会颠覆产品形态；中小公司，可能就需要尽快转向应用，利用开源基础模型，做一些 post-training，尽快找到 PMF。

　　简单总结，OpenAI、Anthropic 会继续模型 + 应用双轮驱动，其他家则需要做出取舍；科技大厂，在格局未定之前，还要再冲击一下基础模型；中小公司、创业公司，需要尽快转向 AI 应用。

　　C 语言实现，基于 SQLite 插件的「最快⚡」端侧向量数据库 sqlite-vec 开源。

　　字跳开源的多云多集群管理引擎 KubeAdmiral 正式发布了 1.0 版本

　　目前在字跳生产环境管理着超过 21 万台机器、超过 1000 万 Pod。

　　在群城逐鹿的人工智能新赛道，京沪深由于在产业基础、科技水平、人才密度等方面的优势，已牢牢占据领先位置。“北京做的是从 0 到 1 的事情，上海做的是从 1 到 10 的事情，深圳则是做从 10 到 100 的事情。” 谈及三座城市在人工智能领域的差异化定位问题，一名深耕行业多年的业内人士分析，三座城市在布局人工智能方面各有特点，应根据各自的资源禀赋和产业优势，因地制宜构建人工智能产业高地。

　　Character.AI 投靠谷歌：为什么 AI 情感陪伴赛道龙头，仍难独立发展？

　　通过吸纳核心团队、资助原公司的方式，硅谷巨头变相完成了对科技初创公司的「收购」。它能巧妙地避开监管，却又拿走了初创公司的核心资产。

　　目前，贵阳正在搭建开源模型的训练平台，这一模型能够提供低门槛、低成本的训练。“为了降低模型的训练成本，我们专门搭建了这样的公共服务，提供开源的基础模型和优惠的算力，集成各种优秀的算法为大模型企业提供模型的预训练及调优推理，支持大模型一站式训练、推理、部署和运维，缩短行业模型的培育和应用的建设周期。” 马宁宇说。

　　“AI 教母” 李飞飞：Sora 仍是二维图像，只有三维空间智能才能实现 AGI

　　有着 “AI 教母” 之称的斯坦福大学教授李飞飞对钛媒体 App 独家表示，尽管美国 OpenAI 公司的 Sora 模型可以文生视频，但就本质而言，它仍属平面二维模型，没有三维立体理解能力，只有 “空间智能” 才是 AGI 未来方向。

　　澳大利亚超级独角兽 Canva 宣布收购图像生成初创公司 Leonardo.ai，这是其今年的第二笔收购。就在几个月前，Canva 刚刚宣传以数亿英镑的价格，收购了深受苹果用户喜爱的 Affinity 软件套件。

　　与首轮降价所不同，面对此次 DeepSeek 发起的价格战，目前一众大模型公司尚未有跟进动作，也少有发表相关评论。但再次降价表明大模型的普惠时代正在到来，垂直应用生态有望进一步繁荣。

　　7 月 18 日，鸿蒙生态（武汉）创新中心落地武汉软件新城。7 月 26 日，武汉 RISC-V 生态创新中心在武汉光谷正式揭牌。

　　相距仅 8 天，带有 “开源基因” 的两大中心先后亮相武汉，见证了武汉软件产业打造开源生态的 “加速度”。

　　生成式 AI 所基于的开放创新精神不会过期。相反，对于开源、开放的信仰一定会引领人类在 AI 技术革命的进程中最终走到柳暗花明的那一刻，但在此之前，我们可能还需要保持更多的耐心和信心。

　　美国专攻芯片设计，中国台湾专攻制造，韩国专攻内存芯片，日本专攻设备和零部件的惯例现在已成为过去。在美国补贴的支持下，英特尔正在大举进军芯片制造，而日本正与台湾联手提升其制造能力。韩国也在 AI 战略下，一改只有存储的局面，韩国 AI 芯片产业形成了以三星、海力士为代表的巨头企业，与众多初创企业共同发展的生态系统。这种多元化的生态系统，不仅促进了技术创新，也为韩国 AI 产业的长期发展提供了有力保障。

　　rueidis 是一个高性能的 Go 语言的 Redis RESP3 客户端开发包，支持客户端缓存和自动流水线。

　　观点 3：笑点解析：Go 确实不是单个 BDFL，是整个 Google 开发组在当 BDFL

　　观点 4：有一说一，rsc 老哥确实太保守了，Go 泛型足足迟到了 10 年

　　观点 5：问题来了，那个备受吐槽但 rsc 强推的 range-over-functions 特性还会正常发布吗？

　　观点 10：不要人云亦云，看见国外几个抨击的文章就说它不好，你觉得不好不用不就行了？你觉得不需要的别人不一定不需要

　　观点 3：笑点解析：Go 确实不是单个 BDFL，是整个 Google 开发组在当 BDFL

　　观点 4：有一说一，rsc 老哥确实太保守了，Go 泛型足足迟到了 10 年

　　观点 5：问题来了，那个备受吐槽但 rsc 强推的 range-over-functions 特性还会正常发布吗？

　　观点 10：不要人云亦云，看见国外几个抨击的文章就说它不好，你觉得不好不用不就行了？你觉得不需要的别人不一定不需要

　　观点 10：不要人云亦云，看见国外几个抨击的文章就说它不好，你觉得不好不用不就行了？你觉得不需要的别人不一定不需要