snvzz

47 ms·

871.
Ambermoon Advanced(github.com)
17 points by snvzz 2y ago|1 comments
872.
by snvzz 2y ago
Even cheaper is to stop eating. That switches body to keto in a matter of hours.
873.
by snvzz 2y ago
Or, same thing, carbs prevent reversing of brain aging during midlife critical window. It always comes down to carbs (incl. sugar) bad. Intermittent fasting is a must. Otherwise, body simply runs on carbs non-stop.
874.
by snvzz 2y ago
Stuff just doesn't start. 404 errors. Maybe consider using ipfs instead of unreliable mirrors, to access the files.
875.
by snvzz 2y ago
Hunger or not, they definitely cause headaches.
876.
by snvzz 2y ago
Sweeteners, sugar or not, are overrated. It's disgusting how practically everything tastes like sugar these days. There's a market for non-sweet food.
877.
by snvzz 2y ago
There's some hope now that Apple is a seL4 foundation member.
878.
by snvzz 2y ago
>The developers of seL4 have been in funding hell for years. The actual story re: happenings in CSIRO is detailed in Gernot's blog[0], which is also quite interesting in its more technical posts. 0. https://microkerneldud
879.
by snvzz 2y ago
In seL4's virtualization support, VM exceptions are turned into messages and handled by VMM, a task running in unprivileged mode. VMM has no more capabilities than the VM itself, thus a VM escape would be, outside of academics, of no v
880.
by snvzz 2y ago
There's Niklaus Wirth's Oberon[0]. 0. https://www.projectoberon.net/
881.
by snvzz 2y ago
>the long-suffering GNU/HURD team discovered; HURD is Mach-based; it is stuck in a pre-L4 world and thus irrelevant to this conversation. Very 40 years ago technology. Still better than ~60yr ago UNIX, although they're trying t
882.
by snvzz 2y ago
>AVX-512 and other x86 warts While seL4 runs on x86, it is not recommended. Effort seems to be focused on ARM and RISC-V, particularly the latter. An argument could be made that x86's baggage makes it a particularly bad fit for offe
883.
by snvzz 2y ago
>I would hesitate to consider it as a replacement for Linux It would depend on the scenario. Of course, Linux is easier to work with but OTOH there are requirements which only seL4 can satisfy. There's a lot required on top of seL4
884.
by snvzz 2y ago
Many bridges had to collapse until we learned how to build them. As for seL4, the proofs (which are actually the state of the art in that field, yet definitely can be further perfected) are just one of the pillars supporting it e.g. the siz
885.
by snvzz 2y ago
Yeah, I of course did not read it as sarcasm. Sarcasm is really hard to do properly, and it's harder in written form.
886.
by snvzz 2y ago
>I want the magical IOMMUs that are maturely secure like MMUs are now. There's nothing magical about IOMMUs. They weren't invented last week either. Driver and hardware talk to each other using virtual memory instead of physica
887.
by snvzz 2y ago
The document was updated in January. A lot has happened in the last few years, such as the founding of seL4 foundation, the maturation of mixed criticality scheduling, the celebration of multiple seL4 summits, and the deployment in practica
888.
by snvzz 2y ago
An IOMMU can help significantly with the driver problem, preventing a properly initialized driver from misbehaving and compromising the system.
889.
by snvzz 2y ago
An example of this is timing side channels. Originating in an effort within seL4[0], there's ongoing work[1] in RISC-V to resolve this. 0. https://sel4.systems//Foundation/Summit/2022/slides/d1_
890.
by snvzz 2y ago
The guarantees offered by the kernel cannot be subverted by unprivileged processes running on it. Of course, the kernel is not very useful on its own, thus the design of drivers, filesystem servers and other services running on top of the k
891.
by snvzz 2y ago
>The old xv6 is x86-based and it's not officially maintained anymore. Which is sensible. There's way too much legacy crap and ugliness that needs to be dealt with in that ISA to distract from the purpose of the project, which i
892.
by snvzz 2y ago
>Assuming banning phones and social media is feasible, which it is not That'd need elaboration. Outright, it appears to be a nonsensical, baseless claim. >Video games are out, because they are obviously bad. Obviously bad? Is thi
893.
The SeL4 Microkernel: An Introduction [pdf](sel4.systems)
264 points by snvzz 2y ago|188 comments
894.
by snvzz 2y ago
Awful. Fortunately, we won't have to suffer x86 much longer.
895.
Μ–Kernel.info(microkernel.info)
2 points by snvzz 2y ago|0 comments
896.
by snvzz 2y ago
Noise.
897.
by snvzz 2y ago
Absolutely no harm in learning COBOL. The language itself is simple, and you'll quickly figure out why it isn't the one of choice anymore. But if what you're trying to do is invest in your future, I suggest learning RISC-V as
898.
by snvzz 2y ago
https://archive.is/jl83u
899.
by snvzz 2y ago
>You can donate here This project is not a non-profit organization. I'd love to see a ledger, rather than blindly trust donations are used responsibly. Who even owns the donation account?
900.
by snvzz 2y ago
Absolutely agree, but what is Asahi meant to do? Ask nicely?

More ›