➡️
继续阅读
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
Rust 核心开发者发出“存在主义焦虑”:Agent 写代码的时代,语言设计者还有饭碗吗?
Rust核心设计者Niko Matsakis认为,在AI Agent时代,Rust因其性能默认值和类型护栏而受青睐。他提出“软件工厂”三支柱:设计、构造、...
-
【Rust日报】2026-10-19 借用检查可以倒着做
本期Rust社区汇总包含四项内容:Valen编译器提出反向借用检查,从函数末尾向前扫描,通过pending列表在USE、MUTATE、DECLARE处判断...
-
2026-10-18 Python Hub 每周摘要
本周Python生态主要动态:TurboPython可将带类型标注的Python编译为无运行时、无GC、无GIL的原生二进制;Python 3.15.0发...
-
【Rust日报】2026-10-18 Vec 和 String 的枚举优化不只靠空指针
本期汇总四条 Rust 动态:Vec/String 枚举可利用 niche 优化,无需额外判别字段;iroh 发布 1.0,稳定线格式与 API,采用 Q...
-
用 Docker 部署 UniVPN,让多个 VPN 连接共存
文章介绍在Docker Desktop中部署多个UniVPN容器,使多套VPN连接共存。每个容器拥有独立网卡和路由,通过不同本地端口转发内网SSH服务,避...