snvzz

36 ms·

781.
by snvzz 1y ago
Reminder every international student that attends Harvard is a national one that cannot. Trump is simply saying let's focus on our own people.
782.
by snvzz 1y ago
>IPCs are slow and the gains are limited compared to the strategies all broadly used kernels already use. The problem you are describing is a characteristic of 1st generation microkernels, and was solved by Jochen Liedtke in the mid 90s,
783.
by snvzz 1y ago
With this, China is ahead. HarmonyOS is a modern (post-Liedtke) microkernel, multi-server OS. Meanwhile, the rest of the world is stuck with the likes of Linux (monolithic), Windows NT (ugly hybrid) and MacOS (pre-liedtke Mach, hybrid, ugly
784.
by snvzz 1y ago
If they want to guarantee its future, maybe they should consider funding a RISC-V port as well, or instead.
785.
Benchmarking Crimes Meet Formal Verification(microkerneldude.org)
37 points by snvzz 1y ago|6 comments
786.
by snvzz 1y ago
This would not have been possible with seL4 virtualization. There, VM exceptions are turned into messages for VMM, which is unprivileged, and has capabilities that do not exceed those of the VM itself.
787.
by snvzz 1y ago
Reminder some flight companies are trying to get rid of the 2 pilot requirement. As seen here, It absolutely wouldn't work. Safety first and foremost.
788.
by snvzz 1y ago
It is very confusing and silly. Definitely not going to help with competing with RISC-V, already the architecture of choice in growing markets such as AI and automotive.
789.
by snvzz 1y ago
A glaring omission is listing ports for any browser other than firefox. Do they do the same? Are they the same ports?
790.
by snvzz 1y ago
Yes please, DOGE it real good.
791.
by snvzz 1y ago
I live in Japan. My own bidet has quite the pressure and movement pattern. I still use paper afterwards, but typically all it does is dry.
792.
by snvzz 1y ago
>I hope they fuck up the implementation and end up losing money to hackers. That is quite ungrateful to money lenders. They could, like, not lend money to begin with.
793.
by snvzz 1y ago
Most people operate on feelings, not reason. Thus it is most likely out of shame born from supplementing for lack of willpower by using drugs. Eliminating sugar from diet, shifting from carbs to fats or intermittent fasting will all have a
794.
by snvzz 1y ago
It is sad; These cats did not make it.
795.
by snvzz 1y ago
Tardigrades are quite durable otherwise.
796.
by snvzz 1y ago
Email is completely broken. Efforts like DIME[0] do not have anywhere the traction they should. 0. https://en.wikipedia.org/wiki/Dark_Mail_Alliance
797.
by snvzz 2y ago
Without a license, it's sadly not possible to continue to maintain the code, or even e.g. package it as part of freedos.
798.
by snvzz 2y ago
I am hopeful valve will release a risc-v build themselves. And wine/proton will integrate with this or some similar solution for running x86 binaries.
799.
by snvzz 2y ago
>I find the autoplay so annoying Fortunately, there's an actual setting to get rid of that. Found out yesterday, when trying to fix the OP problem (which youtube sadly forced on me). That's extremely depressing on 27" 4k s
800.
by snvzz 2y ago
https://archive.is/sV1JU
801.
by snvzz 2y ago
Note there are competent RISC-V architectures in China which might already be faster at emulating x86 than the KX-7000 is at running it directly.
802.
by snvzz 2y ago
Of academic value, as ladybird has little in terms of sandboxing yet. Cool regardless.
803.
by snvzz 2y ago
Espressif made a decisive shift to RISC-V[0], effectively abandoning Tensilica. ESP32-S3 was, AIUI, their last non RISC-V chip. It was announced in 2020 and released in 2022. 0. https://www.hackster.io/news/espressif-s-
804.
by snvzz 2y ago
This microcontroller, like all microcontrollers Espressif released in the last few years, uses RISC-V as the ISA.
805.
by snvzz 2y ago
The Linux Kernel has millions of LoCs. There'll always be bugs. It's about time to look at a sane design, such as seL4[0]. https://sel4.systems/About/seL4-whitepaper.pdf
806.
by snvzz 2y ago
RISC-V is inevitable.
807.
by snvzz 2y ago
It would make some sense if they shown tariffs everywhere, not just in the US. As long as they pretend the US is the sole country that does tariffs, it is both political and an insult to intelligence.
808.
Trinity Desktop Environment R14.1.4(wiki.trinitydesktop.org)
4 points by snvzz 2y ago|0 comments
809.
by snvzz 2y ago
https://archive.is/LUnhT
810.
by snvzz 2y ago
These exist. See SBI, BRS, etc. RISC-V standards. Lots of effort actually goes into these.

More ›