Skip Navigation
Maestro, a Linux compatible kernel written in Rust.
  • not exactly, as there are rust compilers like mrust that don't actually have borrow checkers and virtually none of those safety checks actually occur and there is a question of if the gcc rust compiler would be implementing that feature into the compiler.

    So, that would be an attribution failure; as it isn't required by the language but the most popular rust compiler does include that feature.

    But yes, more compilers would likely benefit the languages they support by also adopting that feature by default.

  • Maestro, a Linux compatible kernel written in Rust.
  • Well rust has a borrow checker which does make some memory bugs harder to create but to say that rust solved any of the known open problems in computer security. The answer is clearly no. It just copied some good ideas from ocaml into C++ and got some good marketing.

    borrow checkers also already exist for C/C++/etc [just most people don't use them]

    so, slightly safer defaults than C/C++ but doesn't contain any new/unique security magic.

  • Maestro, a Linux compatible kernel written in Rust.
  • 50MB for a sub POSIX kernel and a shell prompt for a 50MB ISO image that has less functionality than a 4KB kernel (L4SEC) which has actual formal proofs of correctness.

    Well, I guess it has Rust as a selling point but that isn't something that should matter if the goal is real security.

  • What are some small things we should change about the human body?
  • neck

    That is already a thing.

    7% of all men will orgasm instantly if a firm pressure is applied to the back of the neck where the spine connects to the skull during sex. only 2% of women have that same biological feature.

  • 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/)BA
    bacon_pdp @lemmy.world
    Posts 0
    Comments 7