➡️

继续阅读

  1. 量化交易系统工程师（Rust），机构 BDM， C++低延迟交易系统工程师，量化策略研究员（高频交易与做市），项目经理/项目总监（PMO），财务经理，斯巴达业务负责人，资深量化风险专家（交易与对冲），资深量化交易专家（对冲策略）。
    该文为加密货币机构招聘广告，共发布八个岗位：机构BDM、C++低延迟交易系统工程师、量化策略研究员、PMO项目经理/总监、财务经理、斯巴达业务负责人、资深...
  2. 给Rust代码办一张“数学身份证”：亚马逊揭秘Nitro背后的形式化验证武器Verus
    亚马逊开源了验证器Verus，可为Rust代码提供数学证明，弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
  3. Rust 核心开发者发出“存在主义焦虑”：Agent 写代码的时代，语言设计者还有饭碗吗？
    Rust核心设计者Niko Matsakis认为，在AI Agent时代，Rust因其性能默认值和类型护栏而受青睐。他提出“软件工厂”三支柱：设计、构造、...
  4. Claude Code 团队是如何进行代码审查的
    Anthropic的Claude Code团队超90%代码由AI生成，逐行人工审查成为瓶颈，遂转向人机协同分级审查：提交前由Claude自测并交叉验证，P...
  5. 当90%代码由AI写完，程序员社区、编程语言、开发工具将何去何从？
    Elixir之父José Valim探讨AI Agent时代编程语言的演进，认为语法人体工学对Agent意义有限，编译器不会消失，因不同领域需不同抽象。他...
  6. 【Rust日报】2026-10-19 借用检查可以倒着做
    借用检查可以倒着做 这是 verdagon 2026 年 10 月 18 日发在 r/rust 的文章，讲 Valen 编译器里一种从函数末尾往回走的安全...
👤 个人中心
在公众号发送验证码完成验证