【Rust日报】Rust 中的形式验证
文章 - 未来的愿景:Rust 中的形式验证这篇文章回顾了形式化验证的基本概念,作者展示了如何使用 Hoare
【Rust日报】ratatui版本更新
[new ver] ratatui v0.26.3一个构建终端用户界面的库。
【Rust日报】函数指针与闭包的区别
函数指针与闭包的区别在 Rust 中,函数指针用于直接指向一个确定签名的函数,适用于不需要捕获外部环境的场景。
【Rust日报】使用 sched-ext、Rust 和 Ubuntu 制作新的 Linux 调度器
flawz 发布新版本flawz 是用于浏览安全漏洞 (CVE) 的终端 UI。
【Rust日报】Chrome的安全报告说明安全的C++开发是不可能的
重磅:HVM2及Bend语言发布HigherOrderCO发布了HVM2及Bend语言。
【Rust日报】2024-05-15 tunnet - 用 Rust 和Bevy写的游戏
《使用 Rust 和 GPT-4o 构建 AI 内容写作工具》在这篇指南中,我们将讨论如何使用 AI 代理构建
【Rust日报】使用Rust开发分布式系统的经验教训
Fjall - 一个安全Rust的KV存储引擎Fjall 是一个可嵌入的基于 LSM 的 forbid-uns
【Rust日报】bonk - 用机器学习来检查色情内容
模拟starscraft,子弹弹道 - Rust描述这篇文章,旨在演示实时战略游戏(RTS)设计中的一些重要原
Gaia - 一个使用Rust实现的Local LLM服务解决方案
【Rust日报】2024-05-12 镜像工具Goldboot
[new lib] goldbootGoldboot是一款为真实硬件构建机器镜像的工具,它可以实现接近不可变的
【Rust日报】2024-05-13 使用 Rust 开发VS Code扩展
使用 Rust 开发VS Code扩展Visual Studio Code现在支持通过WebAssembly执
【Rust日报】2024-05-11 Tabiew 简介:用于查看和查询 CSV 文件的基于终端的工具
Kira(游戏音频库)v0.9.0 - API 清理、性能改进、更少的错误条件和更多计时功能Kira 是一个与
【Rust日报】2024-05-10 重大:Rustls 现在可以通过 OpenSSL 兼容层使用在 Nginx 中
重大:Rustls 现在可以通过 OpenSSL 兼容层使用在 Nginx 中意味着现在Rustls可以无缝替
【Rust日报】2024-05-09 使用 Tokio 编写多线程聊天服务器
项目 - ctreg ,编译时正则表达式ctreg 是一个用于编译时处理正则表达式的库,其核心理念是在编译阶段
【Rust日报】2024-05-07 MeiliSearch 1.8 版本发布
Rust 博客:检查 cfg 属性的新功能Rust 团队在最新的博文中介绍了一项名为“检查 cfg 属性”的新
【Rust日报】2024-05-04 Image库发布 v0.25: 性能改进,生产就绪的WebP
Image crate是 Rust 最受欢迎的图像处理库,现已发布新版本!它为各种图像格式带来了加速和其他增强功能。
【Rust日报】2024-05-05 用于验证Rust代码正确性的工具
[new lib] verusVerus 是一种用于验证用 Rust 编写的代码正确性的工具。
【Rust日报】Luminal:在 Rust 中编译快速 GPU 内核
Piccolo - 主要用 Safe Rust 编写的 Stackless Lua 解释器https://ky
【Rust日报】2024-05-03 native_db - Rust语言专有的嵌入数据库
【Rust日报】2024-04-30 在 Rust 中设计一个带有 unsafe & union 的高效内存布局
在 Rust 中设计一个带有 unsafe & union 的高效内存布局这是关于如何构建 CLI 电子表格程