我们目前在训练Ai模型，需要一些verus的训练数据，旨在帮助模型能够更加高效、准确的输出代码，按条计算薪资，价格你报，初次合作我们会给到20-50条数据，在确定质量没有问题后，这将是一个长期的任务，欢迎各位大佬投简历。联系邮箱：764586552@qq.com,微信：kefu00216,结算的话：初次我们可以在做完后结算50%，剩下的验收完后结算，后面的我们希望是次月结算，我们希望可以长期的合作下去。数据样例（下面的链接）：计算机课本的数据结构implementation priority queue：优先级队列使用verus验证版本，大家可以根据这个链接样例给到我们一个大概的预估报价。

Read full

线上兼职招募，需要会verus做程序验证，能做的可以联系我。

3 days ago

Read full

性能测试分析

3 days ago

有没有大佬来分析下这个测试结果压测项目地址 # Mode Offload Channel Gbps Retr CPU Avg CPU Max...

Read full

【Rust日报】2025-06-19 Graph-flow - 受 LangGraph 启发的 AI 工作流状态图执行框架

4 days ago

RustConf 2025 演讲主题公布演讲安排：https://rustconf.com/schedule RustConf 2025 的演讲主题涵盖了 Rust 在多个领域的应用与探索。包括微软采用 Rust 的历程、Rust...

Read full

如何初始化size很大的全局变量？

4 days ago

我需要一个只读的全局数组，一开始我想用的是LazyLock<[i32; HUGE_SIZE]>，但是 static ARRAY: LazyLock<[i32; HUGE_SIZE]> = LazyLock::new(|| { let mut arr...

Read full

【Rust日报】2025-06-18 bzip2 - 从 C 到 100% Rust

5 days ago

bzip2：从 C 到 100% Rust 作者：Folkert de Vries 新版本性能提升，压缩和解压速度显著加快，且解决了跨编译难题，支持 WebAssembly、Windows 和 Android。...

Read full

Or log in

Everything you care about in one place

Rust.cc

Latest posts

使用 Rust + MCP 构建智能数据库服务：RBDC-MCP 实践分享

【Rust日报】2025-06-21 零基础编写一个基本的 Linux 设备 USB 驱动程序

[求助]一个关于match的疑问

【Rust日报】2025-06-20 Zed 推出全新的调试器，内置支持 Rust、C/C++、JavaScript、Go 和 Python

【Rust日报】2025-06-20 Zed 推出全新调试器，内置支持 Rust、C/C++、JavaScript、Go 和 Python

[嵌入式Rust] 在Linux x86机器上交叉编译程序到Rk3506上运行

verus形式化程序验证兼职招募

线上兼职招募，需要会verus做程序验证，能做的可以联系我。

性能测试分析

【Rust日报】2025-06-19 Graph-flow - 受 LangGraph 启发的 AI 工作流状态图执行框架

如何初始化size很大的全局变量？

【Rust日报】2025-06-18 bzip2 - 从 C 到 100% Rust

Try Feeder for free