Rust.cc ·

【北京】同程旅行招聘 Rust 资深开发

💡 原文中文，约500字，阅读约需2分钟。

📝

内容提要

北京公司招聘开发人员，要求开发toB办公场景IM客户端跨平台基础sdk，维护性能和稳定性。要求本科以上学历，5年以上工作经验，熟悉Rust/Go/C++等编程语言，熟悉TCP/Quic协议和HTTP协议，熟悉SQL语言开发和数据库设计。有实际上线产品经验和rust开源项目贡献经验者优先。

🏷️

【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
2 名工程师 + Codex，OpenAI 用 Rust 重写了扛住 10 亿人的存储系统
OpenAI披露Habitat在线存储平台：从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Pyt...
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
【Rust日报】2026-09-12 Solana 与 NVIDIA 成为 Rust Foundation 白金会员
Rust基金会宣布Solana基金会与NVIDIA以最高档白金会员加入。Clippy的nonstandard_macro_braces lint改为宏展开...
开发、运维好帮手 - deepseek-harness-remote-node
AI Agent 受限于环境上下文，常见方案存在密钥泄露或安全风险。文章提出让环境接入 Agent：deepseek-harness-web 将 dsh ...
Rust 要变成下一个C++？
Rust社区近期热议语言复杂度上升问题。有开发者列举命名参数、开放枚举等提案，担忧Rust重蹈C++覆辙。语言团队回应称对复杂度保持谨慎，部分提案实为简化...