程序师 ·

用 Rust 拯救 60 岁老程序员：用 Ada 写了几十年的飞机程序，现在终于可以改用 Rust 了

💡 原文中文，约3500字，阅读约需9分钟。

📝

内容提要

AdaCore计划为具有高安全需求的行业提供长期支持的Rust fork。他们将推出GNAT Pro for Rust 25，提供全面集成和双向绑定。AdaCore通过GNAT Pro Assurance提供Rust技术支持。一些Ada程序员担心Ada的覆盖范围会收窄。

🏷️

【Rust日报】2026-09-12 Solana 与 NVIDIA 成为 Rust Foundation 白金会员
Rust基金会宣布Solana基金会与NVIDIA以最高档白金会员加入。Clippy的nonstandard_macro_braces lint改为宏展开...
Rust 要变成下一个C++？
Rust社区近期热议语言复杂度上升问题。有开发者列举命名参数、开放枚举等提案，担忧Rust重蹈C++覆辙。语言团队回应称对复杂度保持谨慎，部分提案实为简化...
Apple Watch 现在可以估算你的健康年龄，但它到底在测量什么？
苹果推出“健康年龄”功能，通过Apple Watch长期收集最大摄氧量、静息心率、心率变异性、睡眠等数据，并结合A1c、LDL等血液指标，综合估算身体机能...
AWS Lambda 如何利用 eBPF 和 Rust 记录每台主机上数千个微虚拟机的所有流量
AWS Lambda 为高密度微虚拟机环境重建网络流量日志系统。旧方案依赖 iptables 规则，随虚拟机增多性能骤降且不支持 IPv6。新系统用 eB...
fastalp: 纯 Rust 打造的下一代 ALP 浮点无损压缩 — 25 GB/s 极速解码、压缩比提升 60%、压缩提速 2.6x
fastalp 是纯 Rust 实现的 ALP 浮点无损压缩算法，面向时序数据库与 IoT。相比 C++ 原版，端到端压缩提速 2.58 倍，解压达 25...
用 Rust 构建可组合的 LLM Agent SDK 和终端编码 Agent
rpi 是 Pi agent 的 Rust 原生实现，采用 library-first 理念，将模型 Provider、Agent loop、工具、会话和...