Rust 1.61.0 stable 正式发布,赶快升级到最新稳定版本体验 Rust 带给你的强劲动力吧 :)
这是一个使用 Rust、WebAssembly 和 Typescript 构建的协作式降价编辑器。它是 100% 免费和开源的!
此版本最大的变化是 Lapce 将 GPU 后端从 Wgpu 更改为 OpenGL,以实现更好的兼容性,特别是双源混合功能使我们能够进行子像素文本渲染。除此之外,我们还通过 Swash 添加了文本整形支持。...
Druid 的作者,Raph Levien,发现即便是 Druid 架构也很难契合 Rust 这种 强类型、不允许共享可变性 的编程语言,于是决定重新尝试一些新点子,目标是做一个现代响应式(Reactive)、声明式UI(组件容易组合)并且具有高性能的架构。...
可以通过 cargo install cargo-hackerman 的方式快捷安装,详细使用方式可以查看官方文档
replibyte使用真实数据 seed 开发数据库,同时保证敏感数据的安全。特点如下:支持 PostgreSQL,MySQL,MongoDB 的数据备份和存储。用虚假数据替换敏感数据。适用于大型数据库(>10GB)。数据库子集化:将生产数据自动缩小的合理大...
事实证明,几十年来,我们在输出无 bug 程序方面表现不佳。试图去寻找“银弹”逻辑的计算机程序似乎注定要失败。代码审查是一个比较好的解决办法,虽然代码审查的实践还在逐步进行,尤其是在开源文化成为主导的情况下,但情况...
Kani Rust Verifier(简称 Kani)发布了第一版,这是一个用于证明 Rust 代码属性的开源自动推理工具。像其他自动推理工具一样,Kani 提供了一种使用数学技术明确检查代码的属性在任何情况下是否为真的方法。通过这种方式,Kani...
WebAssembly(wasm)允许用JavaScript以外的语言编写的代码在浏览器上运行。如果你没有注意到,所有主要的浏览器都支持wasm,全球超过90%的用户都有可以运行wasm的浏览器。由于Rust编译成wasm,那么是否有可能纯粹在Rust中构建...
作者最近花了几天时间调整 Nushell 的 GitHub Actions CI pipeline,结果得到了回报: CI过去大约需要30分钟,现在接近10分钟. 主要通过以下手段加速: