Workflow
内存安全
icon
搜索文档
11天狂写10万行代码,13年Rust老兵,与Claude联手从零造了一门新语言
36氪· 2026-01-07 20:49
项目背景与动机 - Rust社区资深专家Steve Klabnik在2025年末,仅用11天时间,借助AI工具Claude开发出实验性系统级编程语言Rue [1] - Klabnik自2012年接触Rust后,在语言设计等领域深耕13年,开发新语言是其长期愿望但受限于时间和资源 [3] - 他认为现代语言开发需要包管理器、LSP等大量配套设施,个人开发难度大,而AI工具的成熟使其看到了可行性 [4] 开发过程与AI工具的作用 - 项目高度依赖Anthropic的Claude AI模型,大部分代码由Claude编写,Klabnik负责方向指引和设计决策 [11][14] - 在11天的集中开发期内,项目提交469次,生成约10万行Rust代码,拥有18个Crates和1,053个规范测试 [14] - Klabnik指出,没有Claude的辅助,项目不可能推进到当前程度,AI工具显著降低了实现成本并提升了速度 [12][14] 技术定位与设计目标 - Rue是一门系统级编程语言,目标是在不使用垃圾回收机制的前提下提供内存安全,定位介于Rust和Go之间 [8] - 其设计探索在不过度追求极致性能的情况下,通过语言层面特性简化体验,提升易用性 [10] - 项目旨在探索“内存安全但不依赖追踪式垃圾回收”的设计空间,认为该方向尚未被充分探索 [10] 项目现状与影响 - 项目已在GitHub开源,截至报告时已获得2,793个星标,并有4位贡献者参与,从个人实验演变为小规模协作 [6][7] - 项目仍处于非常早期阶段,创始人强调其“纯粹为了好玩”,内容并非完全可靠 [15] - Rue的诞生引发了关于AI是否使个人语言开发重新具备价值的讨论,展示了AI作为一种新创作方式的潜力 [16]
从安全内核到可用系统:星绽NixOS发行版发布,加速OS行业向Rust迁移
环球网· 2025-12-26 17:01
行业趋势:Rust语言在操作系统领域崛起 - 近年来,Rust编程语言在操作系统和系统软件开发领域快速崛起,其优势在于运行效率与C/C++相当,同时能规避因内存不安全导致的安全漏洞 [1] - 微软宣布在2030年结束前将核心代码库全面迁移至Rust语言,Linux、Android等主流操作系统也纷纷引入Rust [1] - 全球操作系统领域涌现出Occlum、RedLeaf、Theseus、Tock、蓝河内核等一批纯Rust编写的操作系统内核,成为一股新兴力量 [1] - 原生内存安全已成为国际业界的明确趋势 [4] 公司产品:星绽NixOS发布与定位 - 星绽开源社区发布星绽NixOS,成为业界首个搭载纯Rust操作系统内核的发行版 [1] - 该发行版成功整合了纯Rust内核(星绽)与Linux的成熟软件包生态(NixOS),使星绽从“内核项目”迈向“可用系统” [1] - 星绽NixOS将内存安全性不足的Linux内核替换为原生内存安全的星绽内核 [2] - 星绽的定位是按工业级强度打造的通用内核,目标是推动Linux的“世代交替”,最终实现操作系统内核100%内存安全 [2] - 星绽NixOS的发布是一个重要里程碑,意味着星绽能够支撑一个发行版的用户空间,进入可安装、可体验、可验证的新阶段 [2] 技术优势与架构 - 星绽是一款兼容Linux的开源通用操作系统内核,其技术路线基于Rust语言以及业界首创的“框内核”操作系统架构,相比传统内核具备兼顾高性能和高安全的优势 [2] - 星绽NixOS继承了NixOS“系统状态稳定复刻”的优势,支持开发者通过需求自动构建系统,实现结果高度一致且步骤可追溯,显著降低集成、测试和交付时的不确定性 [3] - 星绽NixOS融合了NixOS丰富的软件生态,拥有超过12万的软件包与选项,为桌面和服务器等场景提供成熟生态底座,避免了从零搭建生态的过程 [3] 研发进展与社区生态 - 星绽项目已连续研发三年多,累计贡献13万行Rust代码,支持230余项Linux系统调用 [2] - 星绽开源社区聚集了中关村实验室、北京通明湖信息技术应用创新中心、蚂蚁集团、英特尔公司、北京大学、复旦大学、南方科技大学等众多一流“产学研”单位携手共建 [2] - 星绽项目自2024年开源以来,在GitHub平台累计获得超过4000颗Star,被HackerNews和LWN.net等国际主流技术媒体报道 [4] - 相关创新成果在ATC'25、SOSP'25、ICSE'26、FAST'26等国际顶级学术会议录用,并斩获SOSP'25最佳论文奖 [4] 应用场景与未来计划 - 在最新发布的星绽0.17.0版本中,星绽NixOS已可初步满足桌面和服务器环境的核心用户需求,包括软件包安装、桌面环境以及容器运行时 [4] - 蚂蚁集团计划于2026年,将星绽这一安全可信内核实际部署在机密计算和可信数据空间等场景,为安全攸关的应用保驾护航 [4] - 通过复用NixOS生态,星绽NixOS让星绽在桌面和服务器等场景中夺得先机去建立可复现、可比较的基线,走在内存安全内核工程化的最前沿 [4]
“我们要彻底告别C++”,微软启动代码史上最大“拆迁”:Windows、Azure将用Rust重写
36氪· 2025-12-23 17:42
微软的长期工程战略 - 公司计划在2030年前彻底消除其核心代码库中的C和C++代码,并全面迁移至Rust语言,这被视为一场系统级、组织级、工具链级的工程革命 [1][5] - 该目标涉及Windows、Azure等关键基础设施,是对全球规模最大的商业代码资产之一的系统性重构 [1] - 公司内部核心工程负责人Galen Hunt通过招聘贴文首次清晰公开了此项战略愿景 [2] 战略执行与组织架构 - 该战略由微软杰出工程师Galen Hunt领导,其团队隶属于CoreAI体系下的Engineering Horizons部门,项目名称为“可扩展软件工程未来” [6][7] - 团队核心使命是通过构建先进能力,帮助公司及客户实现规模化技术债务消除,其定位是面向未来的软件工程能力孵化组织 [6][7] - 执行策略是融合人工智能与算法技术,重写公司最庞大的代码库,愿景是实现“1名工程师、1个月时间、处理100万行代码” [5] - 公司已构建强大的代码处理基础设施,包括能在海量源代码上创建可扩展图谱的算法基础设施,以及能运用AI智能体进行规模化代码改造的人工智能处理设施 [5] 迁移至Rust的动机与进展 - 迁移的主要动机是解决内存安全问题,公司报告指出,过去12年间,每年通过安全更新修复的漏洞中约有70%属于内存安全问题 [12] - Rust语言通过所有权模型和编译期检查,在语言层面系统性降低了内存错误和数据竞争风险,对于操作系统、云基础设施等具有直接的安全收益 [16] - 公司已启动迁移工程,例如用Rust重写了Windows内核中的36000行代码,以及用于概念验证的DirectWrite Core库的15.2万行代码,且性能无退化 [11] - 公司高层此前已多次表态支持转向Rust,包括Azure CTO Mark Russinovich呼吁停止使用C/C++进行新的内核开发,以及副总裁David Weston宣布将用Rust重写部分Windows内核 [8][10][11] 技术挑战与行业讨论 - 面临的现实挑战包括C/C++在核心系统中的渗透深度极高,涉及性能约束、ABI兼容性、复杂的第三方生态,以及自动化改写的正确性验证等工程难题 [17] - 技术社区对彻底淘汰C/C++反应强烈,有观点认为语言本身并非问题根源,严谨的工程实践更为关键,并指出Rust并非万能灵药 [21][22][25] - C++“之父”Bjarne Stroustrup反驳称,当前的ISO C++标准可以实现绝对的类型安全和内存安全 [22] - 公司内部有资深开发者表示,曾以为借助AI和C++标准迭代可解决问题,但现已认为彻底替换至Rust是必要的 [26]
用了 Rust,谷歌实测安卓内存漏洞率比 C/C++ 低 1000 倍!
程序员的那些事· 2025-11-16 18:14
Rust在Android平台的安全性表现 - 内存安全漏洞占比首次降至所有漏洞数量的20%以下[2] - 与现有C/C++代码相比,Rust带来的内存安全漏洞密度降低了1000倍[4] - 保守估计Android平台约有500万行Rust代码,仅发现1个潜在内存漏洞,漏洞密度为0.2个/每百万行,而C/C++历史密度约为1000个/每百万行[32][33] Rust对开发效率的影响 - Rust相关变更的回滚率降低了4倍,代码审核所需时间减少了25%[4] - 从2023年起,Rust代码平均需要的修改次数比同规模C++少约20%[11] - Rust变更在代码审核中停留的时间比C++少25%,2023到2024年间提升显著[15] - 在中大型变更里,Rust的回滚率约为C++的四分之一,且持续下降[18] Rust在Android系统的应用扩展 - 自2021年起开始在Android系统中引入Rust作为C/C++安全替代方案[5] - 在系统语言整体使用中,Rust使用量快速攀升,新C++代码缓慢下降[6] - 在自研Android代码中,Rust新增代码量已与C++相提并论[9] - 应用案例包括:Nearby Presence协议用Rust重写、MLS的Rust实现纳入Google Messages、Chromium中多种解析器换成Rust实现[23] Rust在系统底层的部署进展 - Android基于Linux 6.12的内核首次默认启用Rust支持,并出现首个正式上线的Rust驱动[24] - 已在固件中使用Rust数年,与Arm合作Rusted Firmware-A项目[24] - 多款安全敏感的Google应用开始用Rust从底层保证内存安全[24] 安全事件处理与改进措施 - 成功避免了CrabbyAVIF中的一个线性缓冲区溢出问题,编号为CVE-2025-48530[25][26] - Android默认的Scudo加固分配器通过保护页机制使该漏洞不可利用[28] - 正在为Rust全面培训课程新增unsafe深度模块,提升开发者对unsafe代码的理解[29] Rust与unsafe代码的安全性分析 - unsafe Rust并不会关闭Rust的大部分安全检查,该观点是常见误解[41] - 封装让安全性更容易推理,unsafe代码块本身会得到更多审查[41] - 即便保守假设unsafe Rust的bug概率等于C/C++,其风险仍被高估[35]
吴说每日精选加密新闻 - 美国 2025 年非农就业基准变动初值 -91.1 万人,预期 -70 万人
新浪财经· 2025-09-10 22:24
宏观经济数据 - 美国2025年非农就业基准变动初值为-91.1万人,远低于预期的-70万人和前值的-59.8万人,显示劳动力市场预期疲软 [1] - 美国8月PPI年率录得2.6%,为6月以来新低,低于预期的3.3%和前值的3.30% [2] - 美国8月PPI月率为-0.1%,显著低于预期的0.30%和前值的0.90% [2] 加密货币监管与产品动态 - 美国证券交易委员会将Bitwise Dogecoin ETF和Grayscale Hedera ETF的审查期限延长至11月12日 [3] - 2025年已有31个altcoin现货ETF申请和92个加密ETF产品待SEC审批,SEC倾向于充分利用审查期推迟决定 [3] - 越南政府批准一项为期五年的加密资产交易试点计划,仅允许本地公司提供平台并要求所有活动以越南盾计价 [6] - 越南试点计划要求交易所具备至少10万亿越南盾(约3.79亿美元)资本,其中65%需来自机构投资者,外资持股不得超过49% [6] 公司与市场发展 - SOL财库公司SOL Strategies正式在纳斯达克上市,股票代码为STKE,目前持有435,064枚SOL,价值约9425万美元 [4] - iPhone 17搭载MIE硬件级内存安全技术,可拦截越界UAF等0-day攻击链,据统计内存安全漏洞占所有软件漏洞的70% [5]
Rust 天花板级大神公开发帖找工作:3000 次核心提交,不敌 “会调 OpenAI API、用 Cursor”?
AI前线· 2025-09-06 13:33
AI投资热潮对基础技术领域的影响 - AI热潮吸引大量资金和注意力 导致Rust等基础技术项目资源减少 [11][12][19] - Rust核心贡献者因团队预算削减被迫公开求职 反映基础技术领域人才面临就业困境 [9][13][15] Rust语言技术价值与市场现实 - Rust编译器包含超过70万行代码 核心贡献者Nicholas Nethercote提交3,375次commit且参与77个crate中75个的开发 [5][6] - Rust以内存安全为特性 在浏览器和操作系统领域积累声望但面临AI竞争压力 [19][20] - 编译器性能问题受到业界质疑 Unix联合创始人Brian Kernighan批评编译器运行缓慢且代码生成效率低 [23] 高端技术人才市场供需失衡 - 具备3,000+次代码提交经验的顶级编译器工程师难以匹配岗位需求 [15][19] - 招聘市场偏好AI相关技能(如OpenAI API调用)而非底层技术专长 [17][19] - 核心贡献者明确排除区块链/加密货币和生成式AI领域 坚持深耕Rust生态 [13] Rust语言发展面临的挑战 - 83岁技术领袖Brian Kernighan质疑Rust替代C语言的可能性 认为其学习曲线陡峭且开发效率低 [21][23] - 语言发展依赖编译器优化 但顶尖编译器人才正面临流失风险 [23] - 需要解决资源分配问题以在AI主导环境下保留关键人才 [23]