Notices by Xerz 💗 [UNMOVED] (espectalll@mstdn.io), page 88

Void is looking pretty good rn

@kurisu hi there :woah:

@karen Get a laptop, a tablet or a phone

Let's rewrite seL4 in Rust when the language is formally verified :rainbowdance:

I can't help but think that technical choices are ultimately deeply related to political and philosophical ideas. The previous quotes help re-enforce that point tbh.

Second-system effect/syndrome: "When one is designing the successor to a relatively small, elegant, and successful system, there is a tendency to become grandiose in one's success and design an elephantine feature-laden monstrosity"

- Eric S. Raymond (http://catb.org/jargon/html/S/second-system-effect.html), originally taken from "The Mythical Man-Month: Essays on Software Engineering" (Addison-Wesley, 1975; ISBN 0-201-00650-2)

Microkernels are the minarchism of software.

"A concept is tolerated inside the microkernel only if moving it outside the kernel, i.e., permitting competing implementations, would prevent the implementation of the system’s required functionality"

This is Jochen Liedtke's minimality principle. https://dl.acm.org/citation.cfm?doid=224056.224075

@upshotknothole @edavies @micahflee I certainly was going to address that. Keep in mind you have to rely on COMODO's certificates and not be fooled by the TLS certificate being replaced in some form of MiTM. But it is a rare issue, just one to be aware of when needed.

Otherwise, I absolutely agree, but keep in mind marketing has a huge role here. I mean, they claim to do "a reasonably secure OS". It better be reasonably secure... for the target audience.

*hating my life intensifies* https://github.com/voidlinux/void-packages/issues/13946

@shevek Dios mío, este hallazgo no es ninguna tontería... creo que nadie puede imaginar cuánto le tendremos que estar agradecidos en un futuro no lejano

@niconiconi Rather than the result of humanity, it's the result of working as we've been taught. Browsing documentation is a whole skill that has to be trained, and most people have already acquired that of searching. You either make it easier to browse locally with the same skills, or make people learn how to get why they want by looking at some files and finding which ones may have what they're looking for.

@niconiconi Rather than the result of humanity, it's the result of working as we've been taught. Browsing documentation is a whole skill that has to be trained, and most people have already aquired that of searching. You either make it easier to browse locally with the same skills, or make people learn how to get why they want by looking at some files and finding which ones may have what they're looking for.

@have_no_life (I think)

@have_no_life lol it has nothing to do with GNOME actually

Adding your local repo to your system:

echo "repository=`pwd`/hostdir/binpkgs/$insert_branch" | sudo tee /etc/xbps.d/$insert_repo_name.conf