Andrew Tomazos 是长期参与国际标准化组织（ISO）C++ 标准委员会的贡献者，最近发表了一篇技术论文，题目为《未定义行为的问题》（The Undefined Behavior Question）。该论文探讨了 C++ 中未定义行为的语义，并结合相关研究对这一主题进行了探讨。然而，论文的标题引起了争议。
AI Coding 的意义远不止于工具的革新，它更像是一场思维方式的重塑。它并非仅仅是“工欲善其事，必先利其器”的简单逻辑，而是挑战我们重新思考“善事”本身的定义，以及“器”与“人”之间关系的未来。AI 不仅仅是编码的加速器，它更像是一面镜子，映照出我们对软件开发的理解，以及对自身创造力的认知。我们创造了能够理解并生成代码的机器，这本身就深刻地改变了我们理解“理解”和“创造”的方式。
这种转变带来的不仅仅是效率的提升，更是一场认知的重构。我们不再仅仅是代码的编写者，而是架构师、指挥家，引导 AI 将我们的意图转化为现实。这要求我们提升抽象思维能力，将问题分解成 AI 可以理解的逻辑，并从 AI 的输出中提炼出真正的价值。这过程中，人机协作不再是简单的分工，而是一种更深层次的融合，一种思维的碰撞与交织。
未来并非一个预设的终点，而是一个充满无限可能的开放式命题。AI Coding 的出现，为我们打开了一扇通往未来软件开发的大门，但最终的图景，需要我们以审慎的态度、创新的精神和人文的关怀，共同去描绘。这场变革并非注定会走向胜利，它的未来掌握在我们手中，取决于我们如何理解、如何选择、如何行动。 与其期待摘取胜利的果实，不如享受探索的旅程，在不断学习和反思中，与 AI 共同进化，共同创造一个更加美好的未来。
开源日报 | Kotlin不可能完全取代Java；AI Coding的范式革命；资深C++标准贡献者被除名；AI“食物链”最顶端是AI核心技术研发；1997年英伟达的战斗姿态
欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。
# 2024.11.25
今日要闻
Kotlin 首席设计师：完全取代 Java 是不可能的
Kotlin 首席设计师 Michail Zarečenskij 近期接受 DevClass 采访，谈论了与该语言与 Java 的关系以及未来发展。Michail 介绍称，Kotlin 最初是作为 Java 的替代语言而出现，旨在解决一些局限性和问题，如 nullability story、check exceptions、invariant arrays 等。但多年发展下来，完全取代 Java 已经不再是 Kotlin 的目标。
资深 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（开源鸿蒙）发行的，鸿蒙生态是基于开源鸿蒙共建共享的生态。
徐直军认为，开发先进的操作系统不难，但有没有大量 应用和设备使用此操作系统，至关重要，操作系统成败的关键在于能否建立起丰富的生态。
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新规定的事
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回忆道。
媒体观察
“谷子经济”为何在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 的一部分。
每日一博
从 Llama 1 到 3.1：Llama 模型架构演进详解
面对 Llama 模型家族的持续更新，您是否想要了解它们之间的关键区别和实际性能表现？本文将探讨 Llama 系列模型的架构演变，梳理了 Llama 模型从 1.0 到 3.1 的完整演进历程，深入剖析了每个版本的技术创新，还通过实际实验对比了 Llama 2 和 Llama 3 在推理速度、答案长度和相对答案质量（RAQ）等关键指标上的表现差异。
开源之声
用户观点
谷歌将“杀死”ChromeOS，计划将其合并到Android
2024前端现状：开发者最爱用React、最想学习Svelte
---END---