bacon_pdp

@bacon_pdp@lemmy.world
0 Post – 7 Comments
Joined 6 months ago

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.

4 more...

ERC, why leave Emacs?

If you can alt-p, type the names of programs, alt-tab and alt-shift-tab: i3 or sway

if not xfce is as user friendly as a window's user needs.

Didn't Guix solve that one with its full-source bootstrap?

1 more...

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.

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.

4 more...

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.