bacon_pdp

joined 1 year ago
[–] bacon_pdp@lemmy.world 4 points 8 months ago (1 children)

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.

[–] bacon_pdp@lemmy.world 17 points 8 months ago (1 children)

ERC, why leave Emacs?

[–] bacon_pdp@lemmy.world 2 points 10 months ago (2 children)

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

[–] bacon_pdp@lemmy.world 24 points 1 year ago (5 children)

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.