Skip Navigation
[BETA] Connect beta 1.0.90 Released
  • I'm not entirely sure why, but I can't log into my home instance lemmy.fmhy.ml for some reason. It gives me a "failed host lookup" error message Trying to go to the sign up page gives me this

    The webpage at https://lemmy.fmhy.ml/signup could not be loaded because:
    
    net::ERR_NAME_NOT_RESOLVED
    

    However, using the website works fine, which is how I'm doing this right now.

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

    20
    Rustc Trait System Refactor
    blog.rust-lang.org Rustc Trait System Refactor Initiative Update | Inside Rust Blog

    Want to follow along with Rust development? Curious how you might get involved? Take a look!

    Rustc Trait System Refactor Initiative Update | Inside Rust Blog
    2
    `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
    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 7
    Comments 2