khorovodoved

u/khorovodoved@lemmy.zip
0 posts · 20 comments

Recent posts

No posts.

Recent comments

The problem is that this value can be compared to a list of "allowed" values. Therefore it opens the gate to creating software that would require only certain "whitelisted" systems to run it. Such list can be easily updated automatically once those "whitelisted" systems update. Therefore an argument "updates would break it" do not actually work.

This is precisely how play integrity works on android. And Poettering intensions do not matter much. His system can be used like that and therefore it will be used like that.

I do not understand where does your optimism come from? In what little that we do know they describe the exact same system using the exact same wording as google. If they mean some other thing then they should spend a couple of hours and describe how is it different. And before that the worst should be assumed. It is to dangerous to treat it in any other way.

The language used speaks for itself. We already know what "integrity" means in this context.

the company wants Linux systems to be built so their correctness can be explicitly defined and continuously verified.

This does not seem vague to me. It explicitly states what they are creating.

This only affects those who registered their account on piefed. It allows them to login into their account and interact with the website. If your account is on lemmy (which is the case for you), it does not affect you in any way.

Basically, lemmy uses 2 different APIs:

One (activitypub) is used for communication between instances. It is the same for both Lemmy and piefed, so no work is needed on this front.

The second one is used for interacting between lemmy core and applications (like boost, but also lemmy webui). Piefed for whatever reasons decided to make it incompatible with Lemmy, so all application have to do some work in order to add piefed support.

But saying that xbps-src is like the AUR is very misleading because it lacks the "U" part.

It is misleading because AUR is a repository, but xbps-src is not. It is a tool like makepkg in arch. One could argue that xbps-src is a more advanced tool as it also acts as a package manager itself. A repository that is most commonly used with xbps-src is void-packages which is maintained by void teamm one could build a repo for xbps-src like aur, but to my knowledge it has not been done and is unlikely to succeed any time soon due to a smaller user based compared to arch.