I find the idea of a modern practically usable OS really exciting, so this is awesome!

It says “Drivers run in Userspace” on the front page of Redox - what is the advantage of this? I don’t know too much about drivers.

Didn’t we used to say the same thing about reddit though?

Some instances may choose to run ads but users will likely just flee to other instances then - as they should.

People would just turn it on and use an ad blocker to get the badge.

But is there any accepted means of formally measuring a system and ensuring that some level of test quality exists?

Formally? No, this is basically impossible by Rice’s Theorem. There is not even a guarantee that if you have 100% test coverage, the program is good (the tests could be flawed).

This is just a natural limitation of turing completeness. You can’t decide these properties while also having full computational power. In order to decide such things, you need a less powerful mode of computation (something not turing complete) that can be analyzed more thoroughly and with more guarantees.

Yea I’m afraid the only real way to “measure” that is to read through the tests and the code and make a good ol human value judgement on the state of the code and tests. But it won’t give you a number.

I guess it’s only accessible to the mem::size_of because it has an implicit Sized bound as well. So really the bound is impl Into<u32> + Sized and I don’t think the code using the function is assuming anything else.

But I do agree it feels weird. I feel like the function should know its return type regardless of how it is used?

What features are you missing?

How is it not properly supported at the moment? Genuinely curious, I don’t use PWAs a lot but when I have it has worked fine with Firefox.

On GitHub i might’ve reached for a codeowners file for the specific files you’re talking about. Then you’d be automatically added to pull request reviews. But not sure if that what you’re asking.