最新 最热

Rust 标记Trait,公共词汇Trait

科学无非就是在自然界的多样性中寻求统一性(或者更确切地说,是在我们经验的多样性中寻求统一性)。用 Coleridge 的话说,诗歌、绘画、艺术,同样是在多样性中寻求统一性。...

2024-06-07
1

【Rust日报】Datadog 将静态分析器从 Java 迁移到 Rust, 分析时间减少了三倍

Codiga 加入 Datadog 后,作者团队需要将静态分析器整合到 Datadog,但遇到扩展语言支持和解析速度慢的问题。

2024-05-29
1

【Rust日报】bonk - 用机器学习来检查色情内容

这篇文章,旨在演示实时战略游戏(RTS)设计中的一些重要原则。作者指出,单独考虑单位属性可能会误导,例如,Stalker 在纸面上的 DPS 大约为 9.7,但与 Marines 战斗时,由于过杀伤,其有效 DPS 降至约 8.4(如果考虑到战斗盾则为 8.2)。...

2024-05-29
0

Gaia - 一个使用Rust实现的Local LLM服务解决方案

最近发现一个不错的项目,Gaia (https://github.com/GaiaNet-AI/gaianet-node),它的功能是:

2024-05-29
1

【Rust招聘】GenAI运行时OminiX Runtime开发实习(2名)

腾讯云开发者社区是腾讯云官方开发者社区,致力于打造开发者的技术分享型社区。提供专栏,问答,沙龙等产品和服务,汇聚海量精品云计算使用和开发经验,致力于帮助开发者快速成长与发展,营造开放的云计算技术生态圈。...

2024-05-29
1

【Rust招聘】具身智能应用开发实习(1名)

腾讯云开发者社区是腾讯云官方开发者社区,致力于打造开发者的技术分享型社区。提供专栏,问答,沙龙等产品和服务,汇聚海量精品云计算使用和开发经验,致力于帮助开发者快速成长与发展,营造开放的云计算技术生态圈。...

2024-05-29
1

【Rust日报】使用 sched-ext、Rust 和 Ubuntu 制作新的 Linux 调度器

默认情况下,它使用 NIST 的漏洞数据库 (NVD),并在终端中提供具有不同主题选项的搜索和列表功能。

2024-05-29
1

【Rust日报】Rust 中的形式验证

这篇文章回顾了形式化验证的基本概念,作者展示了如何使用 Hoare triples 来描述和推理程序的正确性,以及如何使用分离逻辑来解决验证的复杂性。文章还解释了为什么 Rust 适用于形式化验证,以及 Rust 当中的一些特性如何...

2024-05-29
1

掌握Rust终极秘钥!揭秘标准库源代码,轻松成为编程圈顶流!

熟练掌握一门编程语言的最佳途径就是深入分析、学习、理解优秀的代码。Rust标准库源代码正是最理想的素材。

2024-05-28
1

Rust 编写的 Borgo 语言带来了代数数据类型和更多功能

Borgo 是一种静态类型的语言,可以编译成 Go 语言,并在努力与现有的 Go 生态系统实现互操作。Borgo 语言为 Go 语言添加了代数数据类型、模式匹配、Option 和 Result 类型,以及很多受 Rust 启发的语法。Borgo 的编译器本...

2024-05-22
1