欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.7.25
今日要闻
Stack Overflow 2024 年度开发者调查报告
龙芯3C6000服务器CPU流片成功
Node.js 支持原生运行 TypeScript
Node.js 合并了为 TypeScript 添加实验性支持的 PR。根据 PR 的描述，开发者只需配置实验性 flag--experimental-strip-types就可以执行 TypeScript 文件。
Node.js 会将 TypeScript 代码自动转译为 JavaScript 代码。在转译过程中，不会执行类型检查，类型会被丢弃 ——Node.js 团队称之为 “type stripping”（类型剥离）。
瑞士要求所有政府软件开源
7 月 23 日，瑞士通过了「履行政府任务电子手段使用联邦法案（EMBAG）」，要求所有公共机构披露其开发或为其开发的软件源代码，除非涉及第三方权益或安全问题。此举旨在增强政府运作的透明度、安全性和效率。
除了要求软件开源外，EMBAG 还要求发布非个人和非安全敏感的政府数据作为开放政府数据（OGD）。这种「默认双重开放」的方法标志着瑞士政府向更大开放性做转变。
https://www.newsd.admin.ch/newsd/message/attachments/70497.pdf
OpenAI 对 GPT-4o Mini 模型进行免费微调
在 Meta 推出开源 Llama 3.1 模型之后不久，OpenAI 宣布对其 GPT-4o Mini 模型提供免费微调，允许用户免费使用额外数据训练模型，以便在特定用例中获得更高的性能。
GPT-4o mini 微调适用于 OpenAI 的 Tier 4 和 5 使用层级的开发人员，这是 OpenAI 计划中价格最高的层级。OpenAI 计划逐步将免费微调扩展到所有层级。免费微调将从现在开始持续到 9 月 23 日。
Mistral AI 发布 1230 亿参数 Large 2 大模型
继 Meta 昨天发布最强开源大模型 Llama 3.1 后，法国 AI 初创公司 Mistral AI 也加入了竞争，今天发布了全新的旗舰开源模型 Mistral Large 2。
该模型拥有 1230 亿个参数，可在单个 H100 节点上以高吞吐量运行，在代码生成、数学、推理等方面与 OpenAI 和 Meta 的最新尖端模型不相上下，并提供更强大的多语言支持和高级函数调用功能。
Mistral 公司表示，训练的重点之一是尽量减少模型的幻觉问题。该公司称，Large 2 接受的训练让它的反应更具辨别力，当它不知道某些事情时，它会承认自己不知道，而不是编造一些看似合理的事情。
Mistral Large 2 拥有 128k 的上下文窗口，支持包括中文在内的数十种语言以及 80 多种编码语言。该模型在 MMLU 上的准确度达到了 84.0%，并在代码生成、推理和多语言支持方面有非常明显的改进。它支持法语、德语、西班牙语、意大利语、葡萄牙语、阿拉伯语、印地语、俄语、汉语、日语和韩语。在编码方面，它支持 80 多种编码语言，包括 Python、Java、C、C++、JavaScript 和 Bash。
今日观察
正在消亡的浏览器，要靠AI大模型满血复活？
Meta Llama3.1技术报告隐藏的干货
– 微博 高飞
2023年中国数据库市场规模74.1亿美元，占全球7.34%
OpenAI自研芯片帝国，全揭秘！
– 微信 芯东西
假开源真噱头？Meta再陷「开源」争议，LeCun被炮轰Meta只是开放模型
– 微信 新智元
媒体观察
人形机器人产业“火热”背后的冷思考
随着人工智能技术逐步成熟和机器人产业快速发展，越来越多人形机器人逐渐进入公众视野。面对人形机器人的“热”，行业人士表示应有冷思考，对于人形机器人行业的“一高五难”需有清楚认知，推动人形机器人发展需以应用驱动研究。
– 媒体滚动
《鸿蒙2030白皮书》解读：塑造下一代智能终端体验与产业生态
– 环球网
杭州市人民政府办公厅关于印发支持人工智能全产业链高质量发展若干措施的通知
鼓励企业开展算力关键技术研发攻关，市级按照有关政策给予支持。鼓励企业承担国家、省重点研发任务，加速形成重大科研成果，对符合政策规定的项目按国家、省实际到账资助经费的25%给予资助，资助金额不超过500万元。
– 杭州新天地
– 搜狐科技
华为吸纳人工智能领域“天才少年” 加速AI研发布局
从此次发布的内容看，华为对“天才少年”的要求不限学校、不限专业、不限学历，但需要在数理化、计算机、人工智能等相关领域有特别建树并有志成为技术领军人物。
华为还表示，将为“天才少年”提供世界级挑战课题、大牛导师、全球化的平台和资源。
– 证券日报之声
北京上半年累计上线大模型71款，占全国四成以上
2024年上半年，北京市创新和高技术产业表现强劲，特别是在人工智能领域取得了重要进展，全市数字经济的增加值同比增长7.8%，其中信息服务业实现增加值4944.6亿元，同比增长12.4%，拉动GDP增长2.6个百分点。
– 新京报
提前曝光 Llama 3.1，Meta 为什么想做「大模型界 Linux」？
比肩世界上最强大模型的 Llama3.1 开源，社交平台 X 上，很多人将这一事件视为历史、拐点、史诗级时刻，这意味开源、闭源之间的差距进一步缩小乃至反超，还意味着开发者从此有了一个免费的最强基座模型在手。
– 极客公园
AI生成作品版权算谁的？番茄小说AI训练协议惹争议
多位番茄小说作者在社交平台晒出番茄小说发出的“AI训练补充协议”通知，内容显示，“甲方（番茄小说）可将签约作品的全部或部分内容及相关信息(如作品名称、简介、大纲、章节、人物、作者个人信息、封面图等)作为数据、语料、文本、素材等用于标注、合成数据/数据库建设、AI人工智能研发、机器学习、模型训练、深度合成、算法研发等目前已知或未来开发的新技术研发/应用领域。”
– 第一财经网
今日推荐
开源项目
EmbarkStudios/rust-gpu
https://github.com/EmbarkStudios/rust-gpu
Rust-GPU 是面向 GPU 编程的开源项目，目标是使 Rust 成为 GPU 着色器开发的 “一等公民” 编程语言和生态系统。
每日一博
得物 App 弱网诊断探索之路
本次实现的是被动弱网诊断，也就是不主动发起探测请求，被动采集 App 内的全部网络请求，再根据一定在策略计算出用户网络环境。相对于主动探测，被动探测不会浪费用户资源。尤其是在吞吐量计算方面，主动探测不仅会消耗用户流量，还可能会对正在进行中的用户网络请求产生影响。而且当用户网络环境不佳时，负向影响更加严重。
用户观点
“开源模型是智商税” v.s. “开源AI是前进的道路”
- 观点 1：让他搞AI别用开源的编译器、操作系统、开发语言、训练推理框架等等试试
- 观点 2：百度这么多年闭源都闭出了啥垃圾？闭门造车还好意思diss别人，不知道自己的搜索引擎被上亿人diss吗？别再击穿道德底线了…如果还有底线的话
- 观点 3：你中文的可信数据有多少，简直去污染模型
- 观点 4：个人认为不开源的模型肯定比开源模型强，因为有些公司会拿开源模型稍微优化一下，再绕过开源协议，这样就变成闭源的了，瞎口嗨的，勿喷
- 观点 5：百度和meta说的完全是两个事……
- 观点 6：先不说开源模型和闭源模型比性能到底谁高谁低 开源是智商税的话 你robin的文心一言敢说代码里一点开源的成果都没用到吗? 你只要用了就算自己打自己脸吧?
- 观点 7：开源都不要钱哪来的税？
- 观点 8：自己在ollama上用阿里的Qwen2都感觉比百度的文心一言舒服。
齐向东：中国目前不会发生 Windows 全球性蓝屏这样的事故
- 观点 1：请说咱们自己的LINUX信创系统
- 观点 2：说的一点不严谨,，港台可没少受这次影响
- 观点 3：中国最大的网络安全公司不是360么？
深圳移动：线下解封“停机”需社保连续缴纳6个月以上
- 观点 1：实名制这么久，骚扰电话一个没少
- 观点 2：有点管的太多了，实名制就行了呗
- 观点 3：评论区里的，移动公司的行为上升到社会问题是吧？
- 观点 4：这还真不是上升到社会问题，而是深圳很多都需要社保卡的，新办理银行卡转账限额为0，手机卡……见微知著
- 观点 5：直接工信部投诉就完事了
- 观点 6：银行开卡要手机入网半年以上
- 观点 7：这是因为号码太好，值钱了，所以被人盯上了
- 观点 8：以前打电话人家还要猜你是谁，现在直接喊名字。
- 观点 9：没手机号也找不到工作啊
- 观点 10：问一下：没在深圳交社保的是不是就不能在深圳办理移动卡
- 观点 11：难怪说深圳移动不属于广东省
- 观点 12：大家可能误会移动公司的要求了，这个被封禁，应该是出现一些恶意行为。
—END—
最后，欢迎扫码下载「开源中国 APP」，阅读海量技术报告、程序员极客分享！
