Skip Navigation
epage (clap.rs and many more) has requested the removal of all his packages from lib.rs over misinformation

Lib.rs has previously been editorializing the crates within the search algorithm on their site based on their own personal preference. However, they recently have taken it a step too far in labeling the bitcoin repo as unmaintained despite active development taking place for the past several years. Several others have also taken similar actions.

19
`rustdoc` Vs other doc generators
blog.goose.love How `rustdoc` achieves a genius design

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, D...

0
Kani Rust Model Checker 0.32 Release
github.com Release kani-0.32.0 · model-checking/kani

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...

Release kani-0.32.0 · model-checking/kani
0
(mostly) Unsuccessful improvements to compile times in rust
nnethercote.github.io Codegen units in the Rust compiler

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 thing...

E:url was changed

2
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)AR
Arbitrary @lemmy.fmhy.ml
Posts 8
Comments 3