暂无搜索历史
目前关于Rust的讨论大多集中在内存安全上,如何比C/C++/Zig/Go等语言更安全。虽然这是真的,但我认为语言的核心在于正确性。
本篇介绍了使用Rust制作单词云的原理和算法,代码可以视作一个有趣的入门教程。单词云是像下面这个样子:
Repo: https://github.com/sensorial-systems/is-tree
Diesel 是一个安全且高性能的查询构建器和用 Rust 编写的 ORM。此版本包含多项新功能并改进了现有功能。Diesel 现在提供了一个过程宏属性,用于推...
直接调用,也就是不用写FFI绑定库。这篇文章讨论了其中的一些目前的困难,可以操作的一些方法。
经过数月的研究、开发和质量保证,Wasmi 有史以来最重要的更新终于准备好投入生产使用。
Codiga 加入 Datadog 后,作者团队需要将静态分析器整合到 Datadog,但遇到扩展语言支持和解析速度慢的问题。
https://github.com/yzzting/commit_crafter
这篇文章,旨在演示实时战略游戏(RTS)设计中的一些重要原则。作者指出,单独考虑单位属性可能会误导,例如,Stalker 在纸面上的 DPS 大约为 9.7,但...
最近发现一个不错的项目,Gaia (https://github.com/GaiaNet-AI/gaianet-node),它的功能是:
在这篇指南中,我们将讨论如何使用 AI 代理构建一个内容写作工具。该工具将利用 Serper.dev API 在 Google 上搜索你的查询结果,然后与 GP...
Fjall 是一个可嵌入的基于 LSM 的 forbid-unsafe Rust 键值存储引擎。它的目标是成为一个可靠且可预测但性能优异的通用 KV 存储引擎,...
默认情况下,它使用 NIST 的漏洞数据库 (NVD),并在终端中提供具有不同主题选项的搜索和列表功能。
HVM2是一个运行时,将高级语言编译到HVM2,可以实现将代码完全跑在大规模并行的硬件上(比如GPU),而不需要什么改动。
GitHub: https://github.com/LechevSpace/arduino-plotter
在 Rust 中,函数指针用于直接指向一个确定签名的函数,适用于不需要捕获外部环境的场景。相对闭包来说,函数指针语法简单,性能略高但不能保持状态。闭包则功能更强...
EvilHelix 是一个采用 Vim 风格的模态编辑器,旨在提供快速且高效的编辑体验。它是 Helix 编辑器的一个分支,增加了 Vim binding,同时...
这篇文章回顾了形式化验证的基本概念,作者展示了如何使用 Hoare triples 来描述和推理程序的正确性,以及如何使用分离逻辑来解决验证的复杂性。文章还解释...
暂未填写公司和职称
暂未填写个人简介
暂未填写技能专长
暂未填写学校和专业
暂未填写个人网址
暂未填写所在城市