↑点击蓝字 关注我们
欢迎阅读 OSCHINA 编辑部出品的开源日报——您探索和理解开源世界的日常指南。在这里，我们每天从宏观到微观，全面展现开源技术和文化的动态图景。
每日一更，风雨无阻。
OpenSource Daily # 2024.11.25
省流概览
今日要闻
Kotlin 首席设计师：完全取代 Java 是不可能的
Kotlin 首席设计师 Michail Zarečenskij 近期接受 DevClass 采访，谈论了与该语言与 Java 的关系以及未来发展。Michail 介绍称，Kotlin 最初是作为 Java 的替代语言而出现，旨在解决一些局限性和问题，如 nullability story、check exceptions、invariant arrays 等。但多年发展下来，完全取代 Java 已经不再是 Kotlin 的目标。
“现在我们有了 Kotlin multiplatform story，我们可以针对多个平台，例如 iOS、Android 等。我们有 Kotlin Notebook；我们有 Compose，这是一个用 Kotlin 编写 UI 的框架；我们有 build.gradle.kts，可以使用 Kotlin 编写 Gradle 脚本；
但 JVM 部分和 Java 对我们来说仍然非常非常重要，实际上至关重要。我们仍然希望能与 Java 实现互操作，因为我们完全明白 Java 将伴随我们很多年，我们不想完全取代 Java。这是不可能的，也不是我们的目标。”
资深 C++ 标准贡献者被除名，原因竟是一个“问题”
Andrew Tomazos 是长期参与国际标准化组织（ISO）C++ 标准委员会的贡献者，最近发表了一篇技术论文，题目为《未定义行为的问题》（The Undefined Behavior Question）。该论文探讨了 C++ 中未定义行为的语义，并结合相关研究对这一主题进行了探讨。然而，论文的标题引起了争议。
一些批评者指出，该标题与马克思 1844 年发表的文章《论犹太人问题》（On The Jewish Question）有相似之处，而且 “犹太人问题”(the Jewish Question) 一词的历史含义与二战前的辩论和事件有关。这导致有人指责标题 “在历史上不敏感”。
针对要求更改标题的请求，Andrew Tomazos 拒绝了，他表示 “我们不能让'question' 如此重要的一个词成为一种仇恨言论”。Andrew Tomazos 辩称，该词用在这里只是代表原始的技术意义，与批评者引用的历史背景无关。
由于这番言论，Andrew Tomazos 被标准 C++ 基金会开除了，他在 ISO WG21 C++ 标准委员会的成员资格也被取消。
华为轮值董事长徐直军谈鸿蒙生态未来目标：10 万个应用
徐直军表示，华为的 HarmonyOS NEXT（原生鸿蒙）是基于 OpenHarmony（开源鸿蒙）发行的，鸿蒙生态是基于开源鸿蒙共建共享的生态。
鸿蒙生态是所有基于 OpenHarmony 系统（开源鸿蒙）社区版本开发、并通过开放原子开源基金会的开源鸿蒙认证，打标 Powered by OpenHarmony 的设备和操作系统、以及运行在这些设备和操作系统之上的应用的总称。所以鸿蒙生态就是基于 OpenHarmony 共建共享的生态。
徐直军认为，开发先进的操作系统不难，但有没有大量 应用和设备使用此操作系统，至关重要，操作系统成败的关键在于能否建立起丰富的生态。
DeepSeek 发布推理模型 DeepSeek-R1-Lite 预览版
DeepSeek 全新研发的推理模型 DeepSeek-R1-Lite 预览版已正式上线。登录 chat.deepseek.com，在输入框中选择 “深度思考” 模式，即可开启与 DeepSeek-R1-Lite 预览版的对话。
“深度思考” 模式专门针对数学、代码等各类复杂逻辑推理问题而设计，相比于普通的简单问题，能够提供更加全面、清晰、思路严谨的优质解答，充分展现出较长思维链的更多优势。
DeepSeek R1 系列模型使用强化学习训练，推理过程包含大量反思和验证，思维链长度可达数万字。该系列模型在数学、代码以及各种复杂逻辑推理任务上，取得了媲美 o1-preview 的推理效果，并为用户展现了 o1 没有公开的完整思考过程。
陶哲轩宣布等式理论计划成功
知名华裔数学家陶哲轩近日宣布「等式理论计划」成功。该计划由陶哲轩本人在 2024 年 9 月 25 日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。
在这个项目里，陶哲轩不仅集合了人类数学家的力量，还把 AI 工具纳入了合作者的范围，包括 ChatGPT、Claude 和 GitHub Copilot。据陶哲轩表示，在计划 2200 万 + 个需要证明的蕴含关系中，8178279 个已被证实，13855193 个已被证伪，仅有 162 个还悬而未决。
据陶哲轩表示，其团队现在已经开始着手撰写论文了。
今日观察
社交观察
关于 TSMC 新规定的事
晚上和一个做 IC 的大佬聊了好久，就是关于 TSMC 那个新的规定的事，有很多有意思的 messages。其实这个可能和我们大多数理解的都不太一样，因为 7nm 是有前置条件的，主要是 Die Size 超过 300 平方毫米且采用 7 纳米及以下工艺的芯片，7nm 制程的化大概每平方毫米 1 亿个晶体管，说白了，你如果 7nm 工艺的话，就不能超过 300 平方毫米的 Die。
- 微博 Transformer-周
AI Coding 的范式革命：从工具演进到认知重构
AI Coding 的意义远不止于工具的革新，它更像是一场思维方式的重塑。它并非仅仅是 “工欲善其事，必先利其器” 的简单逻辑，而是挑战我们重新思考 “善事” 本身的定义，以及 “器” 与 “人” 之间关系的未来。AI 不仅仅是编码的加速器，它更像是一面镜子，映照出我们对软件开发的理解，以及对自身创造力的认知。我们创造了能够理解并生成代码的机器，这本身就深刻地改变了我们理解 “理解” 和 “创造” 的方式。
这种转变带来的不仅仅是效率的提升，更是一场认知的重构。我们不再仅仅是代码的编写者，而是架构师、指挥家，引导 AI 将我们的意图转化为现实。这要求我们提升抽象思维能力，将问题分解成 AI 可以理解的逻辑，并从 AI 的输出中提炼出真正的价值。这过程中，人机协作不再是简单的分工，而是一种更深层次的融合，一种思维的碰撞与交织。
未来并非一个预设的终点，而是一个充满无限可能的开放式命题。AI Coding 的出现，为我们打开了一扇通往未来软件开发的大门，但最终的图景，需要我们以审慎的态度、创新的精神和人文的关怀，共同去描绘。这场变革并非注定会走向胜利，它的未来掌握在我们手中，取决于我们如何理解、如何选择、如何行动。与其期待摘取胜利的果实，不如享受探索的旅程，在不断学习和反思中，与 AI 共同进化，共同创造一个更加美好的未来。
- 微信 爱可可爱生活
AI 的发展会形成一个 “食物链”，最顶端是 AI 核心技术研发
AI 会改变工作的需求，但原始 WSJ 文章是说 AI 会替代很多工作，主要指应用领域的工作，这个也是基本上有共识的。而这位伯克利同行说的是 CS/ML 专业的工作在变少或变得竞争性更强，说的不太是一回事。
两者倒是有关联。AI 的发展，会形成一个 “食物链”，最顶端是 AI 核心技术研发，面对 AI 新技术需求拥有最顶尖能力的人永远稀缺，自然薪酬高但竞争激烈；但这样的能力需求也是不断变化的，原来稀缺的需求，一段时间之后，随着 AI 的进化也可能需求变少或者被替代。可以想象，由此往下一直到各行各业应用领域的工作将不断被替代。这种改变肯定有一个过程，而对无论做技术的人和领域从业人员来说，好消息是这个过程中其实有很多机会，拥抱变化的人都会有机会。
但最终，当前社会形态下的工作会越来越少，这也是一个不可逆转事实。未来的社会会变成：为了生存的工作需求变少，过有意义生活的需求变大。衣食无忧乌托邦社会的问题是，如何把生活过得有意义，这并不是一件容易的事情。
- 微博 陈宝权
1997 年英伟达的战斗姿态
1997 年 12 月，当 Geoff Ribar 从 AMD 跳槽至 Nvidia 担任首席财务官时，他发现新老板具备两大令人印象深刻的特质：Jensen 既极具说服力，又异常勤奋。
“可能有比我更聪明的人，”Jensen 曾对他的高管团队说，“但没有人会比我更努力。”
他常常从早上 9 点工作到深夜，而他的工程师们也通常觉得有责任保持类似的工作时间。
“我以前告诉 AMD、Intel 或者其他地方的人，如果他们想知道 Nvidia 的运营状况，只需周末去公司的停车场看看。那里总是车满为患。”Ribar 回忆道。
- 微博 i陆三金
“谷子经济” 为何在 A 股爆火？泡泡玛特打样 二次元文化联动 AI
谷子、吧唧、痛包这类词来自二次元文化。谷子是基于内容 IP（知识产权）而衍生出来的产品，这些产品可以是小说、动漫、电视剧等内容类产品，也可以是游戏类产品，简单来说，是指动漫、游戏等的周边商品，起源于英文的 “goods”（商品），由于在日语中的发音（グッズ）与 “谷子” 相似，因此被中国的二次元爱好者广泛采用以指代周边产品。
- 科创板日报
半导体芯片概念股走弱，相关 ETF 跌约 2%
有券商表示，从全球半导体设备行业来看，随着下游电子、汽车、通信等行业需求的稳步增长，以及人工智能、云计算及大数据等新兴领域的快速发展，集成电路产业面临着新型芯片带来的产能扩张需求，为半导体设备行业带来广阔的市场空间。
- 每日经济新闻
如何构建可信赖的 AI 系统
那么，如何确保 AI 系统可信赖？王翔认为，人机对齐与构建可信赖的 AI 系统之间关系密切。“只有具备人机对齐特质的 AI 系统，才能进一步实现可信赖的特性。” 他说。
- 科技日报
AI 杀死了程序员培训班：花 1.3 万美元学编程，却连面试机会都没有？
曾几何时，编程培训班被视为高薪职业的 “入场券”；而如今，AI 工具却能在几秒钟内完成初级程序员的工作。时代在变，新人程序员又该何去何从？
- AI前线
我，机器人艺术家，一幅画卖 700 万
她的创造者 Aidan Meller 表示，做这样一款机器人并不是为了彰显 AI 艺术能卖多少钱，也不是为了卖机器人，而是为了向全世界提出问题，引发思考。
- 极客公园
马斯克阴霾笼罩硅谷
不仅是谷歌，马斯克和太多科技公司都有竞争关系，其中也包括中国出海企业。另一方面，马斯克的公司和美国联邦政府之间有深度纠葛，其 SpaceX、特斯拉等和政府间有多种合作，还与多个政府机构之间存在法律纠纷。
换句话说，如果马斯克参与到政府决策当中，会产生巨大的利益冲突。
- 字母榜
今日推荐
microsoft/microsoft-ui-xaml
https://github.com/microsoft/microsoft-ui-xaml
WinUI 是一个用户界面层，包含用于构建 Windows 应用程序的现代控件和样式。目前的版本是 WinUI 3，它是 Windows 应用程序 SDK 的一部分。
开源之声
谷歌将 “杀死” ChromeOS，计划将其合并到 Android
观点 1：fydeOS 何去何从
观点 2：早就应该这么干了，但是安卓应用和 Linix 应用的 UI 可不好统一，应该给安卓做三个版本，标准安卓，精简安卓，完整 Linux 安卓
观点 3：终于有人下去陪 Fuchsia 了
观点 5：华为开始做 HarmonyOS 之后就死了，因为 Fuchsia 的主要贡献者不是当时就是华为的就是后来加入华为了
观点 4：对啊。这个东西死多久啦？我刚才也想到这个名字～
观点 6：all in android,，fuchsia 和老 chromeos 双双上天堂。
观点 7：所以终于有安卓本了是吗
观点 8：救救 flutter
观点 9：挺好的，快进到能跑 docker ，闲置安卓机放家里挂些服务
观点 10：支持决策，但是我的 cb 本子能升级不被抛弃就行
程序员梗图
References
https://www.oschina.net/news/321997
https://www.oschina.net/news/321922
https://www.oschina.net/news/321925/deepseek-r1-lite
https://www.pingwest.com/w/300314
https://weibo.com/1871474290/P1PQvhILE
https://mp.weixin.qq.com/s/vloKPST58ZV4jZ0baFe0hg
https://weibo.com/1896824410/P1E0o7ecp
https://weibo.com/1706699904/P1OJjzTIN
https://www.chinastarmarket.cn/detail/1868774
https://www.nbd.com.cn/articles/2024-11-25/3658147.html
http://www.ce.cn/cysc/tech/gd2012/202411/25/t20241125_39213748.shtml
https://mp.weixin.qq.com/s/TppzDvEvRJrtyN8g3SZuJg
https://mp.weixin.qq.com/s/IfvSrqF4cxreQraI0rKmEw
https://mp.weixin.qq.com/s/Av-4PEwVyy5cOtNIjHcsxA
https://github.com/microsoft/microsoft-ui-xaml
https://mp.weixin.qq.com/s/vBUBaKynovXG_4NvSaWIRQ
END
↓分享、在看与点赞~Orz
