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 optimal code is also an issue.)
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 different. You can't assume they are…
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 itself a trusted international…
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. It's bad. For the designers of Rust,…
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 unsafety rather than just turning a blind…
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 want to restrict themselves about…
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 vs monolithic kernel is more of a…
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.
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 optimal code is also an issue.)
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 different. You can't assume they are…
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 itself a trusted international…
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. It's bad. For the designers of Rust,…
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 unsafety rather than just turning a blind…
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 want to restrict themselves about…
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 vs monolithic kernel is more of a…
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.