开源日报 | Kotlin不可能完全取代Java;AI Coding的范式革命;资深C++标准贡献者被除名;AI“食物链”最顶端是AI核心技术研发;1997年英伟达的战斗姿态

来源: OSCHINA
编辑:
2024-11-25 18:19:08
AI总结

欢迎阅读 OSCHINA 编辑部出品的开源日报,每天更新一期。

# 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 的一部分。

每日一博

从 Llama 1 到 3.1:Llama 模型架构演进详解

面对 Llama 模型家族的持续更新,您是否想要了解它们之间的关键区别和实际性能表现?本文将探讨 Llama 系列模型的架构演变,梳理了 Llama 模型从 1.0 到 3.1 的完整演进历程,深入剖析了每个版本的技术创新,还通过实际实验对比了 Llama 2 和 Llama 3 在推理速度、答案长度和相对答案质量(RAQ)等关键指标上的表现差异。

 


开源之声

用户观点

谷歌将“杀死”ChromeOS,计划将其合并到Android

  • 观点 1:fydeOS何去何从
  • 观点 2:早就应该这么干了,但是安卓应用和Linix应用的UI可不好统一,应该给安卓做三个版本,标准安卓,精简安卓,完整Linux安卓
  • 观点 3:终于有人下去陪Fuchsia了
    • 观点 4:对啊。这个东西死多久啦?我刚才也想到这个名字~
      • 观点 5:华为开始做HarmonyOS之后就死了,因为Fuchsia的主要贡献者不是当时就是华为的就是后来加入华为了
  • 观点 6:all in android,,fuchsia和老chromeos双双上天堂。
  • 观点 7:所以终于有安卓本了是吗
  • 观点 8:救救flutter
  • 观点 9:挺好的,快进到能跑 docker ,闲置安卓机放家里挂些服务
  • 观点 10:支持决策,但是我的cb本子能升级不被抛弃就行

2024前端现状:开发者最爱用React、最想学习Svelte

  • 观点 1:似乎看不到SolidJS的踪迹了,之前它曾被一部分开发者寄予厚望,甚至还被认为是React的完美接替者... 但是,目前感觉SolidJS在生态上疑似还是欠缺太多,似乎快要被人逐渐淡忘了...
  • 观点 2:前端高级配置工程师
  • 观点 3:其实最想的是回归原生
    • 观点 4:那你是个野生前端,真正的前端面对频繁的 UI 变更,只想快速交付,哪个能提高效率就用哪个,显然原生第一个 pass,至少命令式 UI 出活没声明式快
  • 观点 5:都服务端渲染了,直接Java,asp.net,rust不就行了吗,尤其是静态生成,任何一个性能都强过node,真瞎j8折腾
  • 观点 6:前端造的轮子整的比后端开发语言都丰富
  • 观点 7:大前端果然卷
  • 观点 8:前端圈简直比impart还乱
  • 观点 9:前端不应该排斥htmx,后端更不应该排斥
  • 观点 10:Context简单却不省心,不如zustand一根

---END---

 

展开阅读全文
点击加入讨论🔥(1) 发布并加入讨论🔥
1 评论
1 收藏
分享
AI总结
返回顶部
顶部