Workflow
程序员的那些事
icon
搜索文档
5 年了!Rust 终于在 Linux 内核中“转正”了
程序员的那些事· 2025-12-18 01:41
转自:CSDN(ID:CSDNnews) 在 Linux 内核世界,很少有技术路线能像 Rust 一样,引发如此长期、激烈且公开的争论。 有人视它为内核安全的"破局钥匙",有人则认为这是对既有工程秩序的冒险挑战。围绕是否该把 Rust 引入内核,过去几年里,邮件列表上的争吵、核心开发者的分歧乃至项目成员的退出,几乎成 了一部持续上演的"内核连续剧"。 而就在不久前,这场拉锯终于迎来了一个明确的节点。 在 2025 年 Linux Kernel Maintainers Summit(Linux 内核维护者峰会) 上,内核维护者们达 成共识:Rust 在 Linux 内核中的"实验阶段"正式结束 —— 这意味着,Rust 不再只是一个被谨慎 试用的新语言,而是被明确认可为 Linux 主线内核的长期组成部分。 五年"实验",一条并不平坦的路 Rust for Linux 项目最早可以追溯到 2 020 年。彼时, 该 项目的定位非常克制:不是取代 C,也 不是大规模重写内 核,而是尝试回答一个问题——Rust 是否值得 Linux 内核 为其 付出额外的复 杂度成本? 正因如此,在很长一段时间里,Rust 代码只 ...
突发!前 OpenAI 大牛姚顺雨加入腾讯,任首席 AI 科学家
程序员的那些事· 2025-12-17 15:44
以下文章来源于MaxAIBox ,作者Max MaxAIBox . MaxAIBox.com 汇集优秀 AI 工具,探索 AI 无限可能 9 月传闻炸圈:上亿年薪?OpenAI 大神要入腾讯混元? 2025 年 9 月上旬,AI 圈被一条传闻搅得沸沸扬扬: OpenAI 前核心研究员姚顺雨要跳槽腾讯,加盟混 元大模型团队,甚至有消息称其年薪高达上亿元 。 要知道,今年 27 岁的姚顺雨已是业内顶流——清华姚班出身、普林斯顿博士,刚从 OpenAI 离职,还深 度参与过今年推出的 Operator、Deep Research 等核心智能体产品研发,更是《麻省理工科技评 论》"35 岁以下科技创新 35 人"中国区最年轻入选者。 这样的"天才选手"要加入腾讯,自然引发全网热议。但没过多久,腾讯官方公众号"鹅厂黑板报"就出面辟 谣,明确表示"上亿薪资入职"传闻不实,给这波热度泼了盆冷水。 12 月官宣落地:不止入职,更是架构升级的核心棋子 和他入职同步的,还有腾讯大模型研发架构的重大调整——新成立 AI Infra 部、AI Data 部、数据计算平 台部三大部门,形成"研发—数据—平台"的闭环"铁三角",而姚顺雨 ...
真吊胃口!罗永浩公布华杉录音文件名。网友:别博流量了,再不公布人设崩塌
程序员的那些事· 2025-12-17 03:05
罗永浩与华杉的舆论拉锯战事件 - 事件源于西贝预制菜风波,罗永浩曾吐槽西贝,华杉则力挺西贝并称其为“中国餐饮业的天花板”,导致双方矛盾升级 [3] - 罗永浩于11月25日要求华杉在次日下午六点前公开道歉,否则将公布一份据称包含华杉私下道歉及解释“收了贾老板的钱”等内容的录音 [3][4] - 截至12月16日,罗永浩虽多次提及但始终未公布录音,仅透露了录音文件名“damocles071125463681.mp3”,并否认私下和解,强调录音将在其忙完正事后择机公布 [1][4][5] - 有消息称罗永浩后续表示将在12月17日中午公布录音,事件结局取决于录音能否准时发布 [6] 事件相关的公众反应与猜测 - 网友对罗永浩迟迟不公布录音的行为态度分化,一部分认为其是在吊胃口博取流量,另一部分则在等待录音公布以揭示真相 [6] - 外界曾因罗永浩多次推迟发布而猜测双方可能已私下和解 [4] - 部分网友留言批评罗永浩拖延导致“人设崩塌”,也有留言将此举比喻为“折磨”对方的心理战术 [7] 其他科技与商业动态 - 英伟达H200对华解禁后,字节跳动与阿里巴巴已火速咨询抢单 [8] - 百度进行大规模裁员,某些部门裁员比例最高达30%,部分员工可获得最高N+3.5的赔偿,但外包员工无赔偿 [10] - 腾讯在2025年每月新增代码量达3.25亿行 [10] - 小米公司被提及,有报道称“豆包手机”使用了锤子科技Smartisan OS的祖传代码 [9] - 马斯克再次称赞微信,称中国之外不存在这种国民级软件 [10] - 苹果公司早期工程师曾开发工具,在10分钟内定下Mac计算器原型,该工具使用了近20年 [10] - DeepSeek前骨干罗福莉已加入小米公司,此前网络传闻雷军以千万年薪挖角 [10]
趣图:我每天都在研究如何编写优雅的代码,突然有人说…
程序员的那些事· 2025-12-17 01:03
文章核心观点 - 文章内容不包含任何与公司或行业相关的实质性信息,无法提取投资相关的核心观点 [1][2] 根据相关目录分别进行总结 - 提供的文档内容仅为公众号的引导性标题和往期内容索引,未涉及任何具体的公司运营、财务状况、行业动态或市场数据 [1][2]
自由软件之父怒喷 ChatGPT 是“胡扯生成器”
程序员的那些事· 2025-12-17 01:03
核心观点 - 自由软件之父理查德·斯托曼发表文章,强烈批评以ChatGPT为代表的当前AI工具,认为它们并非真正的智能,而是“胡扯生成器”,并基于自由软件理念反对其使用方式[1][4][5] 对AI工具本质的批评 - 斯托曼认为ChatGPT并非真正的智能,因为它无法认识或理解任何事物,其生成内容对真相毫不在意,故称其为“胡扯生成器”[4][5] - 他指出公众普遍错误地将智能归于这类系统,导致数百万人产生错误信任,人们不应信任这些不理解文字含义的系统[6] - 有观点支持斯托曼,认为AI工具是智能的拟像,虽有用但不可完全信任,也非促进自由与开放的福音[10] - 也有反驳观点认为,斯托曼的批评陷入了语义学争论,且“胡扯生成器”的说法同样适用于人类,AI与人类犯错的原因类似[10] 对AI的定义与分类 - 斯托曼引用了GNU官网从自由软件角度对术语的解释,并结合自身理解对基于神经网络的系统进行分类[9] - 他将当前系统分为三类:人工智能(适用于在某个领域具备知识和理解的系统)、胡扯生成器(适用于像ChatGPT这样不理解语义的大语言模型)、生成系统(适用于生成艺术作品,不适用真假概念的系统)[11] - 有观点认为分歧源于每个人对“AI的定义”不同,现在任何东西都能被称作AI,接受定义界限的不同是合理的[10] 基于自由软件理念的反对 - 斯托曼拒绝使用ChatGPT的另一个关键理由是,用户无法获得其副本,它是未发布的软件,使用方式必须通过与远程服务器交互,这破坏了用户的计算自由[6][7] - 有评论对此表示共鸣,指出所有模型都在资金雄厚的私人环境中运行和成长,技术成熟可能带来糟糕的外部影响[10]
几十亿假账?周鸿祎遭前高管玉红“炮轰”,360 火速否认。网友:相信 3721 周总人品
程序员的那些事· 2025-12-16 14:11
事件概述 - 前360关联公司高管玉红于12月15日深夜在微信群和朋友圈公开指控360集团创始人周鸿祎存在财务造假问题,声称“帮周鸿祎做假账就至少几十亿”,并具体指出通过游戏业务“自充值”虚增流水,扬言将“全网公布”证据[4][6] - 该前高管言辞激烈,表达强烈不满,称“认识周鸿祎是我一生的耻辱”,暗示因此蒙受巨大经济损失,有群友证实其言论真实性,其本人亦澄清账号未被盗[6][7] - 360集团于12月16日下午迅速发布严正声明,周鸿祎本人同步转发,声明澄清玉红身份为2014年因收购入职、2015年即离职,且从未担任集团核心管理层职务,并否认所有财务造假指控,称其“完全背离事实”,强调公司合规经营、财报经权威审计[8] - 360表示将通过法律手段追究玉红恶意诽谤的责任,公司证券部亦向投资者否认造假,称相关事项正在调查但暂无具体时间表[9][11] - 截至文章发布,指控方玉红尚未公开其声称的“数据证据”,双方的法律纠纷或成后续焦点[15] 市场反应 - 该指控直接影响了资本市场,12月16日当天,360股价低开低走,收盘跌幅达5.07%,报10.86元,全天成交额超21亿元[13][14] - 投资者反应强烈,在周鸿祎当天发布的AI短视频评论区大量留言,贴出爆料截图要求解释,持股者吐槽大跌导致损失惨重,呼吁公司尽快发布正式澄清公告[14] 历史关联 - 指控方玉红与360及周鸿祎并非毫无交集,其曾参与360花椒直播等项目,并曾拉周鸿祎加入知名的“三点钟无眠区块链”社群,此次事件让昔日合作过往再度被提及[14]
“中国英伟达”前脚募资 80 亿,后脚拿 75 亿理财?网友都吵炸锅了…
程序员的那些事· 2025-12-16 03:48
事件概述 - 摩尔线程于12月5日登陆科创板,IPO募集资金总额接近80亿元,扣除发行费用后净额约75.76亿元[1] - 上市仅7天后(12月12日晚间),公司公告计划使用最高不超过75亿元的闲置募集资金进行现金管理,购买协定存款、定期存款等保本产品,额度12个月内可循环使用[1] - 此举引发投资者和网友巨大争议,公司市值预期曾超3000亿元[1] 市场争议与反应 - 争议核心在于“预期差”,市场分为两派观点[3] - 反对派质疑公司上市目的,称其为“上市理财概念股”,认为募资未用于突破GPU技术壁垒,并与同赛道公司寒武纪对比[4] - 支持派认为操作合规,指出芯片研发项目周期为三年,资金分阶段拨付,闲置资金理财可提高效率,且75亿元仅为额度上限[4] - 舆论风波导致公司股价在12月15日低开,盘中跌幅一度超6%[10] 公司回应与解释 - 公司紧急回应,明确75亿元是现金管理的额度上限,并非实际使用金额,实际投入会明显小于此数[6] - 解释理财合理性源于募投项目分三年推进,现阶段资金闲置,理财为提高资金使用效率并增加股东收益,不影响项目正常实施[6] - 公司强调将持续加大研发投入,攻坚核心技术,构建自主可控技术体系,绝不会因现金管理影响主营业务发展[6] 行业背景与反思 - 上市公司使用闲置募投资金理财在行业内并不少见,华虹半导体、寒武纪等均有类似操作[8] - 此次争议关键在于时机,上市仅一周就宣布大额理财,易引发市场对创新初心的质疑[8] - 事件暴露了公司在投资者关系管理上的短板,若提前公布研发资金使用进度表可减少误读[8] - 硬科技公司享受高估值的同时,需接受市场的严格审视[9] - 公司被称“中国英伟达”,创始人及核心高管多有英伟达任职经历,专注全功能GPU研发,产品覆盖AI智算、图形渲染等领域[10] 后续展望 - 市场将关注12月20日的开发者大会,期待公司发布新一代GPU架构,视其为验证技术成色、修复市场信心的关键窗口[10]
GPT-5.2 降智遭全网差评!奥特曼慌了
程序员的那些事· 2025-12-16 01:28
文章核心观点 - 在2025年末的AI模型竞争中,谷歌的Gemini 3 Pro在多项第三方基准测试和用户实测中表现优于OpenAI最新发布的GPT-5.2,标志着竞争格局的潜在转变 [1][8][25] - OpenAI的GPT-5.2发布后反响未达预期,面临开发者吐槽和多项评测数据落后的局面,公司内部已采取紧急措施调整研发优先级 [13][14][17] - 行业分析指出,OpenAI在预训练(Scaling)方面可能遇到瓶颈,而谷歌在预训练上的优势被认为是Gemini 3 Pro表现更深入智能的关键 [30][38][42] 模型性能基准测试对比 - **综合与推理能力**:在Epoch AI的能力指数(ECI)评估中,GPT-5.2得分为152,落后于Gemini 3 Pro [3] 在另一份综合基准(Global Average)中,GPT-5.2 High得分为73.61,低于GPT-5.1 Codex Max High的76.09和Claude 4.5 Opus的75.58,也低于Gemini 3 Pro Preview High的74.14 [12] - **数学与专业推理**:在FrontierMath数学基准测试中,GPT-5.2仅在T1-3级别领先,T4级别仍由Gemini 3占据优势 [4] - **编码能力**:在SWE-Bench编码基准测试中,GPT-5.2(高推理模式)的解决率为71.80%,低于Claude 4.5 Opus medium的74.40%和Gemini 3 Pro Preview的74.20% [80] 在前端代码生成的实际任务中,Gemini 3被社区认为大幅领先于GPT-5.2 [64][66][69] - **视觉与空间能力**:在CAIS的视觉能力指数测试中,Gemini 3 Pro平均得分为57.1,比GPT-5.2的52.6高出4.5分 [77] 在长程任务性能评估中,Gemini 3 Pro可持续4.9小时,优于GPT-5.2的3.5小时和Opus 4.5的2.6小时 [40] - **文本能力**:在CAIS的文本能力指数测试中,Gemini 3 Pro平均得分为47.6,高于GPT-5.2的45.9 [76] - **风险控制**:在CAIS的风险指数(分数越低越好)测试中,GPT-5.2平均得分为43.0,优于Gemini 3 Pro的60.0,但落后于Claude Opus 4.5的33.6和Claude Sonnet 4.5的38.1 [78] 用户反馈与市场反应 - **开发者评价**:GPT-5.2发布后收到大量开发者负面反馈,被批评语气冰冷、用户体验差,甚至被重度用户形容为“距离成为一块石头也不远了” [13][18][56] - **具体用例表现**:在视觉推理、3D模型生成、越界小说生成等具体任务中,GPT-5.2的表现均被指不及Gemini 3 Pro [57][59][61] - **小型手动基准**:在网友的小型手动性能基准Dubesors上,Gemini 3 Pro排名第一,而GPT-5.2排在第16名 [72] - **市场份额与竞争**:尽管ChatGPT每周用户超过8亿,市场份额约为76%,但过去12个月多家AI初创公司的技术已在某些方面匹敌甚至超越OpenAI的领先模型 [51] Gemini 3 Pro的出现对OpenAI业务构成打击 [52] 公司战略与研发动态 - **OpenAI紧急调整**:为应对竞争,OpenAI拉响“红色警报”,将改进ChatGPT提到最高优先级,甚至内部暂停了AGI研发和Sora项目八周 [14][15] - **预训练瓶颈**:行业风声及分析认为,OpenAI在预训练扩展(Scaling)上遇到瓶颈,GPT-5.2可能基于GPT-4o后训练而来,提升有限 [29][30] 尽管有报道称其在预训练阶段取得关键突破,但第三方评测显示其底层技术未实现突破式进展 [32][34][38] - **后续产品计划**:OpenAI预告将在下一周发布“圣诞礼物”,可能是下一代GPT Image v2模型 [84][85] 公司正在筹备明年初的更大规模发布,并并行推进企业软件、广告、电商等2B和2C方向的尝试 [44][45][47][48][49] - **谷歌的转变**:谷歌创始人公开承认过去因过于谨慎而错失AI先机,但凭借Gemini 3 Pro等产品已重回AI浪潮之巅 [22][23][25] 图像模型竞争 - **图像生成能力**:正在测试的OpenAI下一代图像模型(代号“栗子”、“榛子”)被开发者实测认为在图像生成/编辑方面远落后于谷歌Gemini 3加持的Nano Banana Pro,且存在色调、逻辑、一致性、图像质量等多方面问题 [86][88][89][90] - **技术基底**:据称该图像模型的基底可能仍是GPT-4o [91]
趣图:写垃圾代码的你 vs 读垃圾代码的你
程序员的那些事· 2025-12-16 01:28
文章内容分析 - 所提供的文档内容不包含任何与公司或行业相关的实质性信息 文档仅包含一个指向过往趣味图片的导航链接 主题为程序员编写与阅读低质量代码的幽默对比 [4]
字节真有钱!一校招生自曝:每天洗数据,年包 180万,每月几万期权,最近又补了一笔豆包期权…
程序员的那些事· 2025-12-15 04:06
字节跳动薪酬与激励 * 公司向新入职的应届毕业生提供了极具竞争力的薪酬包 年总薪酬达到180万元人民币[1] * 公司的薪酬结构包含高额期权激励 初期已发放每月价值数万元人民币的期权 近期又追加了与“豆包”项目相关的期权[1] 互联网行业职场文化观察 * 部分公司存在空降高管带来特定企业文化后 导致团队动荡甚至业务濒临失败的情况 相关高管团队最终也被裁撤[0] * 技术管理者(如CTO)专注于编写代码和修复缺陷等具体技术工作 在某些情况下被视为有助于维护客户关系和保障业务订单[2] * 行业内存在显著的薪酬外包链条差价现象 例如甲方支付费用为3.3万元人民币 但实际执行工作的外包人员到手收入仅为2万元人民币 中间环节成本占比高[3] 互联网从业者工作与生活 * 双职工家庭 特别是在高强度工作环境下 在子女养育方面面临挑战 常需依赖外部合作资源[4] * 部分程序员的工作沟通模式呈现特定规律 例如在非工作时间段进行社交联系[5] * 存在从业者从高薪技术岗位(月薪1.7万元人民币)转向外卖员等职业的择业案例 反映出职业选择的多样性[6] 职场社交与消费 * 职场中的庆祝活动(如外包人员转正请客)可能因消费预期与结算方式不一致引发同事间的不满[7]