Viewing profile — usamoi

This code is not equivalent to the C++ version. You can directly use `*x == [0_u32; SIZE]`. The code generated by the two is different. (But the iterator version not producing opti…

I really don't understand what's the point of such comparisons. Swift uses subtyping, while Rust uses typeclasses. Even looking only at their type systems, the two are completely d…

Another chip without V extension.

But isn't RISC-V just a standard? ISO will decide what is RISC-V and what isn't. Then its complicated process will become an obstacle to innovation.

> The RISC-V ISA is already an industry standard and the next step is impartial recognition from a trusted international organization. I'm confused. Isn't RISC-V International itse…

I've never heard of SPARK. What advantages does it have compared to Lean?

It depends on who you are. For implementers of third-party compilers, researchers of the Rust programming language, and programmers who write unsafe code, this is indeed a problem.…

Not implementing the Zbb extension but implementing big-endian. That sounds like doing it the hard way.

> Our engineers are smart and hardworking but they throw their hands up at this. Since you don't think this is a skill issue, shouldn't you support Safe C++, which eliminates unsaf…

They are not rejecting Safe C++; they are rejecting memory safety. Majority of them believes that memory safety is just hype, and minority of them knows it's a problem, but doesn't…

Well, it is clear that they have a new definition of a microkernel, since there are now more new technologies that achieve isolation without compromising performance. Microkernel v…

They published a paper for it, which includes more details. https://www.usenix.org/conference/osdi24/presentation/chen-h...

This is actually quite easy to achieve, as long as you cannot realize your own mistakes.