https://gitlab.com/crates.rs/crates.rs/-/issues/149
Similar to #147, I am against lib.rs editorializing in incorrect...
https://blog.rust-lang.org/inside-rust/2023/07/17/trait-system-refactor-initiative.html
Want to follow along with Rust development? Curious how you might get involved? Take a look!
https://blog.goose.love/posts/rustdoc/
rustdoc is the tool used in the Rust ecosystem to generate documentation from the code. Generating documentation from code isn’t a new concept, but I find that rustdoc’s implementation is the best one yet. In this blog post, we’ll analyze other tools like it for other languages (Sphinx for Python, Doxygen for C++ and other, JSDoc for JavaScript and Godoc for Go) seeing examples from real-world projects in each one of them.
https://github.com/model-checking/kani/releases/tag/kani-0.32.0
What's Changed Add kani::spawn and an executor to the Kani library by @fzaiser in #1659 Add "kani" configuration key to enable conditional compilation in build scripts by @celinval in #2297 Adds p...
https://verdagon.dev/blog/first-regions-prototype
https://ohadravid.github.io/posts/2023-07-put-a-pin-on-that/
Ohad's blog
https://blog.yoshuawuyts.com/bridging-fuzzing-and-property-testing/
https://nnethercote.github.io/2023/07/11/back-end-parallelism-in-the-rust-compiler.html
This post describes some performance work I have been doing recently on the Rust compiler, which is called rustc. I spent several weeks on a particular problem with only a small amount of success. I hope a write-up will be interesting and educational, and may even lead to suggestions that make things better.
@Arbitrary
@lemmy.fmhy.ml