开源日报 | “Windows控制面板”将被淘汰；Grok提示词泄露；中国是全球第二大开源贡献国；必应错误显示黑神话悟空客服电话

OpenSource Daily # 2024.8.22

省流概览

今日要闻

前 Sourcegraph 工程师 Eric Fritz 发文称，代码搜索浏览工具 Sourcegraph 已将其开源代码库私有化，并称此举是对 “Sourcegraph 文化的最后一击”。Fritz 指出，自己曾经在 Google Go 团队和 Sourcegraph 之间选择了后者的一大原因，就是看中了他们 “build 100% in the open” 的这一文化因素。

Sourcegraph CEO 在 Hacker News 上的一则讨论帖中进行了回应，称私有化的举措是为了更好的集中精力。并补充道，虽然开源对很多公司来说是有意义的，但其更多的是适用于基础架构产品或客户端工具，对完整的服务器端最终用户应用来说意义不大，同时还会增加额外的工作和风险。

微软 “砍刀部” 出手 —— 「Windows 控制面板」将被淘汰

北大提出图像检索新方法

北京大学袁粒课题组，联合南洋理工大学实验室，清华自动化所提出了一种新的通用检索任务：通用风格检索 (Style-Diversified Retrieval)。

一句话，这种检索任务要求模型面对风格多样的查询条件时，依然能精准找图。

目前，论文已在 arXiv 公开，相关代码和数据集也已开源。

论文：https://arxiv.org/abs/2312.02428
代码、数据集：https://github.com/CuriseJia/FreeStyleRet

今日观察

社交观察

有人说是破解了 Grok 2 的系统提示词，分为两种模式，一种是常规模式，一种是趣味模式。和其他已知的提示词比较，Grok2 主打一个无禁忌，比如最后一段是：你不害怕回答那些被大多数其他 AI 系统拒绝的尖锐问题。也有人怀疑吐槽提示词写得差强人意，说马斯克投了 10 亿美金搞算力，但系统提示词也太简单粗暴了。不过，系统提示词不是一成不变的，会有实时更新。

- 微博 高飞

微软必应错误显示黑神话悟空客服电话

国产 3A 游戏大作《黑神话：悟空》上线引发全球关注，然而在这波热潮中，微软必应 AI 却因错误抓取信息成为不实信息的传播者，导致个人信息泄露。在必应搜索中输入 “黑神话悟空客服”，错误地显示了机锋网员工的个人手机号，并非官方客服电话。此外，还有两个错误的电话号码被标记为客服，其中包括第一财经版权部的联系电话。

据机锋网透露，尽管相关新闻稿件已删除，但错误信息仍出现在必应搜索首页。微软必应作为全球第二大搜索引擎，覆盖 36 个国家和地区，用户超 6 亿。微软曾声称必应采用 OpenAI 最新技术，甚至接入了 GPT-4，但此次事件暴露了其在信息抓取和处理上存在漏洞。目前，必应团队尚未对错误信息进行更正。

- 微博 凤凰网科技

Sequin：基于 Postgres 构建的开源消息流系统

Sequin 是一个基于 Postgres 构建的开源消息流系统，它提供了与 Kafka 类似的功能，但在操作上更为灵活，运维成本更低。Sequin 可以作为一个无状态的 Docker 容器运行，与任何 Postgres 数据库配合使用。
项目地址：github.com/sequinstream/sequin

- 微博 蚁工厂

世界不缺一个李安这样的程序员

1991 年是因为他参加台湾的一次由电影局举办的剧本比赛想拿到一万六千美金的奖金。这个故事在李安内心酝酿了两年。这六年赋闲在家他自称是 “制作地狱” 的时光里，他除了带孩子做家务，每天在思考剧本创作，甚至有时候坚持不下去了偷偷想报社区的计算机课程，想转码农（……）。而林惠嘉回到家发现老公竟然想转行很是生气，她说这世界不缺一个李安这样的程序员，却缺少一个李安这样的导演。

- 微博 推拿熊

软件业加速拥抱人工智能

专家认为，上半年，人工智能大模型推动软件业升级，并赋能千行百业。预计下半年，以云计算、大数据、人工智能等为代表的软件技术创新，将持续推动软件技术、模式、生态变革，不断催生新增长点，带动业务收入持续提升。

- 经济日报

AI 机器人产业观察：27 款人形机器人扎堆斗艳，但规模量产和通用能力仍是行业挑战

客观来讲，AI + 人形机器人产业当前仍处于早期阶段，面临诸多挑战。比如，所谓的 “能蹦能跳” 的机器人少之又少，大部分依然是走 10 米、或原地摆臂这种程度；同时，人形机器人仍难以大规模量产和商业落地，通用性和泛化性尚未形成。甚至，某两家企业的人形机器人 21 日上午还出现 “掉零件” 现象，在关键部件领域与国际顶尖水平仍存在差距，早期 “草莽生长” 被掩盖掉的技术问题开始凸显。

- 钛媒体

中国已成全球第二大开源贡献国，香港也在加速布局

“从世界各地的开源贡献来看，中国排名第二，其贡献规模近年一直在稳步攀升，对云原生计算基金会（CNCF）贡献的排名也是全球第二。”

- 界面

Meta 最强大模型 Llama 3 行销遇挫：被爆亚马逊和微软 “看不上”

Llama 一直难以在亚马逊的云业务平台 AWS 上获得关注；微软的销售人员通常只向已具备数据专业知识的客户推销 Llama。这可能迫使 Meta 设法组建自己的销售和营销团队，直接向企业客户推销产品。

- 硬AI

对话投资人陈昱：大模型底座能力没突破之前，应用难有质变

大模型的发展仍在 “摸着石头过河”，不论选择 B 端（面向企业）市场还是 C 端（面向消费者）市场，大模型公司都面临着相似的困境，还没有清晰且成立的商业模式。

- 澎湃新闻

OpenAI 称加州争议 AI 法案将损害创新

OpenAI 反对加利福尼亚州的一项对人工智能公司提出新安全要求的法案，并加入了最近反对这项有争议的立法的科技领袖和政界人士的行列。

据彭博新闻社周三收到的一封致加州参议员斯科特・维纳办公室的信函，这家总部位于旧金山的初创公司表示，该法案将损害人工智能行业的创新，并认为该问题的监管应该由联邦政府而不是各州来制定。

- 鞭牛士

今日推荐

https://github.com/penpot/penpot

Penpot 是一款用于设计和代码协作的开源设计工具。设计师可以创建令人惊叹的设计、交互式原型和大规模设计系统，而开发人员则可以享受即用代码，并使他们的工作流程变得简单快捷。

开源之声

国产编程语言标杆 ——MoonBit（月兔）发布 beta 预览版：推出现代化的泛型系统、准确的错误处理

• 观点 1：能不能搞个好用的，就学一个就好，做大做强才是重要的，别整那么杂乱的，太费劲了

• 观点 2：那为什么会有那么多开发语言咧

• 观点 3：解决了什么问题？

• 观点 4：仓颉特性太多，看着就是一个大杂烩

• 观点 5：其实 cj 感觉像是吸取了 go 和 rust 的优点，这两门语言本来特性就多（尤其是 go 以缝合怪著称但并不妨碍优秀）……（个人感觉可以更彻底一点像 go 一样抛弃行尾分号和一些表达式的括号，这些设计除了方便编译器解析以外确实冗余）

• 观点 6：一眼看过去，这门语言叫懵… 懵逼？

• 观点 7：免费了吗？先上车...

• 观点 8：至少在语言层面某些方面有创新，有自己的想法和主攻的领域。不像某些为了创语言而创语言的，一股脑大杂烩，结果也只是 yet another language...

• 观点 9：语法很漂亮，比仓颉漂亮太多，这代表了设计者的品味！

• 观点 10：感觉很牛掰的样子

• 观点 11：还学的动吗？

• 观点 12：貌似没有 p4/5，ppx 或者宏？

• 观点 13：语言需要生态，生态建设需要人，没多少人发电

• 观点 14：在 vscode 上的插件得好好优化下

• 观点 15：很像 rust，接口系统像 go，异常处理像 Java

2GB Raspberry Pi 5 现售价 50 美元

• 观点 1：价格越来越贵呀

• 观点 2：香橙派也贵，所以我买零刻主机了。

• 观点 3：国内竞品多的是

• 观点 4：感觉这价格在我们这不算便宜，还不如淘个旧笔记本性价比高啊。

• 观点 5：5 代的功耗和价格都上去了，可玩性就差了；几十块钱，咸鱼上淘个 s905 的机顶盒，性能也够了

程序员梗图

https://www.oschina.net/news/308360/sourcegraph-private

https://ishare.ifeng.com/c/s/8cFIVOYoGl7

https://m.thepaper.cn/newsDetail_forward_28490997

https://awtmt.com/articles/3725165

https://weibo.com/2194035935/Ot7QmuySC

https://3g.k.sohu.com/t/n815358198?serialId=5a8c295663e88d348f31fc17e299de32

https://github.com/penpot/penpot

https://mp.weixin.qq.com/s/yGUY7yz2LjRSi_jauiE21Q

https://www.oschina.net/news/308093/2gb-raspberry-pi-5