开源日报 | 苹果将更新Mac mini；IntelliJ IDEA 2024.2；AI产业半年报；有CPU就能跑大模型
欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.8.9
今日要闻
苹果将更新Mac mini：体积接近Apple TV、史上最小、配备M4芯片
彭博科技记者马克・古尔曼 (Mark Gurman) 援引知情人士透露，Mac Mini 消费类台式机将经过彻底设计改造，不仅在今年秋季发布时搭载最新的苹果自研 M4 和 M4 Pro 芯片，还会成为苹果公司历史上最小的电脑。
这也将是自 2010 年以来，也就是乔布斯时代以来 Mac Mini 台式机的首次重大设计变革。据称，这款设备将比前代产品在外观上小得多，更接近 Apple TV 机顶盒的大小，被参与开发的工作人员称为 “本质上是装在小盒子里的 iPad Pro”。而现有外观已经存在了至少十五年。
有分析称，新款 Mac Mini 不仅将是苹果 Mac 电脑里的最小款，而且也将是世界上最小的台式机电脑，也代表将是最便携的台式机装备。
IntelliJ IDEA 2024.2 正式发布
此版本增强了对 Spring Data JPA 的支持，简化了 cron 表达式管理，并使用 GraalJS 引擎升级了 HTTP 客户端。启动效率得到提升，新版本还集成了 K2 模式（Beta），以提高 IDE 的性能和 Kotlin 稳定性。
W3C 技术架构组（TAG）强调必须移除第三方 cookies
W3C 技术架构组（TAG）强调必须移除第三方 cookies，以保护用户隐私，并呼吁 Google 重新考虑其对第三方 cookies 的依赖。
W3C TAG 指出，第三方 cookies 存在固有的隐私问题，并且在未来 Web 资源不应依赖于它们。此外，追踪和数据收集可能会对社会产生不利影响，例如在政治信息传播中的作用。监管机构如英国信息专员办公室也呼吁阻止使用第三方 cookies。
openKylin 2.0 正式发布
2024 年 8 月 8 日，openKylin 2.0 版本正式发布！该版本默认搭载 Linux 6.6 LTS 内核，完成 180 + 操作系统核心组件自主选型升级，深度融合 AI 技术，上线麒麟 AI 助手等实用 AI 功能，并为用户带来包括开明软件包格式、不可变系统、wlcom 合成器等在内的多项创新特性及 30 + 新需求，并累计修复 bug 3000+，进一步提升系统整体稳定性和兼容性，为用户带来更好体验！
今日观察
社交观察
流量分析平台Similarweb发布AI产业半年报
周鸿祎称中国一定要有人对抗OpenAI
对于中国的AI发展，周鸿祎认为第一件就是还是要有人对抗OpenAI。
那么如何创造战机？周鸿祎仍然坚定地认为要利用好开源的机制：“开源能聚集起比任何一家单独的商业公司更多的人才。而且在开源的基础之上，生态如果很健康，大家就不用重复浪费算力了。”
周鸿祎还补充道：“当然中国不需要100家OpenAI对吧，也不可能搞出100个OpenAI，算力都不够。所以国内的这些模型应该要各有所长，如果一个人想全面抗衡GPT-4还是有点难，所以我们做了一个猜测模型，当用户输入需求的时候，猜测他想干什么，然后把他交给十几家模型来由他们用自己最擅长的能力完成。”
- 微博 新浪科技
码农只有抄开源代码的时候，和基金经理一样爽
- 微博 老张评论
阿里发布基于 Qwen2 的新数学语言模型
Qwen2-Math 的基础模型使用 Qwen2-1.5B/7B/72B 进行初始化，然后在精心设计的数学专用语料库上进行预训练，该语料库包含大规模高质量的数学网络文本、书籍、代码、考试题目以及由 Qwen2 模型合成的数学预训练数据。
指令微调模型方面，千问团队首先基于 Qwen2-Math-72B 训练了一个数学专用的奖励模型。然后，将这个密集的奖励信号与一个二元信号结合，该二元信号指示模型是否正确回答了问题。这个组合信号被用作监督来通过拒绝采样构建 SFT 数据，并在此SFT模型的基础上进一步使用 GRPO 来优化模型。
- 微博 i陆三金
媒体观察
百川智能VS互联网医疗巨头，王小川医疗梦的豪赌
- 科技新知
开源化、多元化、商业化，谷歌杠上了大模型
按照当前AI大模型发展速度，未来对电力需求或将成倍增长。作为全球拥有最多数据中心的美国，引发当地民众对人工智能压倒电网的电力需求急剧上升的担忧，并可能使煤炭和天然气工厂的存在时间比其他方式更长。
商业化、输出质量稳定化、减碳化等各种问题的存在，即使对于谷歌这样的全球大厂短期内也难言轻松。
- DoNews
手机跑大模型提速4-5倍！微软亚研院开源新技术，有CPU就能跑大模型
新技术T-MAC采用基于查找表（LUT）的计算范式，无需反量化，直接支持混合精度矩阵乘。这样，T-MAC不仅提高了推理性能，还使得模型更加统一和可扩展，尤其适合在资源受限的端侧设备部署。
此外，T-MAC不依赖于专用的硬件加速器NPU或GPU，能够仅利用CPU部署模型。甚至在某些情况下，它的推理速度可以超过专用加速器。
- 量子位
玲珑AI周宇：大模型能体现刘亦菲的特质，却忽略了其他类型的美
周宇提出，尽管大模型技术在生成内容时依赖于训练数据，但它并非简单的信息复制机器。它通过创造性的生成能力，为文字、声音和图像的沟通带来了质的飞跃。他同时指出，大模型技术的发展不应仅仅关注算力和能源消耗，更重要的是关注其在实际应用场景中的创新和效能。
- 未来图灵
曝 Bengio 新动向：世界模型 + 数学证明，确保 AI 系统正常运作
深度学习三巨头之一 Yoshua Bengio 的下一步动向公开了，关于 AI 安全 —— 加入了一个名为 Safeguarded AI（受保护的人工智能）的项目，担任科学总监。Safeguarded AI 旨在：通过结合科学的世界模型和数学证明，构建一个负责理解和降低其它 AI Agent 风险的 AI 系统。
- IT之家
毒舌AI上线！全球400万网友破防，竟被这个AI骂哭了
推特罗伯特，华丽丽地上线了！继微博罗伯特之后，推特终于也拥有了自己的显眼包。发布十多天，推特罗伯特的热度就冲破每小时10万人，在网络上形成了病毒式传播！
- 新浪人工智能
国产视频生成大模型大爆发！三分钟AI短剧批量上线
AI视频大模型令人惊叹的“增速”，不仅在资本市场炙手可热，更带给影视行业不小的冲击，尤其是当抖音、快手以及央视推出AI制作的短剧后，演员和编剧也开始面临“失业危机”。
不过，科技产品从实验室走向市场，能力至关重要。AI视频大模型能否高质量实现生成内容的连贯性和一致性，才是决定其未来发展的关键。
- IT时报
今日推荐
开源项目
j3ssie/Osmedeus
https://github.com/j3ssie/Osmedeus
Osmedeus 是一个用于进攻性安全的工作流引擎。它的设计目的是建立一个具有强大功能和灵活性的基础，使用户能够建立自己的侦察系统，并在大量目标上运行。
每日一博
深度解读 KubeEdge 架构设计与边缘 AI 实践探索
解读业界首个云原生边缘计算框架 KubeEdge 的架构设计，如何实现边云协同 AI，将 AI 能力无缝下沉至边缘，让 AI 赋能边侧各行各业，构建智能、高效、自治的边缘计算新时代，共同探索智能边缘的新篇章。
开源之声
用户观点
为什么大家觉得程序员年薪百万很合理？
- 观点 1：中国文化中，对“搞技术”有一种崇拜，就好像有“技术”的人天生就该拿高薪。实际上薪水取决于行业的景气度和劳资市场的供需，和你搞不搞“技术”没半毛钱关系。做机械、土木的工程师，挣得比互联网的码农少多了。
- 观点 2：机械 土木技术牛逼的也高薪
- 观点 3：传统中搞技术是下九流……
- 观点 4：那只是因为劳工工资高而不是码农工资低。
- 观点 5：主要因为开源，让程序员能抄到业内领先的代码，让你有了全球领先的技术能力，国内其他行业，看着国外企业抱着专利，真没办法，其他行业的工程师只能当小工。
- 观点 6：基金经理炒股，90%亏损；码农炒股，99.9%亏损
- 观点 7：主要靠背景啊，金融行业没点背景就是个会计，有背景体育生都行，就是个垃圾行业。码农只能靠自己，所以不太一样吧。
受 AMD 法务部要求，ZLUDA 源码被下架
- 观点 1：资助过也有权要求下架？
- 观点 2：用CUDA还是老实用N卡吧
ZUI 3 发布，一款全新的开箱即用的原生 UI 框架
- 观点 1：这是做禅道的那个UI框架吗？
- 观点 2：是的，ZUI 3也是禅道的基础UI框架。
- 观点 3：好像没有栅格系统
---END---
最后，欢迎扫码下载「开源中国 APP」，阅读海量技术报告、程序员极客分享！
